Movatterモバイル変換

Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all these spheres, we tend to believe that there aredeterminate facts about the validity of arguments. Despite its evident appeal, however, logical monism must meet two challenges. The first is the challenge from logical pluralism, according to which (...) there is more than one correct logic. The second challenge is to determine which form of logicalmonism is the correct one. One True Logic is the first monograph to explicitly articulate a version of logical monism and defend it against the first challenge. It provides a critical overview of the monism vs pluralism debate and argues for the former. It also responds to the second challenge by defending a particularmonism, based on a highly infinitary logic. It breaks new ground on a number of fronts and unifies disparate discussions in the philosophical and logical literature. In particular, it generalises the Tarski-Sher criterion of logicality, provides a novel defence of this generalisation, offers a clearnew argument for the logicality of infinitary logic and replies to recent pluralist arguments. (shrink)

No categories

Direct download   Export citation   Bookmark   10 citations  

Thought: A Journal of Philosophy, Volume 10, Issue 3, Page 188-198, September 2021.

No categories

Direct download(3 more)   Export citation   Bookmark   3 citations  

Direct download(3 more)   Export citation   Bookmark   7 citations  

I argue that Beall and Restall's logical pluralism fails. Beall–Restall pluralism is the claim that there are different, equally correct logical consequence relations in a single language. Their position fails for two, related, reasons: first, it relies on an unmotivated conception of the ‘settled core’ of consequence: they believe that truth-preservation, necessity, formality and normativity are ‘settled’ features of logical consequence and that any relation satisfying these criteria is a logical consequence relation. I consider historical evidence and argue that their (...) position relies on an unmotivated conception of the settled features of logical consequence. There are many features that are just as settled but which are inconsistent with pluralism. Second, I argue that Beall–Restall pluralism fails to hold in a single language with a single selection of logical constants, which they require for the position to be distinct from Carnap's. I consider various ways in which Beall and Restall can resist this meaning variance, particularly for negation, but argue that the strongest way relies on an unmotivated conception of the settled features of the logical constants. (shrink)

Direct download(3 more)   Export citation   Bookmark   7 citations  

The isomorphism invariance criterion of logical nature has much to commend it. It can be philosophically motivated by the thought that logic is distinctively general or topic neutral. It is capable of precise set-theoretic formulation. And it delivers an extension of ‘logical constant’ which respects the intuitively clear cases. Despite its attractions, the criterion has recently come under attack. Critics such as Feferman, MacFarlane and Bonnay argue that the criterion overgenerates by incorrectly judging mathematical notions as logical. We consider five (...) possible precisifications of the overgeneration argument and find them all unconvincing. (shrink)

Direct download(2 more)   Export citation   Bookmark   4 citations  

A brief article introducing *One True Logic*. The book argues that there is one correct foundational logic and that it is highly infinitary.

Direct download   Export citation   Bookmark  

The now standard definition of logical consequence is model-theoretic. Many writers have tried to justify, or to criticise, the model-theoretic definition by arguing that it extensionally captures, or fails to capture, our intuitions about logical consequence, such as its modal character or its being truth-preservation in virtue of form. One popular means of comparing the extension of model-theoretic consequence with some intuitive notion proceeds by adapting Kreisel's squeezing argument. But these attempts get Kreisel wrong, and try to achieve more than (...) he ever intended. This suggests that the model-theoretic definition should be viewed quite differently as an explication of our intuitions about logical consequence. I introduce Kreisel's squeezing argument in Section 1. Then in Section 2, I show how it is adapted by two prominent writers on logical consequence, Etchemendy (1990) and Shapiro (2005). Finally, in Section 3, I argue that these adaptations fail. (shrink)

Direct download(3 more)   Export citation   Bookmark   2 citations  

Ontological monists hold that there is only one way of being, while ontological pluralists hold that there are many; for example, concrete objects like tables and chairs exist in a different way from abstract objects like numbers and sets. Correspondingly, the monist will want the familiar existential quantifier as a primitive logical constant, whereas the pluralist will want distinct ones, such as for abstract and concrete existence. In this paper, we consider how the debate between the monist and pluralist relates (...) to the standard test for logicality. We deploy this test and show that it favors the monist. (shrink)

Direct download(4 more)   Export citation   Bookmark  

Shapiro (Philos Q 61:320–342, 2011) argues that, if we are deflationists about truth, we should be deflationists about logical consequence. Like the truth predicate, he claims, the logical consequence predicate is merely a device of generalisation and more substantial characterisation, e.g. proof- or model-theoretic, is mistaken. I reject his analogy between truth and logical consequence and argue that, by appreciating how the logical consequence predicate is used as well as the goals of proof theory and model theory, we can be (...) deflationists about truth but not logical consequence. (shrink)

Direct download(3 more)   Export citation   Bookmark   2 citations  

No categories

Direct download   Export citation   Bookmark  

The best-known syntactic account of the logical constants is inferentialism. Following Wittgenstein’s thought that meaning is use, inferentialists argue that meanings of expressions are given by introduction and elimination rules. This is especially plausible for the logical constants, where standard presentations divide inference rules in just this way. But not just any rules will do, as we’ve learnt from Prior’s famous example of tonk, and the usual extra constraint is harmony. Where does this leave identity? It’s usually taken as a (...) logical constant but it doesn’t seem harmonious: standardly, the introduction rule only concerns a subset of the formulas canvassed by the elimination rule. In response, Read [5, 8] and Klev [3] amend the standard approach. We argue that both attempts fail, in part because of a misconception regarding inferentialism and identity that we aim to identify and clear up. (shrink)

Direct download(2 more)   Export citation   Bookmark  

Logical inferentialists contend that the meanings of the logical constants are given by their inference rules. Not just any rules are acceptable, however: inferentialists should demand that inference rules must reflect reasoning in natural language. By this standard, I argue, the inferentialist treatment of quantification fails. In particular, the inference rules for the universal quantifier contain free variables, which find no answer in natural language. I consider the most plausible natural language correlate to free variables—the use of variables in the (...) language of informal mathematics—and argue that it lends inferentialism no support. (shrink)

Direct download(3 more)   Export citation   Bookmark  

A focussed issue of The Reasoner on the topic of 'Infinitary Reasoning'. Owen Griffiths and A.C. Paseau were the guest editors.

Direct download   Export citation   Bookmark  

Export citation   Bookmark