Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal conception (...) of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

This paper explores the challenges posed by the rapid advancement of artificial intelligence specifically Large Language Models (LLMs). I show that traditional linguistic theories and corpus studies are being outpaced by LLMs’ computational sophistication and low perplexity levels. In order to address these challenges, I suggest a focus on language as a cognitive tool shaped by embodied-environmental imperatives in the context of Agentive Cognitive Construction Grammar. To that end, I introduce an Embodied Human Language Model (EHLM), inspired by Active Inference (...) research, as a promising alternative that integrates sensory input, embodied representations, and adaptive strategies for contextualized analysis and conceptual utility maximization. By incorporating Active Inference, which sees perception as inferring the world's state from sensory data, the findings reveal that the characterization of the English modal be able to, as a triadic construction encoding biological intelligent agency, introduces a more plausible theoretical basis for the positing of linguistic constructions. This emphasizes the crucial role of embodied human language models in the comprehension of how humans construct preferred futures through language. (shrink)

This paper introduces a novel perspective on Agentive Cognitive Construction Grammar (AgCCxG) by examining the intricate interplay between mind and language through the lens of both Active Inference and Peircean semiotics. AgCCxG emphasizes the impact of intention and purpose on linguistic choices as a cognitive imperative to balance the symbolic Self (Intelligent Agent) with the dynamics of the environment. Among other things, the paper posits that linguistic constructions, particularly Constructional Attachment Patterns (CAPs), like argument structure constructions, embody experienced interactions with (...) the world through reenactment routines via the integration of multisensory channels. Unlike traditional usage-based approaches (e.g., construction grammars), AgCCxG embraces a robust theory of signs that reveals human representation as a continuous process of semiotic hybridization for the creative prediction of uncertain scenarios. Importantly, the paper challenges the notion of the mind as a unified, rational, uncertainty-reducing machine by asserting that physical processes governing open biological systems profoundly influence the linguistic sign system. Intelligent agents’ adaptability in expressing incongruous realities thus highlights the role of semiotic hybridization in preserving an agent’s autonomy and semiotic boundary. (shrink)

Some of the more prominent contributions to the last fifty years of scholarship on Aristotle’s syllogistic suggest a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning, only if it is not a theory, a system concerned with ontology or general facts. I argue that this a misleading interpretative framework. I begin by noting that the syllogistic exhibits one mark of contemporary logics: syllogisms are inferences and not implications. The debate on this question has focused (...) on the interpretation of indirect proof. But I argue that this evidence is neutral on the question. Instead, I offer new considerations in favour of the interpretation of syllogisms as inferences. I next note that the syllogistic exhibits one mark of theories: it employs a distinct underlying logic so to derive derivative structures from primitive structures. So the syllogistic is something sui generis: by our lights, it is arguably neither clearly a logic, nor clearly a theory, but rather exhibits certain characteristic marks of logics and certain characteristic marks of theories. I conclude with a few remarks on the status of Aristotle as a founder of logic, and the use of modern systems to represent historical logics. (shrink)

Mercier and Sperber (MS) have ventured to undermine an age-old assumption in logic, namely the presence of premise-conclusion structures, in favor of two novel claims: that reasoning is an evolutionary product of a reason-intuiting module in the mind, and that theories of logic teach next to nothing about the mechanisms of how inferences are drawn in that module. The present paper begs to differ: logic is indispensable in formulating conceptions of cognitive elements of reasoning, and MS is no less exempt (...) from taking notice of premise-conclusion structures than the commonplace theories of reasoning are. Our counterclaim is realized in terms of diagrammatic reasoning dating back to Charles Peirce’s pragmaticism. The upshot is that pragmatist logic restores the premise-conclusion structures in argumentation, supplants reason-intuition module with logical content, and validates good reasoning as an indispensable resource evident to all rational minds that claim ownership of reason and understanding. (shrink)