David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
In A. Kanamori (ed.), The Proceedings of the Twentieth World Congress of Philosophy. Philosophy Document Center 67-88 (2000)
Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant
|Keywords||Frege's Puzzle Synonymy Logical form Curch's Translation Test|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Roger Wertheimer, Synonymy Without Analyticity. International Philosophical Preprint Exchange.
Olaf Mueller (1998). Does the Quine/Duhem Thesis Prevent Us From Defining Analyticity? On Fallacy in Quine. Erkenntnis 48 (1):81 - 99.
D. Greimann (2000). The Judgement-Stroke as a Truth-Operator: A New Interpretation of the Logical Form of Sentences in Frege's Scientific Language. [REVIEW] Erkenntnis 52 (2):213-238.
Olaf Mueller (1998). Does the Quine/Duhem Thesis Prevent Us From Defining Analyticity? Erkenntnis 48 (1):85-104.
Dirk Greimann (2008). Does Frege Use a Truth-Predicate in His ‘Justification’ of the Laws of Logic? A Comment on Weiner. Mind 117 (466):403-425.
Agustín Rayo & Timothy Williamson (2003). A Completeness Theorem for Unrestricted First-Order Languages. In Jc Beall (ed.), Liars and Heaps. Oxford University Press
Roger Wertheimer (2008). The Paradox of Translation. In B. . Lewandowska-Tomaszczyk & M. Thelen (eds.), Translation and Meaning. Hogeschool Zuyd
Roger Wertheimer (1999). How Mathematics Isn't Logic. Ratio 12 (3):279–295.
Added to index2009-01-31
Total downloads159 ( #20,988 of 1,789,830 )
Recent downloads (6 months)17 ( #47,149 of 1,789,830 )
How can I increase my downloads?