Representation of my philosophy (currently limited to philosophy of language) in the languages Prolog or Life. These languages must be acquired separately and Ruby is also needed. However the main purpose is to show how some philosophy problems can be solved. The source code and output are sufficient for that.

Features

  • defining understanding
  • defining judgment or belief
  • defining understanding of understanding
  • defining understanding of belief
  • defining belief of belief
  • defining propositions
  • defining truth
  • treating opacity
  • treating intensionality and extensionality

Project Activity

See All Activity >

Categories

Religion and Philosophy, Linguistics

License

GNU General Public License version 3.0 (GPLv3)

Follow DarlandPhilosophy

DarlandPhilosophy Web Site

Other Useful Business Software
Train ML Models With SQL You Already Know Icon
Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of DarlandPhilosophy!

Additional Project Details

Operating Systems

Linux

Intended Audience

Education

User Interface

Command-line

Programming Language

Prolog, Ruby

Related Categories

Prolog Religion and Philosophy Software, Prolog Linguistics Software, Ruby Religion and Philosophy Software, Ruby Linguistics Software

Registered

2017-01-24
Report inappropriate content