43 pages matching formal in this book
Results 1-3 of 43
What people are saying - Write a review
We haven't found any reviews in the usual places.
argument assigned assume axioms belief belief revision biconditional circular definitions claim classical logic closed loop concept of truth conjunction consider context contradiction correspondence default theory defined definiendum definiens definition of truth deflationist denotes derive disjunction disquotation sentences disquotationalism disquotationalist Epimenides equation equivalent Euler's method evaluative example express extension extensionally fact false FALSEl finite formal formula function fuzzy logic G TRUEl Godel Gupta and Belnap hypothesis inference infinite interpreted language intuitive liar paradox meaning metalanguage module Nash equilibrium negation normative notion of truth object language pathological payoff Philosophical pointers principle problem proposal proposition quantifiers rational reasoning recursive reference respect to E,A revision rule revision sequence revision theory scheme semantic signification singularity snow is white supervaluation Suppose T-rules Tarski theorem theory of truth Tictac tion token truth predicate truth-analyticity truth-value unevaluated utterance vague valuation value concept variables