The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

The essay is a written version of a talk Nakamura Yūjirō gave at the Collège international de philosophie in Paris in 1983. In the talk Nakamura connects the issue of common sense in his own work to that of place in Nishida Kitarō and the creative imagination in Miki Kiyoshi. He presents this connection between the notions of common sense, imagination, and place as constituting one important thread in contemporary Japanese philosophy. He begins by discussing the significance of place (basho) (...) that is being rediscovered today in response to the shortcomings of the modern Western paradigm, and discusses it in its various senses, such as ontological ground or substratum, the body, symbolic space, and linguistic or discursive topos in ancient rhetoric. He then relates this issue to the philosophy of place Nishida developed in the late 1920s, and after providing an explication of Nishida’s theory, discusses it further in light of some linguistic and psychological theories. Nakamura goes on to discuss his own interest in the notion of common sense traceable to Aristotle and its connection to the rhetorical concept of topos, and Miki’s development of the notion of the imagination in the 1930s in response to Nishida’s theory. And in doing so he ties all three—common sense, place, and imagination—together as suggestive of an alternative to the modern Cartesian standpoint of the rational subject that has constituted the traditional paradigm of the modern West. (shrink)

In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed for an account (...) of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (shrink)

The Common Paradox Resolution Argument presents a systematic approach to addressing some of philosophy’s most enduring paradoxes. By analyzing the logical structure and underlying assumptions of each paradox, this argument proposes unique resolutions that aim to preserve logical consistency while clarifying apparent contradictions. The argument covers well-known paradoxes, including the Liar’s Paradox, the Self-Reference Paradox, and the Complete Knowledge Paradox, among others, each of which is dissected and reinterpreted to reveal insights into language, truth, and self-reference. -/- This approach leverages (...) newly developed logical fallacies—such as the Arbitrary Restriction Fallacy and the Self-Reference Paradox Fallacy—created specifically to address the nuances within these paradoxes. The argument contends that by identifying and naming these fallacies, it becomes possible to resolve paradoxical scenarios by revealing flaws in their foundational premises. Ultimately, the Common Paradox Resolution Argument provides a robust framework for interpreting and resolving paradoxes, contributing to a clearer understanding of logical structures and enhancing philosophical discourse on fundamental questions of truth and self-consistency. (shrink)

Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...) these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. While my primary aim is just to put these principles forward, I will use them to evaluate some different approaches to justification and (tentatively) conclude that a ‘normic’ theory of justification best captures its logic. (shrink)

Debunking arguments typically attempt to show that a set of beliefs or other intensional mental states bear no appropriate explanatory connection to the facts they purport to be about. That is, a debunking argument will attempt to show that beliefs about p are not held because of the facts about p. Such beliefs, if true, would then only be accidentally so. Thus, their causal origins constitute an undermining defeater. Debunking arguments arise in various philosophical domains, targeting beliefs about morality, the (...) existence of God, logic, and others. They have also arisen in material-object metaphysics, often aimed at debunking common-sense ontology. And while most of these arguments feature appeals to ‘biological and cultural contingencies’ that are ostensibly responsible for our beliefs about which kinds of objects exist, few of them take a serious look at what those contingencies might actually be. The purpose of this paper is twofold. First, to remedy this by providing empirical substantiation for a key premise in these debunking arguments by examining data from cognitive science, evolutionary biology, and developmental psychology that support a ‘debunking explanation’ of our common-sense beliefs and intuitions about which objects exist. Second, to argue that such data also undermines a particular kind of rationalist defense of common-sense ontology, sometimes employed as a response to the debunking threat. (shrink)

In this paper, I attempt to clarify the heart of Dewey’s philosophy: his method (denotative method (DM) / pattern of inquiry (PI)). Despite the traditional understanding of Dewey as anti-foundationalist, I want to show that Dewey did have metaphysical foundations for his method: the principle of continuity or theory of emergentism. I also argue that Dewey’s metaphysical position is better named as ‘cultural emergentism’, rather than his own term ‘cultural naturalism’. What Dewey called ‘common sense’ in his Logic, Husserl (...) termed as the ‘life-world’ in his Crisis. I compare two perspectives of dealing with the phenomenon and conclude that for Dewey, the difference between natural sciences and the common sense inquiry is that of subject-matter but not of method. Thus, the goal is to find the unified method to be applied in both domains. Whereas Husserl was more pessimistic: for him, the difference was not only in subject-matter, but in the very methods. Following that discussion, I also attempt to reformulate the hard problem of consciousness in Deweyan terms. In the end, I compare Dewey’s DM / PI with Popper’s understandings of scientific method and conclude that there is no significant difference between the two and that Dewey’s method could also be looked at as hypothetic-deductive method, with the only difference in emphases. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive (...) heuristics for concept combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...) exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In (...) this paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

My paper will analyze Cassirer’s logic of the cultural sciences as it developed in close engagement with work on logic, psychology, biology, and linguistics in the nineteenth and early twentieth centuries. The paper focuses on Chajim Steinthal, who sees the “expressive form” of language as a natural function of human engagement with the environment, developing independently of logic. When read in the context of his engagement with Steinthal, the biologist Uexküll, and the neuroscientist Kurt Goldstein, The Philosophy (...) of Symbolic Forms reimagines the role of logic and language in the construction of the cultural world. This provides a reading of what Cassirer means by the logic of the cultural sciences, and what he means by culture itself. My reading highlights the tension, which I argue stems from Steinthal’s earlier work, between the assertion that phenomena including linguistic expression, living beings, and consciousness develop independently of a unifying logic, and Cassirer’s assertion that we live in a common, objective human world. (shrink)

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically (...) equivalent statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails. (shrink)

The obscure and punctuated history of symmetry is compared with the history of the celebrated and exalting notion of infinitesimal; some considerations about them are derived. A long list of odd and hidden events concerning symmetry in theoretical physics is offered. The last event is the discovery of the nature of the same word “symmetry” which pertains to non-classical logic, and it is linked to the principle of sufficient reason. A comparison of the roles played by the two mathematical (...) techniques within a classical physical theory is performed. It leads to recognize the different roles played by the two mathematical tools as a manifestation of an incommensurability phenomenon caused by two foundational dichotomies. (shrink)

Cooperative relations steeped in honesty and good faith are a necessity for any viable society. This is especially relevant to the police institution because the police are entrusted to promote justice and security. Despite the necessity of societal honesty and good faith, the police institution has embraced deception, dishonesty, and bad faith as tools of the trade for providing security. In fact, it seems that providing security is impossible without using deception and dishonesty during interrogations, undercover operations, pretextual detentions, and (...) other common scenarios. This presents a paradox related to the erosion of public faith in the police institution and the weakening of the police's legitimacy. -/- The book seeks to solve this puzzle by showing that many of our assumptions about policing and security are unjustified. Specifically, they are unjustified in the way many of our assumptions about security were unjustified after the 9/11 terrorist attacks, when state institutions embraced a variety of brutal rules and tactics in pursuit of perceived security enhancements. The police are likewise unjustified in their pursuit of many supposed security enhancements that rely on proactive deception, dishonesty, and bad faith. -/- There are compelling reasons to think that the police's widespread use of proactive deception and dishonesty is inconsistent with fundamental norms of political morality regarding fraud and the rule of law. Although there are times and places for such tactics in policing, those times and places should be much more limited than current practices suggest. (shrink)

Following the publication of Jonathan O. Chimakonam’s astounding book, Ezumezu: A System of Logic for African Philosophy and Studies, a monumental piece in the history of African philosophy and logic, which also undergirds the backbone of conversational thinking, various uncharitable misconceptions and misrepresentations have greeted the work. Of the several misrepresentations and misconceptions, the tendency to treat the logic as an African variant of Friedrich Hegel’s dialectics is common. Being a three-valued logic, the tendency to perceive (...) thethird value ‘e’ in conversational thinking as a synthesis is replete in several commentaries and criticisms. This has almost become the norm since Hegel’s third value, following thesis and anti-thesis signifies a synthesis. Through the method of philosophical analysis, I argue that: the logic of conversational thinking is not similar to Hegel’s dialectics hence, all commentaries and criticisms in this guise exhibit the Strawman fallacy; for the logic that underlies conversational thinking, synthesis is an anathema; and conversational thinking places emphasis on complementarity over contradiction. Following these points, I submit that when the veil of Hegel is cast aside, a deeper appreciation for an Africa-inspired logic, which has the capacity to mediate thinking for Africa and beyond, may be discerned almost effortlessly. (shrink)

The paper compares two theories of the nature of logic: Penelope Maddy's and my own. The two theories share a significant element: they both view logic as grounded not just in the mind (language, concepts, conventions, etc.), but also, and crucially, in the world. But the two theories differ in significant ways as well. Most distinctly, one is an anti-holist, "austere naturalist" theory while the other is a non-naturalist "foundational-holistic" theory. This methodological difference affects their questions, goals, orientations, (...) the scope of their investigations, their logical realism (the way they ground logic in the world), their explanation of the modal force of logic, and their approach to the relation between logic and mathematics. The paper is not polemic. One of its goal is a perspicuous description and analysis of the two theories, explaining their differences as well as commonalities. Another goal is showing that and how (i) a grounding of logic is possible, (ii) logical realism can be arrived at from different perspectives and using different methodologies, and (iii) grounding logic in the world is compatible with a central role for the human mind in logic. (shrink)

Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some of the challenges that (...) these views face. It will be suggested that logical realism is best understood as a metaphysical view about the logical structure of the world, but this raises an important question: does logical realism collapse into standard metaphysical realism? It will be argued that this result can be accommodated, even if it cannot be altogether avoided. (shrink)

Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks and by describing the results of performing actions in given states of the world. The actions studied by dynamic logic can be of various kinds: actions on the memory state of a computer, actions of a moving robot in a closed world, interactions between cognitive agents performing given communication protocols, actions that change the common ground between speaker and hearer (...) in a conversation, actions that change the contextually available referents in a conversation, and so on. (shrink)

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. (...) The semantics is defined in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

A - "All ravens are black." B - "All non-black things are non-ravens." C - "All the elements of the set of ravens are elements of the set of black ravens." D - "All the elements of the set of the things that are not black ravens are elements of the set of the things that are not ravens." The propositions A, B, C, D are logically equivalent: if one proposition is true, the other three propositions are also true; if (...) one proposition is false, the other three propositions are also false. The generalizations A and C have the same instances: a black raven is an instance of A and is an instance of C. The generalizations B and D have some instances in common: a non-black object that is a non-raven is an instance of B and is an instance of D; in addition, the generalization D also has as its instances black objects that are non-ravens (for example, a black shoe is an instance of D but is not an instance of B). E - "All ravens are non-black." F - "All black things are non-ravens." G - "All the elements of the set of ravens are elements of the set of the things that are not black ravens". H - "All the elements of the set of black ravens are elements of the set of things that are not ravens." The generalizations E and G have the same instances: a non-black raven is an instance of E and is an instance of G. By contrast, the generalizations F and H do not have the same instances: a black thing that is a non-raven is an instance of F; by contrast, H is a generalization that cannot have instances because a black raven that is a non-raven is a contradiction in terms. To summarize: A and C have the same instances; B and D have some instances in common; E and G have the same instances; by contrast, F and H do not have instances in common because H has no instances, H cannot have instances. In other words: let's call "W" the set of the things that are not black ravens I - "All the elements of the set of ravens are elements of the set W." L - "All the things that are not elements of the set W are elements of the set of the things that are not ravens." A raven that is not a black raven is an instance of I. By contrast, L has no instances because a black raven that is not a raven is a self-contradictory concept. (shrink)

This essay discusses Wittgenstein's conception of logic, early and late, and some of the types of logical system that he constructed. The essay shows that the common view according to which Wittgenstein had stopped engaging in logic as a philosophical discipline by the time of writing Philosophical Investigations is mistaken. It is argued that, on the contrary, logic continued to figure at the very heart of later Wittgenstein's philosophy; and that Wittgenstein's mature philosophy of logic contains (...) many interesting thoughts that have gone widely unnoticed. (shrink)

This book was completed by the early 1960s and published in 1984 but it has not lost its topicality, for it contains an important re-assessment of the relations of two main streams of contemporary philosophy - the Analytical and the Dialectic. Adherents and critics of these traditions tend to assurnethat they are diametrically opposed, that their roots, concerns and approaches contradict each other, and that no reconciliation is possible. In contradistinction Russell derives both traditions from the common root of the (...) dissatisfaction with the arguments against speculative philosophy. These according to the author leave a lacuna - certain elementsof our Weltanschaaung have been removed, but they cannot be removed without replacement lest we have an incomplete world view, so incomplete in fact that it cannot be viable. According to Russell part of this vacuum is taken up by the analytical tradition but this tradition is not capable of taking up the remainder of it. That portion of the vacant space is however taken up by the dialectical tradi tion, which in turn cannot itself handle the whole of the problem. Thus the two reactions to the demise of speculative philosophy appear to be complementary in at least this sense. But the author goes further, for according to hirn the analytical arguments themselves clearly point to the emergence of dialectical problems, and the dialectical problems themselves need some such background to arise. (shrink)

This paper aims to discuss the philosophical roles of common sense in Thomas Reid’s thought. I argue that there is not only one way of appealing to common sense in attempt of discovering truth and allowing knowledge. According to my understanding, Reid makes at least three distinct uses of common sense: (1) the foundational use, in which common sense is taken as the foundation upon which knowledge must be built; (2) the methodological use, in which common sense arises as a (...) source of methodo-logical presuppositions of philosophical investigations; (3) the instrumental use, in which common sense, in the light of the emotion of ridicule, is used as an instrument to refute philosophical principles and conclusions. (shrink)

Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their forms are not at all (...) what they appear. The historical record shows that Russell pursued both these options, but that the struggle with the logical paradoxes pushed him away from the first kind of response and toward the second. An object cannot itself have a kind of inner logical complexity that makes a proposition have a different logical form merely in virtue of being about it, nor can their representatives in logical forms be single things different for different forms, at least not without postulating too many such objects and thereby creating Cantorian diagonal paradoxes. There are only apparent objects which are actually fragments of logical forms, different in different cases. (shrink)

The most widespread models of rational reasoners (the model based on modal epistemic logic and the model based on probability theory) exhibit the problem of logical omniscience. The most common strategy for avoiding this problem is to interpret the models as describing the explicit beliefs of an ideal reasoner, but only the implicit beliefs of a real reasoner. I argue that this strategy faces serious normative issues. In this paper, I present the more fundamental problem of logical omnipotence, which (...) highlights the normative content of the problem of logical omniscience. I introduce two developments of the notion of implicit belief (accessible and stable belief ) and use them in two versions of the most common strategy applied to the problem of logical omnipotence. (shrink)

This article analyzes the historical development of the philosophical logic syntax from the standpoint of the unity of historical and logical methods. According to this perspective, there are three types of logical syntax: the elementary subject-predicate, the modified definitivespecificative, and the standard propositional-functional. These types are generalized in the grammatical and mathematical styles of logical syntax. The main attention is paid to two scientific revolutions in elementary subject-predicate syntax, which led to the emergence of modified definitive-specific and standard propositional-functional (...) syntaxes and created the syntactic conditions for the development of contemporary philosophical logic. The specifics of contemporary philosophical logic and the methodological possibilities of its application to philosophical discourse are studied. The article aims to reevaluate the undeservedly forgotten systems of philosophical logic of the continental tradition, created by such prominent representatives as Aristotle, G.W.F. Hegel, and E. Husserl, and to actualize these logics in the context of contemporary philosophical culture. The potential of the above-mentioned logics is not fully involved in the philosophical discourse of modernity, primarily because they primarily used an imperfect elementary subject-predicate syntax and modified definitive-specificative syntax as its slightly improved version. Both syntaxes have one thing in common: the grammatical style of sentence structure. Nevertheless, they also have one common flaw – a high dependence on grammar formalism. As a result, the interaction between these syntaxes and Frege’s standard propositional-functional syntax is impossible, because the latter is based on mathematical formalism, which operates on the philosophical logic of the analytic tradition. The article substantiates the way to solve this problem by constructing a modified subject-predicate syntax of contemporary philosophical logic. This syntax provides information interaction between Aristotle’s elementary subject-predicate syntax, and Frege’s standard propositional-functional syntax based on Hegel’s modified definitive-specificative syntax. The proposed solution to this problem can create new opportunities for complementarity and mutual enrichment between the philosophical logic of continental and analytical traditions. The theoretical basis for the construction and study of contemporary philosophical logic is a functional analysis of contemporary symbolic logic, which improves the grammatical analysis of traditional formal logic. Functional-grammatical analysis is a way to rehabilitate the philosophical logic of the continental tradition. The novelty of this paper lies in the substantiation of the modified subjectpredicate syntax of contemporary philosophical logic. It makes it possible to establish a dialogue between continental and analytical traditions, which is designed to promote the further development of philosophy. (shrink)

In recent years, the human ability to reasoning about mental states of others in order to explain and predict their behavior has come to be a highly active area of research. Researchers from a wide range of fields { from biology and psychology through linguistics to game theory and logic{ contribute new ideas and results. This interdisciplinary workshop, collocated with the Thirteenth International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), aims to shed light on models of (...) social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as theory of mind. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, desire, intention) logics and by epistemic game theory. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. (shrink)

Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at most (...) two can be met together. This “democratic trilemma” raises the question of which requirement to give up. Since different answers correspond to different views about what matters most in a democracy, the trilemma suggests a map of the “logical space” in which different conceptions of democracy are located. It also sharpens our thinking about other impossibility problems of social choice and how to avoid them, by capturing a core structure many of these problems have in common. More broadly, it raises the idea of “cartography of logical space” in relation to contested political concepts. (shrink)

The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution (...) of the predicate, i.e. that is pragmatically fundamental (i.e. relevant) for the predica-tion, or rather the achievement of the communicative intention. While the transfer of the predicate from the Analogue to the analogical genus and from the genus to the Primary Subject is guaranteed by the maxims (or rules of inference) governing the genus-species relation, the connection between the genus and the predicate can be complex, characterized by various types of reasoning patterns. The relevance relation can hide implicit arguments, such as an implicit argument from classification , an evaluation based on values, consequences or rules, a causal relation, or an argument from practical reasoning. (shrink)

The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) alternative that seeks (...) to explain the implicit concept of conditionality of conditionals assertions. In order to reinforce my aim I expound the twelve different meanings of ‘implication’ stated by Corcoran (1993) in order to hold that a proper understanding of these meanings allows us to avoid ambiguities and confusions. Finally, I expect to show that despite the possible alternatives, compositionalism is still the best explanation for the truth-functionality account of logical connectives. (shrink)

George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians Wilhelm Traugott Krug and Wilhelm Esser, among others. In his 1854 work An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Boole argues that the laws of (...) thought acquire normative force when constrained to mathematical reasoning. Boole’s motivation is, first, to address issues in the foundations of mathematics, including the relationship between arithmetic and algebra, and the study and application of differential equations (Durand-Richard, van Evra, Panteki). Second, Boole intended to derive the laws of logic from the laws of the operation of the human mind, and to show that these laws were valid of algebra and of logic both, when applied to a restricted domain. Boole’s thorough and flexible work in these areas influenced the development of model theory (see Hodges, forthcoming), and has much in common with contemporary inferentialist approaches to logic (found in, e.g., Peregrin and Resnik). (shrink)

Confronted with the great variety one can find today in the work of those often labelled (either by themselves or by others) as “relationalists”, “naïve realists” or “disjunctivists”, one could be excused for thinking that relationalism has no common core, but is instead a constellation of views, which at best bear a kind of family resemblance to each other. We believe that this impression would be inaccurate. Relationalism is best thought of not as a constellation of loosely interrelated views, but (...) as a single wellspring of views, which has both a common core, and a variety of versions which differ from each other along two central axes of variation. In the first half of this introduction, we articulate this structure of relationalist views by constructing a common logical space for them. In the introduction’s second part, we use this logical space to introduce the various contributions this volume collects. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for (...) the studies of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

As we have seen in the transition form Part I to Part II of this book, the inductive riskiness of doxastic methods applied in testimonial uptake or prescribed as exemplary of religious faith, helpfully operationalizes the broader social scientific, philosophical, moral, and theological interest that people may have with problems of religious luck. Accordingly, we will now speak less about luck, but more about the manner in which highly risky cognitive strategies are correlated with psychological studies of bias studies and (...) human cognitive ecology. Chapter Four is concerned with connections between psychological study of biases and heuristics, and the comparative study of fundamentalism. The first section looks at work by psychologists and philosophers on our bias blind spot. Later sections ask, ‘In what ways might biases and heuristics play a special role in aiding our understanding of, and response to, fundamentalist orientation?’. The judgments we make in ignorance of our own biases Montaigne calls our importunate presumptions, and he suggests a host of practical factors that make them appealing. Montaigne, as I discuss in the first section, associates many of our errors with one or another kind of presumption, often about our similarity or differences from others, or from God. Our obvious psychographic diversity, and the polemical ground dynamics involved in our ‘culture wars’ are compounded on the agential side by the invisibility of our biases to ourselves. A number of person and social biases are described that plausibly affect all of our beliefs in domains of controversial views, religious views included. The second section continues to study of how etiological symmetry (similar patterns of belief-uptake) gives rise to religious contrariety (diverse narratives and theologies) in testimonial faith traditions, and what the implications of this are for philosophy of religion, generally, and for an improved comparative study of fundamentalism, in particular. Utilizing the work of philosophers such as Rachel Fraser and psychologists such as Emily Pronin and her co-authors, I offer a four-step genealogical account for how etiological symmetry so easily gives rise to religious contrariety. This account begins with the narrative nature of testimony in the Abrahamic family of religions, and how narrative content confounds our “source monitoring.” My genealogy also introduces what I term biased-closure inferences (BCI) as one of the key enablers of religious exclusivism and absolutism. These are the seemingly ‘logical’ but actually very self-serving inferences people often make, inferences from their own belief being true, to any belief contrary to it being false. Those who claim unique truth, epistemic access, and/or virtue and religious value for the home religion are no exception to the broad pertinence of bias studies across domains of controversial view. The proximate causes of belief are all that we can study, and in these there may be significant etiological symmetries. Yet those groups themselves, especially to the extent that they are exclusivist, are tunnel-visioned on claims of doctrinal uniqueness: on content differences of a theological sort. Comparative philosophy is met with the puzzlement that symmetric or essentially similar doxastic strategies should give rise not just to cognitive diversity, but to what we can call polarized or polemical contrariety, contrariety of a kind where each view adamantly rejects all others. Arguably, the more that theologies offer explanations of a counter-inductive sort, or profess counter-inductive thinking as exemplary of faith, the better evidential ground there for inferring that bias involved in the acquisition or maintenance of beliefs. This provides more substance to the question of when censure, and etiological challenges to faith-based beliefs are philosophically well-motivated. (shrink)

This paper challenges premises regarding the ‘Kuhn vs Popper debate’ which is often introduced to students at a university level. Though I acknowledge the disagreements between Kuhn and Popper, I argue that their models of science are greatly similar. To begin, some preliminary context is given to point out conceptual and terminological barriers within this debate. The remainder of paper illuminates consistencies between the influential books The Logic of Scientific Discoveries (by Popper, abbreviated as Logic) and The Structure (...) of Scientific Revolutions (by Kuhn, abbreviated as Structure). The central purpose of this comparison is to synthesize a shared model of scientific change. The broader implication of this approach is appreciating common ground in discussions that are defined by their disagreements (particularly in philosophy of science). (shrink)

Engaging with Kant’s transcendental logic seems to be a question of mere scholarly historical interest today. It is most commonly regarded a mixture between logic and psychology or epistemology, and by that, not a serious form of logic. Transcendental logic seems to be of no systematical impact on the concept of logic. My paper aims to disclose a different account on the endeavour of Kant’s transcendental logic in particular and of the “Critique of Pure (...) Reason” (CPR) in general. Kant’s fundamental question is in a revolutionary way aiming to ground the character of necessity of knowledge, which means to justify the claim that thinking in accordance with the forms and principles of formal logic does not lead to sheer tautologies or an unsolved contradiction, but to knowledge that is objectively valid. In a first part, I shall demonstrate the necessity and the significance of this new fundamental question of the CPR with respect to its genesis out of pre-Kantian metaphysics. A brief outline of Kant’s answer to this question, with special emphasis on his revolutionary new comprehension of logical form, will be given as well. A second part shall open up a perspective that lies beyond Kant’s standpoint with reference to Nietzsche and eventually to Hegel. I will answer the question: What knowledge do we achieve about being or actuality by means of formal logic? I will argue that Kant shows that formal logic is the logic of all technical-practical conduct but also, at least indirectly, the limitation of the technical-practical knowledge and its legitimate sphere of application. (shrink)

It has been noticed by several authors that the colloquial understanding of anonymity as mere unknown-ness is insufficient. This common-sense notion of anonymity does not recognize the role of the goal for which the anonymity is sought. Starting with the distinction between the intentional and unintentional anonymity (which are usually taken to be the same) and the general concept of the non-coordinatability of traits, we offer a logical analysis of anonymity and identification (understood as de-anonymization). In our enquiry, we focus (...) on the intentional aspect of anonymity and develop a metaphor of “anonymity game” between “perpetrator” and “detective”. Beginning from common-sense intuitions, we provide a formalized, critical notion of anonymity. (shrink)

After a brief history of Brentano's thesis of intentionality, it is argued that intentionality presents a serious problem for materialism. First, it is shown that, if no general materialist analysis (or reduction) of intentionality is possible, then intentional phenomena would have in common at least one nonphysical property, namely, their intentionality. A general analysis of intentionality is then suggested. Finally, it is argued that any satisfactory general analysis of intentionality must share with this analysis a feature which entails the existence (...) of a nonphysical "level of organization". (shrink)

This paper looks at three ways of addressing probabilism’s implausible requirement of logical omniscience. The first and most common strategy says it’s okay to require an ideally rational person to be logically omniscient. I argue that this view is indefensible on any interpretation of ‘ideally rational’. The second strategy says probabilism should be formulated not in terms of logically possible worlds but in terms of doxastically possible worlds, ways you think the world might be. I argue that, on the interpretation (...) of this approach that lifts the requirement of certainty in all logical truths, the view becomes vacuous, issuing no requirements on rational believers at all. Finally, I develop and endorse a new solution to the problem. This view proposes dynamic norms for reasoning with credences. The solution is based on an old proposal of Ian Hacking’s that says you’re required to be sensitive to logical facts only when you know they are logical facts. (shrink)

Gestures are usually regarded as a casual element of communication processes between logicians. By contrast, we aim to show that gestures have played a significant role in logic. We argue that the development of communication techniques and their standardization have led to the rise of formal notation systems commonly used in logic today. In order to substantiate this claim, the historical development of the use of gestures in (early) modern logic is investigated. This investigation uncovers exemplary communication (...) and proof techniques that illustrate the efficacy of gestures as representational media in formal logic. Revisiting the tradition of gestures in logic offers promising paths and insights for today’s logic as a communication practice in the digital age. (shrink)

In recent decades, plural logic has established itself as a well-respected member of the extensions of first-order classical logic. In the present paper, I draw attention to the fact that among the examples that are commonly given in order to motivate the need for this new logical system, there are some in which the elements of the plurality in question are internally singularized (e.g. ‘Whitehead and Russell wrote Principia Mathematica’), while in others they are not (e.g. ‘Some philosophers (...) wrote Principia Mathematica’). Then, building on previous work, I point to a subsystem of plural logic in which inferences concerning examples of the first type can be adequately dealt with. I notice that such a subsystem (here called ‘discrete plural logic’) is in reality a mere variant of first-order logic as standardly formulated, and highlight the fact that it is axiomatizable while full plural logic is not. Finally, I urge that greater attention be paid to discrete plural logic and that discrete plurals are not used in order to motivate the introduction of full-fledged plural logic—or, at least, not without remarking that they can also be adequately dealt with in a considerably simpler system. (shrink)

In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of Dummett and (...) his followers. In the theory of truth, a key distinction now is made between substantial theories and minimalist or deflationist views. According to the former, truth is a genuine substantial property of the truth-bearers, whereas according to the latter, truth does not have any deeper essence, but all that can be said about truth is contained in T-sentences (sentences having the form: ‘P’ is true if and only if P). There is no necessary analytic connection between the above theories of meaning and truth, but they have nevertheless some connections. Realists often favour some kind of truth-conditional theory of meaning and a substantial theory of truth (in particular, the correspondence theory). Minimalists and deflationists on truth characteristically advocate the use theory of meaning (e.g. Horwich). Semantical anti-realism (e.g. Dummett, Prawitz) forms an interesting middle case: its starting point is the use theory of meaning, but it usually accepts a substantial view on truth, namely that truth is to be equated with verifiability or warranted assertability. When truth is so understood, it is also possible to accept the idea that meaning is closely related to truth-conditions, and hence the conflict between use theories and truth-conditional theories in a sense disappears in this view. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 988-1009, December 2021.

For the OK, there is in fact no opposition between the logical and the material or the spiritual: reality is a formless logical substance. Representation is morphogenesis and the terms 'material' and 'spiritual' only denote categories of morphogenesis. Our constant experience shows us that spiritual and material interact. The border between understanding and becoming, between meaning and act, which seems trivial to us, is elusive when we try to approach it. For example: when the subject follows the object of his (...) attention with his gaze, where to draw the line between material and spiritual ? Representation is morphogenesis and the OK uses the term 'horizon', not to separate the material from the spiritual, but to distinguish the formless from the representable, the unspeakable from the speakable. For the OK the speakable is not 'something else' than the unspeakable, it is a mode of order: The rainbow is not 'an other thing' than rain, light, sun, the walk that brought me here and now, my sense of vision, my culture etc ... all this unspeakable set of logical interdependencies from which emerges, for me subject, the meaning of the rainbow. And above all, this horizon is not 'in my mind'. The ordaining of the unspeakable is not carried out 'by my understanding'. The emergence of the meaning from the unspeakable logic is not happening 'in' and 'by' my mind. On the contrary, it is a process of pure logic*, a progressive aglomeration of interdependance, which makes the subject emerge as a representation of the world and of his own existence. The logical transcends the Existing. This is the key to understanding this article: We have not left the Garden of Eden. The representation is not 'overhanging' the world, it is 'the' world. Representation is not "grasping form" but "morphogenesis", not as "attribution of form" but as "necessary ordering mode of logical reality". Common sense (including science and logic) does not represent reality, it emerges from it in the form of modes of order of reality, of logic. My representation of this white stone is not 'something else' than the unspeakable logic from which the meaning of 'white stone' emerges for me, it is only a mode of order. There are no "other things" than the things which represent themselves in me and which are modes of order. The Existing is representation. Existence is a mode of order *. The amorphous logical "substance" precedes (transcends) its representation. The logical transcends logic. (shrink)

We proceed to describe a model for the formation and maintenance of polythematic delusions encountered in schizophrenia, which is in adequacy with Brendan Maher's account of delusions. Polythematic delusions are considered here as the conclusions of arguments triggered by apophenia that include some very common errors of reasoning such as post hoc fallacy and confirmation bias. We describe first the structure of reasoning which leads to delusions of reference, of telepathy and of influence, by distinguishing between the primary, secondary, tertiary (...) and quaternary types of delusional arguments. These four levels of arguments correspond to a stage the nature of which is respectively instantial, inductive, interpretative at a monothematic level and interpretative at a polythematic level. We also proceed to identify accurately the fallacious steps in the corresponding reasoning. We expose then the role of apophenia in the elaboration of delusional ideas. Lastly, we describe the role played by the hallucinations in the present model. (shrink)

The received view in the history of the philosophy of psychology is that the logical positivists—Carnap and Hempel in particular—endorsed the position commonly known as “logical” or “analytical” behaviourism, according to which the relations between psychological statements and the physical-behavioural statements intended to give their meaning are analytic and knowable a priori. This chapter argues that this is sheer legend: most, if not all, such relations were viewed by the logical positivists as synthetic and knowable only a posteriori. It then (...) traces the origins of the legend to the logical positivists’ idiosyncratic extensional or at best weakly intensional use of what are now considered crucially strongly intensional semantic notions, such as “translation,” “meaning” and their cognates, focussing on a particular instance of this latter phenomenon, arguing that a conflation of explicit definition and analyticity may be the chief source of the legend. (shrink)

Symbolic logic faced great difficulties in its early stage of development in order to acquire recognition of its utility for the needs of science and society. The aim of this paper is to discuss an early attempt by the British logician Lewis Carroll (1832–1898) to promote symbolic logic as a social good. This examination is achieved in three phases: first, Carroll’s belief in the social utility of logic, broadly understood, is demonstrated by his numerous interventions to fight (...) fallacious reasoning in public debates. Then, Carroll’s attempts to promote symbolic logic, specifically, are revealed through his work on a treatise that would make the subject accessible to a wide and young audience. Finally, it is argued that Carroll’s ideal of logic as a common good influenced the logical methods he invented and allowed him to tackle more efficiently some problems that resisted to early symbolic logicians. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order (classical) systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems (...) concerning its interpretation. In the second section, three new systems of justification logic are introduced and characterised with respect to an appropriate semantics. The final section shows why the highlighted problems do not afflict the new systems and how it is possible to interpret LJ in the new framework. (shrink)