truthmakers for 1st order sentences - a proposal

Archive.Org (2020)
  Copy   BIBTEX


The purpose of this paper is to communicate - as a proposal - a general method of assigning a 'truthmaker' to any 1st order sentence in each of its models. The respective construct is derived from the standard model theoretic (recursive) satisfaction definition for 1st order languages and is a conservative extension thereof. The heuristics of the proposal (which has been somewhat idiosyncratic from the current point of view) and some more technical detail of the construction may be found in my article on part I of Spinoza's 'ethica, ordine geometrico demonstrata', which is the context within which I elaborated the assignment. But this context need not be repeated here, the presentation of the truthmaker assignment will be comprehensible to anybody with solid basic knowledge in 1st order model theory, anything used is standard and no advanced techniques are required.

Author's Profile


Added to PP

249 (#49,624)

6 months
58 (#52,493)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?