Semantic WFF(x) specified syntactically

Abstract

Hypothesis: WFF(x) can be applied syntactically to the semantics of formalized declarative sentences such that: WFF(x) ↔ (x ↦ True) ∨ (x ↦ False) (see proof sketch below) For clarity we focus on simple propositions without binary logical connectives.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Defining a Decidability Decider.P. Olcott - manuscript
WFF 'N PROOF: the game of modern logic.Layman E. Allen - 1962 - New Haven, Conn.: Autotelic Instructional Materials Publishers.
Layman E. Allen. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp. - Layman E. Allen. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn., 1963, 78 pp. [REVIEW]F. C. Oglesby - 1965 - Journal of Symbolic Logic 30 (1):105.
Review: Layman E. Allen, Wff 'n Proof. The Game of Modern Logic; Layman E. Allen, Wff. The Beginner's Game of Modern Logic. [REVIEW]F. C. Oglesby - 1965 - Journal of Symbolic Logic 30 (1):105-105.
Classical population genetics and the semantic approach to scientific theories.Peter Gildenhuys - 2013 - Synthese 190 (2):273-291.
OCB-Work-Family Facilitation: Is It Positive for All Attachment Orientations?Abira Reizer, Meni Koslowsky & Batel Friedman - 2020 - Frontiers in Psychology 10.
On simplifying the matrix of a WFF.Peter Andrews - 1968 - Journal of Symbolic Logic 33 (2):180-192.
Refuting Incompleteness and Undefinability.P. Olcott - manuscript
"True" arithmetic can prove its own consistency.Andrew Boucher -
The Notion of Truth in Natural and Formal Languages.P. Olcott - manuscript

Analytics

Added to PP
2017-01-27

Downloads
417 (#49,938)

6 months
57 (#93,623)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Meaning postulates.Rudolf Carnap - 1952 - Philosophical Studies 3 (5):65 - 73.
Meaning Postulates.Rudolf Carnap - 1955 - Journal of Symbolic Logic 20 (2):188-189.

Add more references