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
Secure File Transfer for Windows with Cerberus by Redwood Icon
Secure File Transfer for Windows with Cerberus by Redwood

Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
Try for 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