Operands and instances
Journal article
Fritz, Peter. (2023). Operands and instances. The Review of Symbolic Logic. 16(1), pp. 188-209. https://doi.org/10.1017/S175502032100040X
Authors | Fritz, Peter |
---|---|
Abstract | Can conjunctive propositions be identical without their conjuncts being identical? Can universally quantified propositions be identical without their instances being identical? On a common conception of propositions, on which they inherit the logical structure of the sentences which express them, the answer is negative both times. Here, it will be shown that such a negative answer to both questions is inconsistent, assuming a standard type-theoretic formalization of theorizing about propositions. The result is not specific to conjunction and universal quantification, but applies to any binary operator and propositional quantifier. It is also shown that the result essentially arises out of giving a negative answer to both questions, as each negative answer is consistent by itself. |
Keywords | structured propositions; logical structure; higher-order logic; propositional quantifiers |
Year | 2023 |
Journal | The Review of Symbolic Logic |
Journal citation | 16 (1), pp. 188-209 |
Publisher | Cambridge University Press |
ISSN | 1755-0203 |
Digital Object Identifier (DOI) | https://doi.org/10.1017/S175502032100040X |
Scopus EID | 2-s2.0-85114331848 |
Open access | Published as ‘gold’ (paid) open access |
Page range | 188-209 |
Publisher's version | License File Access Level Open |
Output status | Published |
Publication dates | |
Online | Mar 2023 |
Publication process dates | |
Deposited | 22 Feb 2023 |
https://acuresearchbank.acu.edu.au/item/8yv83/operands-and-instances
Download files
Publisher's version
OA_Fritz_2013_Operands_and_instances.pdf | |
License: CC BY 4.0 | |
File access level: Open |
70
total views35
total downloads0
views this month1
downloads this month