Formality in Logic: From Logical Terms to Semantic Constraints
Gil Sagi
Abstract
Open-access reader
Gil Sagi
Abstract
Open-access reader
In the paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer play a distinctive role. This account employs a new notion of semantic constraints. The paper includes some preliminary definitions and results in the new framework.
OpenAlex reports 11 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
In the paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer play a distinctive role. This account employs a new notion of semantic constraints. The paper includes some preliminary definitions and results in the new framework.
Key concepts: Non-classical logic, Formality, Logical consequence, Truth table, Logical form, Epistemology, Logical framework, Logical conjunction