Change search
ReferencesLink to record
Permanent link

Direct link
First Order Expressivist Logic
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2013 (English)In: Erkenntnis, ISSN 0165-0106, E-ISSN 1572-8420, Vol. 78, no 6, 1381-1403 p.Article in journal (Refereed) Published
Abstract [en]

This paper provides finitary jointly necessary and sufficient acceptance and rejection conditions for the logical constants of a first order quantificational language. By introducing the notion of making an assignment as a distinct object level practice-something you do with a sentence-(as opposed to a meta-level semantic notion) and combining this with the practice of (hypothetical and categorical) acceptance and rejection and the practice of making suppositions one gains a structure that is sufficiently rich to fully characterize the class of classical first order theories. The analysis thus provides a way of characterizing classical first order quantification by expressivist means.

Place, publisher, year, edition, pages
2013. Vol. 78, no 6, 1381-1403 p.
National Category
Philosophy, Ethics and Religion
URN: urn:nbn:se:kth:diva-140092DOI: 10.1007/s10670-012-9421-4ISI: 000328839900009ScopusID: 2-s2.0-84890867159OAI: diva2:688726

QC 20140117

Available from: 2014-01-17 Created: 2014-01-17 Last updated: 2014-01-21Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Cantwell, John
By organisation
In the same journal
Philosophy, Ethics and Religion

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 17 hits
ReferencesLink to record
Permanent link

Direct link