This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the (...) field. Each chapter contains a bibliography, to assist the reader in making connections in the specific areas covered. Thus this work provides both a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. The chapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University Bochum, June 2012. (shrink)

For deductive reasoning to be justified, it must be guaranteed to preserve truth from premises to conclusion; and for it to be useful to us, it must be capable of informing us of something. How can we capture this notion of information content, whilst respecting the fact that the content of the premises, if true, already secures the truth of the conclusion? This is the problem I address here. I begin by considering and rejecting several accounts of informational content. I (...) then develop an account on which informational contents are indeterminate in their membership. This allows there to be cases in which it is indeterminate whether a given deduction is informative. Nevertheless, on the picture I present, there are determinate cases of informative (and determinate cases of uninformative) inferences. I argue that the model I offer is the best way for an account of content to respect the meaning of the logical constants and the inference rules associated with them without collapsing into a classical picture of content, unable to account for informative deductive inferences. (shrink)

The focus of this study is cognitive choice: the selection of one cognitive option (a hypothesis, a theory, or an axiom, for instance) rather than another. The study proposes that cognitive choice should be based on the plausibilities of states posited by rival cognitive options and the utilities of these options' information outcomes. The proposal introduces a form of decision theory that is novel because comparative; it permits many choices among cognitive options to be based on merely comparative plausibilities and (...) utilities. This form of decision theory intersects with recommendations by advocates of decision theory for cognitive choice, on the one hand, and defenders of comparative evaluation of scientific hypotheses and theories, on the other. But it differs from prior decision-theoretic proposals because it requires no more than minimal precision in specifying plausibilities and utilities. And it differs from comparative proposals because none has shown how comparative evaluations can be carried out within a decision-theoretic framework. (shrink)

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only those (...) epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries. (shrink)

Riassunto: Il presente contributo esamina il concetto di esperienza cosciente da una prospettiva epistemologica evoluzionista, ispirata ad un approccio naturalistico non riduzionista. Il lavoro si inserisce nel quadro concettuale delle ricerche nel campo della filosofia della mente, avanzando delle ipotesi circa i possibili processi che hanno determinato la comparsa e lo sviluppo nella nostra biosfera di una mente specificatamente umana sia dal punto di vista filogenetico che da quello ontogenetico. In quest’ottica, vengono rivisitati in chiave epigenetica alcuni tratti salienti della (...) teoria della coscienza di Edelman alla luce delle più recenti ricerche sulla misurazione dell’esperienza cosciente, condotte da Tononi e da altri studiosi nell’ambito della Integrated Information Theory. In un quadro siffatto, l’articolo analizza alcune criticità dell’approccio algoritmico della IIT, evidenziando la necessità di individuare nuove misure della complessità per quanto riguarda lo studio dei processi semantici di trasmissione dell’informazione biologica. Parole chiave: Coscienza; Evoluzione naturale; Neuroplasticità; Informazione intenzionale; Seconda natura Reflections on conscious experience. The perspectives of the integrated information theory: This paper examines the concept of conscious experience from an evolutionary epistemological perspective, inspired by a non-reductionist naturalistic approach. Situated in the conceptual framework of philosophy of mind, it considers what processes could have led to the appearance and development of a specifically human mind in our biosphere, both from a phylogenetic and an ontogenetic point of view. Salient features of Edelman’s theory of consciousness are revisited from an epigenetic perspective, in light of some of the most recent measurements of conscious experience proposed by Tononi and other scholars in the field of Integrated Information Theory. The paper analyzes some criticalities in the algorithmic approach of the IIT, highlighting the need to identify new measures of complexity for the study of semantic processes of transmission of biological information. Keywords: Consciousness; Natural Evolution; Neuroplasticity; Intentional Information; Second Nature. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

This article provides the first comprehensive reconstruction and analysis of Hintikka’s attempt to obtain a measure of the information yield of deductive inferences. The reconstruction is detailed by necessity due to the originality of Hintikka’s contribution. The analysis will turn out to be destructive. It dismisses Hintikka’s distinction between surface information and depth information as being of any utility towards obtaining a measure of the information yield of deductive inferences. Hintikka is right to identify the failure of canonical information theory (...) to give an account of the information yield of deductions as a scandal, however this article demonstrates that his attempt to provide such an account fails. It fails primarily because it applies to only a restricted set of deductions in the polyadic predicate calculus, and fails to apply at all to the deductions in the monadic predicate calculus and the propositional calculus. Some corollaries of these facts are a number of undesirable and counterintuitive results concerning the proposed relation of linguistic meaning (and hence synonymy) with surface information. Some of these results will be seen to contradict Hintikka’s stated aims, whilst others are seen to be false. The consequence is that the problem of obtaining a measure of the information yield of deductive inferences remains an open one. The failure of Hintikka’s proposal will suggest that a purely syntactic approach to the problem be abandoned in favour of an intrinsically semantic one. (shrink)

The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams and, on a more abstract level, the Aristotelian geometry. We then introduce (...) two new logical geometries, and develop a formal, well-motivated account of their informativity. This enables us to show that the square is strictly more informative than many of the more complex diagrams. (shrink)

The classical theory of semantic information (ESI), as formulated by Bar-Hillel and Carnap in 1952, does not give a satisfactory account of the problem of what information, if any, analytically and/or logically true sentences have to offer. According to ESI, analytically true sentences lack informational content, and any two analytically equivalent sentences convey the same piece of information. This problem is connected with Cohen and Nagel's paradox of inference: Since the conclusion of a valid argument is contained in the premises, (...) it fails to provide any novel information. Again, ESI does not give a satisfactory account of the paradox. In this paper I propose a solution based on the distinction between empirical information and analytic information. Declarative sentences are informative due to their meanings. I construe meanings as structured hyperintensions, modelled in Transparent Intensional Logic as so-called constructions. These are abstract, algorithmically structured procedures whose constituents are sub-procedures. My main thesis is that constructions are the vehicles of information. Hence, although analytically true sentences provide no empirical information about the state of the world, they convey analytic information, in the shape of constructions prescribing how to arrive at the truths in question. Moreover, even though analytically equivalent sentences have equal empirical content, their analytic content may be different. Finally, though the empirical content of the conclusion of a valid argument is contained in the premises, its analytic content may be different from the analytic content of the premises and thus convey a new piece of information. (shrink)

Yehoshua Bar-Hillel and Rudolph Carnap’s classical theory of semantic information entails the counterintuitive feature that inconsistent statements convey maximal information. Theories preserving Bar-Hillel and Carnap’s modal intuitions while imposing a veridicality requirement on which statements convey information—such as the theories of Fred Dretske or Luciano Floridi—avoid this commitment, as inconsistent statements are deemed not information-conveying by fiat. This paper produces a pair of paradoxical statements that such “veridical-modal” theories must evaluate as both conveying and not conveying information, although Bar-Hillel and (...) Carnap’s theory accommodates these statements without inconsistency. Moreover, the paradoxes are independently interesting as the mode in which they self-refer bears on their evaluation. (shrink)

The aim of this paper is to make it clear how and why begging the question should be seen as a pragmatic fallacy which can only be properly evaluated in a context of dialogue. Included in the paper is a review of the contemporary literature on begging the question that shows the gradual emergence over the past twenty years or so of the dialectical conception of this fallacy. A second aim of the paper is to investigate a number of general (...) problems raised by the pragmatic framework. (shrink)

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)

A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...) We prove a number of results establishing that the entanglement is sensitive to the kind of semantics used for second-order logic. These results provide evidence that by moving from the standard set-theoretic semantics for second-order logic to a semantics which makes use of higher-order resources, the entanglement either disappears or may no longer be in conflict with the logicality of second-order logic. (shrink)

In the predicate calculus, variables provide a flexible indexing service which selects the actual arguments to a predicate letter from among possible arguments that precede the predicate letter (in the parse of the formula). In the process of selection, the possible arguments can be permuted, repeated (used more than once), and skipped. If this service is withheld, so that arguments must be the immediately preceding ones, taken in the order in which they occur, the formula is said to be fluted. (...) Quine showed that if a fluted formula contains only homogeneous conjunction (conjoins only subformulas of equal arity), then the satisfiability of the formula is decidable. It remained an open question whether the satisfiability of a fluted formula without this restriction is decidable. This paper answers that question. (shrink)

We prove that the minimal Logic of Formal Inconsistency $\mathsf{QmbC}$ validates a weaker version of Fraïssé’s theorem. LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the recent interest in LFIs, their model-theoretic properties are still not fully understood. Our aim in this paper is to investigate the situation. Our interest in FT has to do with its fruitfulness; the preservation of FT indicates that a number of other classical semantic properties can be (...) also salvaged in LFIs. Further, given that FT depends on truth-functionality, whether full FT holds for $\mathsf{QmbC}$ becomes a challenging question. (shrink)

The Minimum Description Length principle is the modernformalisation of Occam's razor. It has been extensively and successfullyused in machine learning, especially for noisy and long sources ofdata. However, the MDL principle presents some paradoxes andinconveniences. After discussing all these, we address two of the mostrelevant: lack of explanation and lack of creativity. We present newalternatives to address these problems. The first one, intensionalcomplexity, avoids extensional parts in a description, so distributingcompression ratio in a more even way than the MDL principle. (...) The secondone, information gain, forces that the hypothesis is informative wrt. the evidence, so giving a formaldefinition of what is to discover. (shrink)

The paper deals with the question whether logical truth carry information. On the one hand it seems that we gain new information by drawing inferences or arriving at some theorems. On the other hand the formal accounts of information and information content which are most widely known today say that logical truth carry no information at all. The latter is shown by considering these accounts. Then several ways to deal with the dilemma are distinguished, especially syntactic and ontological solutions. A (...) version of a syntactical solution is favoured. (shrink)

This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, thus (...) highlighting their relationship and allowing a better understanding of how they interact together. (shrink)

In a recent survey of the literature on the relation between information and confirmation, Crupi and Tentori claim that the former is a fruitful source of insight into the latter, with two well-known measures of confirmation being definable purely information-theoretically. I argue that of the two explicata of semantic information which are considered by the authors, the one generating a popular Bayesian confirmation measure is a defective measure of information, while the other, although an admissible measure of information, generates a (...) defective measure of confirmation. Some results are proved about the representation of measures on consequence-classes. (shrink)

In a series of papers published in the sixties and seventies, Jaakko Hintikka, drawing upon Kant’s conception, defines an argument to be analytic whenever it does not introduce new individuals into the discussion and argues that there exists a class of arguments in polyadic first-order logic that are to be synthetic according to this sense. His work has been utterly overlooked in the literature. In this paper, I claim that the value of Hintikka’s contribution has been obscured by his formalisation (...) of the original definition. Therefore, I provide (i) a brief reconstruction of the historical framework of the problem and the revolutionary import of Hintikka’s contribution, (ii) a clarification of the most complicated steps of Hintikka’s elaboration of his insight, (iii) a criticism of several features that play a fundamental role in Hintikka’s formalisation and (iv) a selection from Hintikka’s own material of some valuable suggestions towards a clear and workable formalisation. As for the pars construens, I isolate in the approach of depth-bounded first-order logics (D'Agostino et al. 2021) an alternative formalisation of the notion of syntheticity as the introduction of new individuals in the reasoning, and I show that it is not affected by the same difficulties as Hintikka’s proposal. In so doing, I hope to have contributed to the realisation of the project of rehabilitating Kant’s analytic–synthetic distinction in the context of modern first-order logic with the purpose of showing, against the logical empiricist movement, that logic is not analytic. (shrink)

Performing an inference involves irreducibly dynamic cognitive procedures. The article proposes that a non-associative information frame, corresponding to a residuated pogroupoid, underpins the information structure involved. The argument proceeds by expounding the informational turn in logic, before outlining the cognitive actions at work in deductive inference. The structural rules of Weakening, Contraction, Commutation, and Association are rejected on the grounds that they cause us to lose track of the information flow in inferential procedures. By taking the operation of information application (...) as the primary operation, the fusion connective is retained, with commutative failure generating a double implication. The other connectives are rejected. (shrink)