A Completeness Theorem for Unrestricted First-Order Languages

  title={A Completeness Theorem for Unrestricted First-Order Languages},
  author={Agust́ın Rayo and Timothy Williamson},
Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and an interpreted sentence (the conclusion). Whether an argument is logically valid depends only on its logical form. The logical form of an argument is fixed by the syntax of its constituent sentences, the meanings of their logical constituents and the syntactic differences between their non-logical… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 38 references

Foundations Without Foundationalism: A Case for Second-Order Logic

S. Shapiro
View 6 Excerpts
Highly Influenced

A Complete Theory of Everything: Validity in the Universal Domain,

H. Friedman
View 4 Excerpts
Highly Influenced

Existence and Contingency,

T. Williamson
Proceedings of the Aristotelian Society, Supplementary Volume • 1999
View 7 Excerpts
Highly Influenced

Truth and Metatheory in Frege,

J. Stanley
Pacific Philosophical Quarterly • 1996
View 5 Excerpts
Highly Influenced

When does ‘everything’ mean everything?

A. Rayo
Analysis 63. To appear • 2003
View 1 Excerpt

Between Logic and Intuition

G. Sher, R. Tieszen, eds

Similar Papers

Loading similar papers…