Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and (...) Béziau’s further generalization of it in universal logic, have to reasoning in the everyday lives of ordinary people from the cognitive processes of children through to those of specialists in the empirical and deductive sciences. It surveys a selection of relevant research in a range of disciplines providing theoretical and empirical studies of human reasoning, discusses the value of adopting a universal logic perspective, answers the questions posed in the call for this special issue, and suggests some specific research challenges. (shrink)

Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, so that any definition of abduction must take that into account. From a logical perspec-tive the problem is precisely the formalization of conditions when the deductive consequence is fixed. In this paper, we adopt Makinson’s method to define new consequence relations, hence abduction (...) is defined as a reverse relation corresponding to each one of such relations. (shrink)

This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .

The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into perceptive signs, is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein's general considerations of a machine understood as (...) a sign. A modification of Łukasiewicz's logic Ł3 with the inclusion of justification terms is proposed in order to formally analyse some features of formalistic reasoning as a mechanical, causal affair within a wider context of "indeterminacy". (shrink)

This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, (...) we study the case of paraconsistentization of propositional classical logic. (shrink)

Logical pluralism as a thesis that more than one logic is correct seems very plausible for two basic reasons. First, there are so many logical systems on the market today. And it is unclear how we should decide which of them gets the logical rules right. On the other hand, logical monism as the opposite thesis still seems plausible, as well, because of normativity of logic. An approach which would manage to bring a synthesis of both logical pluralism and logical (...) monism is called for. I review the possible forms of logical pluralism and render them more plausible. I thus arrive at logical dynamism, a synthesis of various pluralisms and monism focused on how logic develops. (shrink)

In this paper we develop an abstract theory of adequacy. In the same way as the theory of consequence operations is a general theory of logic, this theory of adequacy is a general theory of the interactions and connections between consequence operations and its sound and complete semantics. Addition of axioms for the connectives of propositional logic to the basic axioms of consequence operations yields a unifying framework for different systems of classical propositional logic. We present an abstract model-theoretical semantics (...) based on model mappings and theory mappings. Between the classes of models and theories, i.e., the set of sentences verified by a model, it obtains a connection that is well-known within algebra as Galois correspondence. Many basic semantical properties can be derived from this observation. A sentence A is a semantical consequence of T if every model of T is also a model of A. A model mapping is adequate for a consequence operation if its semantical inference operation is identical with the consequence operation. We study how properties of an adequate model mapping reflect the properties of the consequence operation and vice versa. In particular, we show how every concept of the theory of consequence operations can be formulated semantically. (shrink)

A general trend is to consider abduction as a backward deduction with some additional conditions, but there can be more than one kind of deduction. By adopting Makinson’s method to define deductive consequence relations, abduction is settled as a reverse one corresponding to each one of such deductive relations.