The Philosophy Discussion Forum

Ollie.ha wrote: ↑Sat May 30, 2026 12:04 am Some things aren’t proven or stipulated… they are as true as they are false

Without a specific concrete example that seems to be baseless.

"...the meaning of a given linguistic unit is defined to be the set of (paradigmatic) relations that the unit in question contracts with other units of the language...” Structural Semantics John Lyons (1963:59) Syntagmatic relations: These are the horizontal or linear relationships a word contr...

Unlike the blurry mess of the analytic/synthetic distinction This specifies an unequivocal dividing line: (a) Some expressions of language are proven entirely true on the basis of other expressions of language. (b) Other expressions of language are stipulated to be true. The link between (a) and (b)...

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...