I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature (...) able to grasp theories must have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...) simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

This paper’s aim is to help winnow out some ideas about the role of formal logic in human doings at large. I start by discussing some metaphysical presuppositions of logical theory; specifically, I attempt to work towards a clearer understanding of the role of modalities, together with the notions of meaning and truth, in mainstream logical theory. I then appeal to a modal formal semantics (Brandom, 2007a) in order to outline the cognitive role of logical constants in (...) general. From these discussions I conclude that any view of formal logic, and its core concepts, which does not involve a grasp of what we do with them will be found to be distorted. (shrink)

This paper is about the principle that success entails ability, which I call Success. I argue the status of Success is highly puzzling: when we focus on past instances of actually successful action, Success is very compelling; but it is in tension with the idea that true ability claims require an action be in the agent's control. I make the above tension precise by considering the logic of ability. I argue Success is appealing because it is classically equivalent to two (...) genuinely valid inferences, which I call Past Success and Can't-Entails-Won't; but also that Success itself has counterexamples. I show how to invalidate Success while validating Past Success and Can't-Entails-Won't by connecting the meaning of ‘can’ to facts about what is settled or open. I define an operator W with features attributed to ‘will’ in the literature on future contingents. I then give a conditional analysis of ability ascriptions stated with W-conditionals, where "S can A" says, roughly, there’s some action available to S such that if S does it, then W(S A). I show this semantics invalidates Success while still explaining its appeal. (shrink)

The received wisdom on ability modals is that they differ from their epistemic and deontic cousins in what inferences they license and better receive a universal or conditional analysis instead of an existential one. The goal of this paper is to sharpen the empirical picture about the semantics of ability modals, and to propose an analysis that explains what makes the can of ability so special but that also preserves the crucial idea that all uses of can share a common (...) lexical semantics. The resulting framework combines tools and techniques from dynamic and inquisitive semantics with insights from the literature of the role of agency in deontic logic. It explains not only why the can of ability, while essentially being an existential modal operator, sometimes resists distribution over disjunction and interacts with its duals in particular and hitherto unnoticed ways, but also has a tendency to license free choice inferences. (shrink)

Logic is loosely regarded as a key factor that drives our decisions. However, logic is actually separated into different systems, such as intuitionistic logic and classical logic. These systems can be explained by different theories, such as logical monism and logical pluralism. This paper aims to challenge logical monism, which posits that only a single logical system adheres to the principles of validity. It explains this on the basis of different systems held as equally strong under (...) their ability to establish definitive conclusions, and adhere to systems of validity relative to each system. (shrink)

Physicalistic theories of psychology are a classic case of scientific imperialism: the explanatory capacity of physics, both with respect to its methods and to its domain, is taken to extend beyond the traditional realm of physics, and into that of psychology. I argue in this paper that this particular imperialistic venture has failed. Contemporary psychology uses methods not modelled on those of physics, embracing first-personal methodology where physics is strictly impersonal. I make the case that whether or not scientific imperialism (...) is in general harmful, in this instance naturalists who reject first philosophy should give up physicalist imperialism. Using only general principles from the philosophy of logic plus accepted physicalist criteria of identity, I show that first-personal psychology embodies a minor but fruitful increase in expressive strength compared to impersonal psychology: the ability to distinguish descriptively indiscriminable posits. (shrink)

Giving justice to Maximus any philosophy wich does not include mysticism will be false as philosophy. Our metaphysics must be mystical in order to be rational. In Maximus’ doctrine, then, Christ comes not to destroy but to fulfill the metaphysics of mystery elaborated by the philosophers. For him there can be no separation between philosophy and theology, or between natural and revealed theology. Thereby, Christology and liturgical mysticism are not additional to a neoplatonic, aristotelian, and other methaphysics. Maximus concern was (...) to continue, not the philosophical tradition of the Aristotelian commentators, but the theological one of the Fathers. He was not an Aristotelian commentator himself. The union and distinction are basic logical concepts in Maximus’ thinking, but the Chalcedonian logic is the application of these concepts. Only in this way one can talk about Christianization of aristotelian logic. St. Maximus the Confessor synthesized Aristotelianism influences with those of Platonism in order to exceed the daring speculations of cosmology origeniene. He had an extraordinary ability to combine metaphysical requirements with the effort of defining the faith dogma, and the monastic experiences with the depth thinking, succeeding to propose a new conception in which converge all cultural and religious influences. This study is analyzing the relationship between logoi and energeia (the intentional or “logical” energeia and the ontology of divine energy as ontological “logic”) within the maximian cosmology, by referring to the palamite theology. The concept of logoi for St. Maximus play a role similar in many respects to that of energy (energeiai) in Cappadocian Fathers, but the functional similarity it should not lead to the identification rationales with the energies. (shrink)

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal (...) class='Hi'>logical language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, (...) requires that thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the field of (...) methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

"A Little More Logical" is the perfect guide for anyone looking to improve their critical thinking and logical reasoning skills. With chapters on everything from logic basics to fallacies of weak induction to moral reasoning, this book covers all the essential concepts you need to become a more logical thinker. You'll learn about influential figures in the field of logic, such as Rudolph Carnap, Betrrand Russell, and Ada Lovelace, and how to apply your newfound knowledge to real-world (...) situations. Whether you're looking to engage in debates with others, make better decisions in your personal and professional life, or simply want to improve your overall critical thinking skills, "A Little More Logical" has you covered. So why wait? Start learning and become a little more logical today! -/- "A Little More Logical" differs from typical logical textbooks in a number of ways. One key difference is its emphasis on engaging and relatable examples and case studies. Rather than simply presenting dry definitions and concepts, the book uses fables, stories, and real-world situations to illustrate key ideas and make them more relatable for readers. -/- Another unique aspect of "A Little More Logical" is its inclusion of "Minds that Mattered" sections, which highlight the contributions and insights of influential figures in the field of logic and critical thinking. These sections provide readers with a deeper understanding of the history and development of logical principles and offer valuable context for the concepts being discussed. -/- Additionally, "A Little More Logical" covers a wide range of topics beyond the basics of logic and argument evaluation. Chapters on moral reasoning, probability and inductive logic, scientific reasoning, conspiracy theories, statistical reasoning, and the history of formal logic offer a more comprehensive and well-rounded understanding of logic and critical thinking. -/- Overall, "A Little More Logical" stands out as a dynamic and engaging resource for anyone looking to improve their logical reasoning abilities. Its relatable examples, historical context, and broad coverage make it a valuable resource for anyone interested in mastering the principles of logic. -/- This is a free, Creative-Commons-licensed book. (shrink)

In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also rationality (...) constraints on the changes of doxastic state that may occur in such agents. An additional distinction is that between non-introspective theories and introspective ones. Non-introspective theories investigate agents that have opinions about the external world but no higher-order opinions about their own doxasticnstates. Standard AGM-type theories as well as the currently existing versions of Segerberg’s dynamic doxastic logic (DDL) are non-introspective. Hintikka-style doxastic logic is of course introspective but it is a static theory. Thus, the challenge remains to devise doxastic theories that are both dynamic and introspective. We outline the semantics for truly introspective dynamic doxastic logic, i.e., a dynamic doxastic logic that allows us to describe agents who have both the ability to form higher-order beliefs and to reflect upon and change their minds about their own (higher-order) beliefs. This extension of DDL demands that we give up the Preservation condition on revision. We make some suggestions as to how such a non-preservative revision operation can be constructed. We also consider extending DDL with conditionals satisfying the Ramsey test and show that Gärdenfors’ well-known impossibility result applies to such a framework. Also in this case, Preservation has to be given up. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. For simplified (...) informal calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time (...) and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational (...) variables, same stimuli, same relevant and salient features). We recorded the brain electrophysiological activity of 20 participants (age 1⁄4 20.35 ± 3.23) by means of an MEG system during two consecutive reasoning tasks: a search task (invalid condition) without any specific deductive rules to follow, and a logically valid deductive task (valid condition) with explicit deductive rules as instructions. We calculated the functional connectivity (FC) for each condition and conducted a seed-based analysis in a set of cortical regions of interest. Finally, we used a cluster-based permutation test to compare the dif- ferences between logically valid and invalid conditions in terms of FC. As a first novel result we found higher FC for valid condition in beta band between regions of interest and left prefrontal, temporal, parietal, and cingulate structures. FC analysis allows a second novel result which is the definition of a propositional network with operculo-cingular, parietal and medial nodes, specifically including disputed medial deductive “core” areas. The experiment discloses measurable cortical processes which do not depend on content but on truth-functional propositional operators. These experimental novelties may contribute to understand the cortical bases of deductive processes. (shrink)

Contemporary psychologism has been amended for most of the objections by its opponents over a century ago. However, some authors still raise doubts about its ability to account for some peculiar properties of logic. In particular, it is argued that the psychological universality of patterns of inferential behavior is not sufficient to account for the normativity of logic. In this paper, I deal with the issue and offer three alternative solutions that do not rely on mere empirical universality. I will (...) use the works of Laurence Jonathan Cohen, Diego Marconi and Marcello D'Agostino, adapting them for the purpose of defending logical psychologism. I will therefore argue that, although more refined work on the subject is needed, contemporary psychologism has the key resources to retain its place in the philosophical debate on the foundations of logic. (shrink)

The purpose of this article is to present an evidence-supported curriculum covering the fundamentals of logic, reasoning, and argumentation skills to address the emphasized basic knowledge, skills, and abilities required to be scientifically literate, which will prepare the public to understand and engage with science meaningfully. An analytic-synthetic approach toward understanding the notion of public is taken using a theoretical biomimetics framework that identifies naturally occurring objects or phenomena that descriptively captures the essence of a construct to facilitate creative (...) problem-solving. In the present case, the problem being solved is how to reconcile what is meant by public, how it ought to be interpreted, determining the diverse levels of confidence in science that exist, and various understandings of science all with one another. The results demonstrate there is an inherent denotative-connotative inconsistency in the traditional notion of public that can be explicated through the concept of a fractal allowing for comprehension of the relationship between public confidence in, and understanding of, science. (shrink)

1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze his argument on why (...) this version of it is immune from paradox. (3) Edgington (1985) offered an interpretation of the Verificationist Thesis that blocks Fitch’s paradox and we will propose a way to formulate it in a TAPAL‑based lan‑ guage. The language we will use is a combination of TAPAL and TPAL+P ! with an Indefinite (Unlabeled) Past Operator (TAPAL+P !+P). Using indexed satisfi‑ ability relations (as introduced in (Wang 2010 ; 2011)) we will offer a prospec ‑ tive semantics for this language. We will investigate whether the tentative re‑ formulation of Edgington’s Verificationist Thesis in TAPAL+P !+P is free from paradox and adequate to Edgington’s ideas on how „all truths are knowable“ should be interpreted. (shrink)

In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in \acro{atl} are (...) \emph{revocable} in the sense that in the evaluation of the goal $\phi$ the agent $i$ is no longer restricted by the strategy she has chosen in order to reach the state where the goal is evaluated. -/- Here we discuss some alternatives leading to amendments of that semantics. In particular, we consider variants of \acro{atl}$^*$ where strategies, on the contrary, are \emph{irrevocable}. Unlike in the standard semantics of \acro{atl}, memory plays an essential role in the semantics based on irrevocable strategies. -/- Further, we propose and discuss various syntactic and semantics mechanisms for handling commitments to strategies and release from such commitments in the semantics of ATL$^*$, leading to more expressive and semantically refined versions of that logic. (shrink)

Critique of Sarcastic Reason is a philosophical dissertation that combines several different fields in order to pave the way for those studying sarcasm at the neurobiological, communicative and socio-political levels of analysis where sarcasm appears, respectively, through associated brain activity, between two or more individuals with higher level metabeliefs, and as a method by which political, religious and other social ideologies are attacked (i.e., one form of "biting sarcasm"). The academic disciplines involved in Critique of Sarcastic Reason include social cognitive (...) and developmental psychology, neuroscience, critical theory, modern and contemporary philosophy of mind, evolutionary biology, logic, metaphysics and epistemology. Sarcasm is argued to only function at the highest levels of metacognition, and sarcasm occurs within social situations during which there are tendencies for two or more people to form desires and disgusts directly related to beliefs about beliefs. Sarcasm is compared to deception and is argued to be best analyzed as either spontaneous or rehearsed. (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)

In this article, I argue that G. A. Cohen’s defense of the feminist slogan, “The personal is political”, his argument against Rawls’s restriction of principles of justice to the basic structure of society, depends for its intelligibility on the ability to distinguish—with reasonable but perhaps not perfect precision—between those situations in which what Nancy Rosenblum has called “the logic of congruence” is validly invoked and those in which it is not. More importantly, I suggest that the philosophical shape of Cohen’s (...) critique makes it difficult for him to supply the required criterion, and that the methodological “intuitionism” he claims to be committed to is at odds with his larger argument against Rawls concerning the subject of justice. (shrink)

In the article we consider the relationship of traditional provisions of basic logical concepts and confront them with new and modern approaches to the same concepts. Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic). This is not only a difference in the logical calculation of (1) concepts, (2) statements, and (3) predicates, but this difference also appears in the (...) treatment of the calculative abilities of logical forms, the ontological-referential status of conceptual content and the inferential-categorical status of logical forms. The basic markers or basic ideas that separate ontologically oriented logic from categorically oriented logic are the (1) concept of truth, the (2) concept of meaning, the (3) concept of identity, and the (4) concept of predication. Here, this differences are explicitly demonstrated by the introduction of differential terminology. From this differential methodology follows a new set of characterizations of logic. (shrink)

It is a widely held principle that no one is able to do something that would require the past to have been different from how it actually is. This principle of the fixity of the past has been presented in numerous ways, playing a crucial role in arguments for logical and theological fatalism, and for the incompatibility of causal determinism and the ability to do otherwise. I will argue that, assuming bivalence, this principle is in conflict with standard views (...) about knowledge and the semantics for ‘actually’. I also consider many possible responses to the argument. (shrink)

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest (...) that the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed (...) in terms of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

The Free Choice effect—whereby \\) seems to entail both \ and \—has traditionally been characterized as a phenomenon affecting the deontic modal ‘may’. This paper presents an extension of the semantic account of free choice defended by Fusco to the agentive modal ‘can’, the ‘can’ which, intuitively, describes an agent’s powers. On this account, free choice is a nonspecific de re phenomenon that—unlike typical cases—affects disjunction. I begin by sketching a model of inexact ability, which grounds a modal approach to (...) agency in a Williamson -style margin of error. A classical propositional semantics combined with this framework can reflect the intuitions highlighted by Kenny ’s dartboard cases, as well as the counterexamples to simple conditional views recently discussed by Mandelkern et al.. In Section 3, I turn to an independently motivated actual-world-sensitive account of disjunction, and show how it extends free choice inferences into an object language for propositional modal logic. (shrink)

The nontechnical ability to identify or match argumentative structure seems to be an important reasoning skill. Instruments that have questions designed to measure this skill include major standardized tests for graduate school admission, for example, the United States-Canadian Law School Admission Test (LSAT), the Graduate Record Examinations (GRE), and the Graduate Management Admission Test (GMAT). Writers and reviewers of such tests need an appropriate foundation for developing such questions--they need a proper representation of phenomenological argumentative structure--for legitimacy, and because these (...) tests affect people's lives. This paper attempts to construct an adequate and appropriate representation of such structure, that is, the logical structure that an argument is perceived to have by mature reasoners, albeit ones who are untrained in logic. (shrink)

Rutherford and Ray think that human beings have mental mechanisms that help them to detect individuals that, deliberately, do not follow a rule. In the same way, they hold that autism is not a disorder in which these mechanisms are damaged. This idea seems contrary to the thesis, supported by some researchers, that autistic people have a theory of mind deficit. This is because of, if Rutherford and Ray are right, autistic people can detect other people’s intentions. In this paper, (...) Rutherford and Ray’s experiment is analyzed and it is concluded that they do not prove that people with autism can understand intentions. Such an experiment only shows that autistic people and general population share common logical-linguistic abilities. (shrink)

Rutherford and Ray think that human beings have mental mechanisms that help them to detect individuals that, deliberately, do not follow a rule. In the same way, they hold that autism is not a disorder in which these mechanisms are damaged. This idea seems contrary to the thesis, supported by some researchers, that autistic people have a theory of mind deficit. This is because of, if Rutherford and Ray are right, autistic people can detect other people's intentions. In this paper, (...) Rutherford and Ray's experiment is analyzed and it is concluded that they do not prove that people with autism can understand intentions. Such an experiment only shows that autistic people and general population share common logical-linguistic abilities. (shrink)

It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of (...) K3. This undermines the ability of proponents LP to engage in public reasoning in classical domains. (shrink)

The articles included in this issue represent some of the most recent thinking in the area of critical thinking in higher education. While the emphasis is on work being done in the Australasian region, there are also papers from the USA and UK that demonstrate the international interest in advancing research in the area. -/- ‘Critical thinking’ in the guise of the study of logic and rhetoric has, of course, been around since the days of the ancient Greeks and the (...) early beginnings of universities. In a narrower sense, critical thinking has been central to higher education as a desirable attribute of graduates since at least the beginning of the twentieth century. The work of John Dewey, and others, emphasised the importance of ‘good habits of thinking’ as early as 1916. In 1945, the Harvard Committee placed emphasis on the importance of ‘thinking effectively’ as one of three desirable educational abilities in their General education in a free society. This was later endorsed in 1961 by the US-based Educational Policies Commission: ‘The purpose which runs through and strengthens all other educational purposes … is the development of the ability to think’ (Kennedy, Fisher, & Ennis, 1991, pp. 11–12). -/- In recent times, universities have made a point of emphasising the importance of critical thinking as a ‘generic skill’ that is central to most, if not all, subjects. There is not a university today (in Australia at least) that does not proudly proclaim that their graduates will – as a result of a degree program in their institution – learn to think critically. Further, there is rarely a subject taught that does not offer the opportunity to acquire skills in critical thinking. However, where is the evidence that we teach critical thinking in higher education? Disturbingly, despite our best intentions, it appears we may be teaching very little of it. (shrink)

This paper connects recent findings from experimental epistemology to several major themes in classical Indian epistemology. First, current evidence supports a specific account of the ordinary knowledge concept in contemporary anglophone American culture. According to this account, known as abilism, knowledge is a true representation produced by cognitive ability. I present evidence that abilism closely approximates Nyāya epistemology’s theory of knowledge, especially that found in the Nyāya-sūtra. Second, Americans are more willing to attribute knowledge of positive facts than of negative (...) facts, especially when such facts are inferred and even when the positive and negative “facts” are logically equivalent. Similar suspicions about knowledge of negative facts seemingly occur in classical Indian epistemology, suggesting that the asymmetry might not be an American quirk but instead reflect a cross-culturally robust tendency in knowledge attributions. Each of these themes—abilism and the positive/negative asymmetry—presents an exciting opportunity for further research in experimental cross-cultural epistemology. (shrink)

World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the (...) syntactic side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” in- ferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability. (shrink)

I explore the motivation and logical consequences of the idea that we have some (limited) ability to know contingent facts about the future, even in presence of the assumption that the future is objectively unsettled or indeterminate. I start by formally characterizing skepticism about the future. This analysis nudges the anti-skeptic towards the idea that if some propositions about the future are objectively indeterminate, then it may be indeterminate whether a suitably positioned agent knows them. -/- Philosophical Perspectives, Volume (...) 35, Issue 1, Page 50-69, December 2021. (shrink)

There is more responsibility on heaven and earth than dreamt of in most philosophy. This dissertation explores three debates in three sub-fields of philosophy, highlighting in each responsibilities agents find themselves with whether they like it or not. In the chapter "Trust Logic, Not Tortoises", I propose an answer to Wright’s Justification Question – to what extent are we justified in our knowledge of logic? – arguing early knowledge of logic is a species of know-how underwritten by dispositions to infer (...) that are themselves often refined into more sophisticated dispositions to infer as we develop. Given how foundational such know-how is to our understanding of the world, we find ourselves responsible for cultivating more sophisticated reasoning, whatever its provenance. In the chapter Ties that Undermine, I argue attributions to an agent of moral responsibility are largely influenced by the perceived rareness of that agent's ability to provide aid or prevent harm, degree of aid provided or harm prevented, and cost to that agent in providing aid or preventing harm. Voluntary adoption of such moral responsibility is not necessary for an agent to be morally responsible. I generalize this result to the epistemic domain in the chapter Speak No Evil: Understanding Hermeneutical (In)justice, arguing attributions to an agent of epistemic responsibility are also influenced by the perceived rareness of that agent's ability to generate true beliefs in themselves and others, extent of benefit provided and harm prevented by having such true beliefs, and cost to that agent in generating such true beliefs. Here, we see voluntary adoption of such epistemic responsibility is not necessary for an agent to be epistemically responsible. By exploring the relevance of such responsibility to three distinct debates in three distinct sub-fields of philosophy, this dissertation highlights how pervasive responsibility is to the lives of agents, and the work of philosophers. (shrink)

Combining typical knowledge to generate novel concepts is an important creative trait of human cognition. Dealing with such ability requires, from an AI perspective, the harmonization of two conflicting requirements that are hardly accommodated in symbolic systems: the need of a syntactic compositionality (typical of logical systems) and that one concerning the exhibition of typicality effects (see Frixione and Lieto, 2012). In this work we provide a logical framework able to account for this type of human-like concept combination. (...) We propose a nonmonotonic Description Logic of typicality called TCL (Typicality-based Compositional Logic). (shrink)

Leave logic at the door and prepare to test your creative thinking skills with these 100 brand new lateral thinking puzzles. Each puzzle describes a situation which at first sounds odd or unlikely, and you have to work your way to the answer using creativity, imagination, and intuition. To cater for all ability levels, the 100 puzzles are arranged into Easy, Moderate, and Difficult categories, and a series of hints is provided for each puzzle to help you along if you (...) get stuck. As lateral thinking puzzles are fun, engaging, and make good icebreakers, they are a perennial favourite at dinner parties, break times, and social evenings. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, and (...) the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

We discuss various possibilities for developing a dynamic doxastic logic (DDL) for introspective agents: agents who have the ability to form higher-order beliefs. Such agents can reflect upon and change their minds about their own beliefs. The project of constructing such a logic, full DDL or DDL unlimited, is ridden with difficulties due to the fact that the agent's own doxastic state now becomes a part of the reality he is trying to explore. When an introspective agent learns more about (...) the world (and himself), the reality he holds beliefs about undergoes a change in its doxastic part, which means that his introspective beliefs have to be adjusted accordingly. (shrink)

Item analysis is a general term that refers to the specific methods used in education to evaluate test items, typically for the purpose of test construction and revision. Construction and analysis of science examinations in high school curricula needs the integration of integrated process and skill type which help students develop their rational and logical thinking. This exploratory study aimed to investigate the comparative results of item analyses using Rasch Model Analysis and SPSS. It examined the reliability, mean difficulty, (...) mean ability, discrimination index, mean trend scores, infit and misfit, and item-person and fit maps using the results of the Basic & Integrated Science Process and Skill Test (BISPST) administered to secondary science high school teachers in the Division of Nueva Vizcaya. The Rasch Model Analysis and SPSS revealed the same unsatisfactory value of internal consistency or the reliability coefficient Cronbach’s alpha (0.66 and 0.67), mean score (19.52) and standard deviation (4.53) of the BISPST. The mean item difficulty was set at 0 by definition (SD = 2.02) and the mean examinee ability was 1.56 (SD = 0.98), which means that the examinees were able to correctly answer 61% of items on average. 33 items with difficulty lower than the least able examinee. The mean ability using Rasch Model Analysis per item showed that high performers in the test got the correct answers compared to the low performing group. This is the same and consistent with the results of the mean trend scores of the upper, middle and lower groups as generated by the SPSS. Choices in the BISPST were found to be effective distracters. Although most items needs revision as revealed by the values generated by both softwares, no items were found to be misfit in the distribution. (shrink)

Many philosophers believe that agents are self-ruled only when ruled by their (authentic) selves. Though this view is rarely argued for explicitly, one tempting line of thought suggests that self-rule is just obviously equivalent to rule by the self . However, the plausibility of this thought evaporates upon close examination of the logic of ‘self-rule’ and similar reflexives. Moreover, attempts to rescue the account by recasting it in negative terms are unpromising. In light of these problems, this paper instead proposes (...) that agents are self-ruled only when not ruled by others. One reason for favouring this negative social view is its ability to yield plausible conclusions concerning various manipulation cases that are notoriously problematic for nonsocial accounts of self-rule. A second reason is that the account conforms with ordinary usage. It is concluded that self-rule may be best thought of as an essentially social concept. (shrink)

This paper investigates the nature of dispositional properties in the context of artificial intelligence systems. We start by examining the distinctive features of natural dispositions according to criteria introduced by McGeer (2018) for distinguishing between object-centered dispositions (i.e., properties like ‘fragility’) and agent-based abilities, including both ‘habits’ and ‘skills’ (a.k.a. ‘intelligent capacities’, Ryle 1949). We then explore to what extent the distinction applies to artificial dispositions in the context of two very different kinds of artificial systems, one based on (...) rule-based classical logic and the other on reinforcement learning. Here we defend three substantive claims. First, we argue that artificial systems are not equal in the kinds of dispositional properties they instantiate. In particular, we show that logical systems instantiate merely object-centered dispositions whereas reinforcement learning systems allow for the instantiation of agent-based abilities. Second, we explore the similarities and differences between the agent-centered abilities of artificial systems and those of humans, especially as relates to the important distinction made in the human case between habits and skills/intelligent capacities. The upshot is that the agent-centered abilities of truly intelligent artificial systems are distinctive enough to constitute a third type of agent-based ability — blended agent-based ability — raising substantial questions as to how we understand the nature of their agency. Third, we explore one aspect of this problem, focussing on whether systems of this type are properly considered ‘responsible agents’, at least in some contexts and for some purposes. The ramifications of our analysis will turn out to be directly relevant to various ethical concerns of artificial intelligence. (shrink)

Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic logic (...) and semantic information theory, and show how removing conceptual omniscience helps resolve Wittgenstein's paradoxes and explain the puzzle of deduction, its ability to generate new knowledge and meaning. (shrink)

American History X (hereafter AHX) has been accused by numerous critics of a morally dangerous cinematic seduction: using stylish cinematography, editing, and sound, the film manipulates the viewer through glamorizing an immoral and hate-filled neo-nazi protagonist. In addition, there’s the disturbing fact that the film seems to accomplish this manipulation through methods commonly grouped under the category of “fascist aesthetics.” More specifically, AHX promotes its neo-nazi hero through the use of several filmic techniques made famous by Nazi propagandist Leni Riefenstahl. (...) Now most critics admit that, in the end, the film claims to denounce racism and attempts to show us the conversion of the protagonist to the path of righteousness, but they complain that nonetheless the film (perhaps unintentionally) ends up implicitly promoting the immoral worldview it rather superficially professes to reject in its final act. This charge of hypocrisy is connected to another worry: the moral conversion in the film is said to fall flat because the intellectual resources on display to support the character’s racism are not counterbalanced by equally explicit (but superior) arguments for the anti-racist position ultimately embraced by the character. In other words, just as the devil is said to get all the good lines in Milton’s Paradise Lost, in AHX the racists get all the arguments. This has been taken to be a morally problematic flaw of the film. Critics lament that Derek’s conversion seems to result not from relevant logical inferences and valid rational argumentation but from overly simplistic and arguably egoistic insights (e.g., “has anything you've done made your life better?”) combined, perhaps, with a hackneyed cliché (in prison, one of his best friends is a black person!) In this paper I’ll attempt to rebut these charges and defend the film as a powerful, and powerfully moral, work of art. I’ll be suggesting that the seductive techniques employed allow for many viewers a degree of sympathy towards the protagonist that is crucial, both for making that character’s more horrific actions especially unsettling, and also for making his eventual conversion plausible and ultimately compelling. I’ll also argue that the manner in which his conversion is presented is in fact subtler than many critics have allowed: Derek’s transformation is not artificial or implausible but is depicted as resulting from a cumulative series of emotionally powerful life events and personal engagements. It is certainly true that it is not represented in the way some would seemingly have preferred, i.e. as straightforwardly resulting from a process of gradual intellectual improvement in Derek’s reasoning on questions of race and politics. However, I’ll argue that the decidedly emotional basis of his moral evolution is both refreshingly realistic and no hindrance to accepting his conversion as rational. Finally, properly understanding the legitimacy of the emotional foundations of much moral thought will also allow us to appreciate the ways in which our initial worries about this film’s (not insignificant) ability to persuade viewers through the engagement of emotions need not, in itself, be seen as a barrier to endorsing the film as a morally praiseworthy work. (shrink)

Many philosophical discussions hinge on the concept of knowability. For example, there is a blooming literature on the so-called paradox of knowability. How to understand this notion, however? In this paper, we examine several approaches to the notion: the naive approach to take knowability as the possibility to know, the counterfactual approach endorsed by Edgington (1985) and Schlöder (2019) , approaches based on the notion of a capacity or ability to know (Fara 2010, Humphreys 2011), and finally, approaches that make (...) use of the resources of dynamic epistemic logic (van Benthem 2004, Holliday 2017). (shrink)

If there is an area of discourse in which disagreement is virtually absent, it is mathematics. After all, mathematicians justify their claims with deductive proofs: arguments that entail their conclusions. But is mathematics really exceptional in this respect? Looking at the history and practice of mathematics, we soon realize that it is not. First, deductive arguments must start somewhere. How should we choose the starting points (i.e., the axioms)? Second, mathematicians, like the rest of us, are fallible. Their ability to (...) recognize whether a putative proof is correct is not infallible. In most cases, disagreement over the correctness of a putative proof is, however, evanescent. Once an error is spotted and communicated, the disagreement disappears. But this is not always the case. Sometimes it is recalcitrant; that is, it persists over time. In order to zoom in on this type of disagreement and explain its very possibility, we focus on a single case study: a decades-long (1921-1949) controversy between Federigo Enriques and Francesco Severi, two prominent exponents of the Italian school of algebraic geometry. We suggest that the instability of the mathematical community to which they belonged can be explained by the gap between an abstract criterion of rigor and local criteria of acceptability. It is this instability that made the existence of recalcitrant disagreement over putative proofs possible. We do not condemn speculative mathematics but rather its pretense of being rigorous mathematics. In this respect, we show that the overly self-confident Severi and the more intuitive, visionary Enriques had a completely different attitude. (shrink)

"Time. Perception. Imagination. Phenomenological Studies on the Question of Time by Augustine, Kant and Husserl". (rus), SPb, 2013. Summary: The monograph is devoted to the key elements of the philosophy of time which determine the necessity of historicism in the analysis of subjectivity. The main idea which defined the composition and design of this work is to trace how the Kantian definition of time as the “form of inner sense” is revealed in Husserl’s phenomenology. The original intention was to understand (...) all three components of this definition. Firstly, what is the inner form, in terms of phenomenology, what are the principles of its constitution and how one can talk about the property of formation? Secondly, what is the meaning of the term "inner" in philosophy, where the division into internal and external has always been a formality, not affecting the essence of things? And finally, what sort of “sensibility” is assumed in transcendental science, bound to become the basis of understanding the history and culture. Presumably, these three Kantian concepts constituted the original plan to analyze the nature of cognitive capabilities of the subject, claiming the gnoseological stage on which the philosophy of time is unfolded. In other words, this work deals with the historical and philosophical analysis of the phenomenological principles by which the concept of time as developed in the twentieth century emerged in the framework of phenomenology. The analyze of the structure of the subject assumes that time, perception and imagination combine in a special type of inner synthesis, which may not be relevant to certain aspects of the method but maintain the basis for a kind of anthropology of time, in continuation of the traditional “inner” contemplation. I consider the inner structure of time with the account of philosophy of St. Augustine, who in many respects not only anticipated the conclusions of phenomenology, but also in his reflections encompassed deeper layers of inner experience. The first chapter is devoted to the doctrine of St. Augustine, in which the theory of time is analyzed in conjunction with the doctrine of “inner word”, specifics of memory representations and notion of inner sense. Additionally, I consider St. Augustine’s reflections about numbers that constitute the basis of aesthetic perception of music (De Musica). Thus, the philosophy of St. Augustine already covers the whole spectrum of anthropology of time, including the question of relation between time and eternity, which remains practically unexplored in phenomenology and serves as the proof of that in interactions between philosophy and theology the tradition remains important. The second chapter of this study is devoted to analysis of the transcendental aesthetic of Kant, which includes all the methodological possibilities of considering the category of time as a formal condition for any experience, consequentially serving as a foundation for further logical development by Husserl, which includes the critical disengagement of the founder of phenomenology from Kant's transcendentalism. Particular attention is paid to the origin of the concept of inner sense, as well as possible interpretations of the function of imagination, which as a transcendental ability remains the most interesting type of synthesis. Handwritten fragments of Kant’s works are also of interest to the character of the imagery as considered in detail by Husserl. Chapter three discusses the phenomenology of inner time consciousness, represented in those important aspects, without which it is impossible to speak about the internal structure of temporal experience - the subjectivity of time, retention, "living present", and the character of synthesis. Particular attention is paid to Husserl's polemics with those representatives of psychological branch in the studies of consciousness, whose ideas greatly influenced the very motivation for creating the method. Apart from the well-known criticism of Brentano, the third chapter highlights the rarely analyzed psychological ideas that motivated the choice of Husserl’s terminology - the "Präsenzzeit” by W. Stern, the "psychological analysis" by A. Meinong, and the “fusion” (Verschmelzung) by K. Stumpf. Chapter four deals with the need to analyze the specifics of image as an element of consciousness and imagery as such, which includes a system of objectified acts. Thus is revealed the very nature of synthetic connections in the acts of consciousness, as well as the presumably imaginative character of the constitution of temporal form. (shrink)

Speaking for God has been part of religion for many years. However, science has come in the past few years to question that role or even our very ability to speak about God in general. My goal is to show that dogmatism, under any form, is wrong. And even though dogmatism had for a long time been associated with ill-intentioned religion, nowadays science has replaced religion in the throne of doctrinaire thinking. The point of the paper is to illustrate that (...) one-way thinking is never correct – most of the times a combination of science and religion, measurements and theoretical thinking, logic and intuition, is required to draw a conclusion about the most important philosophical questions. The paper establishes that exact sciences can be very useful, but they also have limits. The Religion-vs-Science problem is a pseudo-problem; logic and evidence can easily be used to defend theistic views. Both science and religion use common tools and methods and can be unified in a new way of thinking. This paper sets the foundations on how this can be achieved. The conclusion is that science and religion both complete our knowledge for the world, our understanding of humans and our purpose in life. Speaking about God is part of science as well as of religion. Only when we think of God as theologians and as scientists at the same time can we fully reach Him…. (shrink)