Blogs about: Truth Theory
Featured Blog
235844
“ – Atunci ce este dragostea? - Sufletul, sangele si trupul (divinului). Eu te iubesc asa cum se iubesc sufletele exilate, cand se intalnesc in mijlocul desertului. Niciodata nu va fi cev… more →
follow the star
Classical vs paracomplete routes to a solution of the liar paradox
jnne wrote 3 months ago: Any theorist who seeks to understand the truth predicate must find an answer to the liar paradox. As … more →
Why we're better of with`true', despite redundancy theories
jnne wrote 3 months ago: In the preceding section I have made a case for the particular usefulness of the word `true’. … more →
How `true' allows us to express infinite conjunctions
jnne wrote 3 months ago: In this post, I’d like to show how the short word `true’ allows speakers of English can … more →
Kripke's picture of learning `true'
jnne wrote 4 months ago: I presume that ordinary reasoning with the natural language truth predicate is not affected by the p … more →
Why arithmetic with truth needs Gödelisation
jnne wrote 5 months ago: Be L a standard first order language of arithmetic. Be L(T) its extension by a truth predicate `Tr … more →
Law of Excluded Middle: Proof in Tarski's propositional calculus.
jnne wrote 5 months ago: Recently, I’ve remarked about the axiomatic system Tarski uses for his object theory and which … more →
How classical logic constrains semantics
jnne wrote 5 months ago: I would like to draw a sketchy distinction between a narrow and a broader sense of `logic’. In … more →
Classical Logic with `v' and `¬' as Primitives
— 6 comments
jnne wrote 5 months ago: One central subject of my current paper will be the differences between classical and non-classical … more →
Constraints on my Base Theory
jnne wrote 5 months ago: As a truth predicate is meant to extend a given language, its definition or axiomatization (here, th … more →
Robinson Arithmetic as Base Theory
jnne wrote 5 months ago: Currently I’m writing a longer paper on truth theory, comparing Field’s recent proposal … more →
Why the base theory must be an axiomatic theory
jnne wrote 5 months ago: In my paper, a theory is considered to be a set of sentences closed under a certain inference. Becau … more →
Help, I'm stuck! (Reading Field 2008: §15.2, first part)
jnne wrote 6 months ago: In the preceding section (with oxford scholarship), Field has outlined a generalisation of Łukasiewi … more →
Reading Field 2008: §15.1
— 1 comment
jnne wrote 6 months ago: The first two parts of Hartry Field’s new book on truth and paradox are very much expository, … more →
Reading Feferman 1991: §2 axiomatic theories of truth and reflection
— 1 comment
jnne wrote 6 months ago: In §2, Feferman turns to construe the truth theories which are required to specify the notion of ref … more →
Back to Truth, ahead for Feferman
jnne wrote 6 months ago: The last days I was quite busy with application stuff. Null philosophical results, naturally. At lea … more →
Reading Feferman 1991: Introduction
— 2 comments
jnne wrote 6 months ago: Feferman’s paper starts from the use of reflection principles. They would allow, notwithstandi … more →
Preservation of classical truth independent of bivalence and compositionality
— 6 comments
jnne wrote 6 months ago: In his 2004 book (footnotes 3 and 4 of the first chapter), Maudlin sketches an algebraic argument th … more →
Two versions of Curry's paradox
— 1 comment
jnne wrote 6 months ago: Named after the logician Haskell Curry, the Curry-Paradox makes up a crucial problem for truth theor … more →
The Nature of the Truth
Smeer wrote 6 months ago: Today I was sitting in my anatomy demonstration lecture with Dr. Akhtar, but instead of listening to … more →
