The Philosophy Discussion Forum

Apparently no one. % This sentence is not true. ?- LP = not(true(LP)). LP = not(true(LP)). ?- unify_with_occurs_check(LP, not(true(LP))). false. Prolog finally once and for all resolves the Liar Paradox as semantically incoherent within the analytical framework of Proof Theoretical Semantics. It do...

The common sense understanding of truth is the correspondence theory of truth. From now on referred to as CTT. If the CTT is true,what does it refer to? Another CTT? Depending on your perspective that is a tautology or an infinite regress. So what is truth? PS;The CTT is the theory that a propositi...

Proof-theoretic semantics is inherently inferential, as it is inferential activity which manifests itself in proofs. It thus belongs to inferentialism (a term coined by Brandom, see his 1994; 2000) according to which inferences and the rules of inference establish the meaning of expressions. Schroe...