CAPTURING CONSEQUENCE

Author: 

Paseau, A

Publication Date: 

June 2019

Journal: 

REVIEW OF SYMBOLIC LOGIC

Last Updated: 

2019-08-18T17:56:48.553+01:00

Issue: 

2

Volume: 

12

DOI: 

10.1017/S1755020318000291

page: 

271-295

abstract: 

© Association for Symbolic Logic 2019. First-order formalisations are often preferred to propositional ones because they are thought to underwrite the validity of more arguments. We compare and contrast the ability of some well-known logics-these two in particular to formally capture valid and invalid arguments. We show that there is a precise and important sense in which First-order logic does not improve on propositional logic in this respect. We also prove some generalisations and related results of philosophical interest. The rest of the paper investigates the results' philosophical signiFicance. A First moral is that the correct way to state the oft-cited superiority of First-order logic vis-a-vis propositional logic is more nuanced than often thought. The second moral concerns semantic theory; the third logic's use as a tool for discovery. A fourth and Final moral is that second-order logic's transcendence of First-order logic is greater than First-order logic's transcendence of propositional logic.

Symplectic id: 

923688

Download URL: 

Submitted to ORA: 

Submitted

Publication Type: 

Journal Article