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
Earn up to 16% annual interest with Nexo. Icon
Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
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