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
Go From AI Idea to AI App Fast Icon
Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
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