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
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
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