David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
In A. Kanamori (ed.), Proceedings of the 20th World Conress of Philosophy, Vol Vi , Analytic Philosophy and Logic. 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 (GG: Greeks are Greeks; gg: Greece is Greece) and their synonym interceptions (GH: Greeks are Hellenes; gh: Greece is Hellas) share factual content (extrasentential reality asserted). Semantic (cognitive) content is (identifiable with) factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate (Logical form has semantic import) 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 (and thereby function of extrasentential reality) 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 ("Greeks" means Hellenes), and GmH ("Greeks" means what "Hellenes" means) state an empirical fact. GH (but not GG) is standardly used to express that fact. Church's <span class='Hi'>Test</span> exposes puzzles. QMi sentences ("Ex" means Ex), and QTi sentences (p≡it is true p≡"p" is true) are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies ("Ex" means Ey). Synonymy turns semantic contingencies (GmH/GmH) into metalogical (GmG/GmG) and lexical (GH) 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 (meaning, proposition). GG (Griechen sind Griechen) 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 (2008). The Paradox of Translation. In B. . Lewandowska-Tomaszczyk & M. Thelen (eds.), Translation and Meaning. Hogeschool Zuyd.
Agustín Rayo & Timothy Williamson (2003). A Completeness Theorem for Unrestricted First-Order Languages. In Jc Beall (ed.), Liars and Heaps. Oxford University Press.
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.
Olaf Mueller (1998). Does the Quine/Duhem Thesis Prevent Us From Defining Analyticity? Erkenntnis 48 (1):85-104.
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? On Fallacy in Quine. Erkenntnis 48 (1):81 - 99.
John MacFarlane, Logical Constants. Stanford Encyclopedia of Philosophy.
Roger Wertheimer, Synonymy Without Analyticity. International Philosophical Preprint Exchange.
Roger Wertheimer (1999). How Mathematics Isn't Logic. Ratio 12 (3):279–295.
Added to index2009-01-31
Total downloads111 ( #11,933 of 1,410,148 )
Recent downloads (6 months)15 ( #15,204 of 1,410,148 )
How can I increase my downloads?