Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space of (...) FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

I discuss three ways of responding to the logical omniscience problems faced by traditional ‘possible worlds’ epistemic logics. Two of these responses were put forward by Hintikka and the third by Cresswell; all three have been influential in the literature on epistemic logic. I show that both of Hintikka's responses fail and present some problems for Cresswell’s. Although Cresswell's approach can be amended to avoid certain unpalatable consequences, the resulting formal framework collapses to a sentential model of knowledge, which defenders (...) of the ‘possible worlds’ approach are frequently critical of. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the laws (...) of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

In order to predict and explain behavior, one cannot specify the mental state of an agent merely by saying what information she possesses. Instead one must specify what information is available to an agent relative to various purposes. Specifying mental states in this way allows us to accommodate cases of imperfect recall, cognitive accomplishments involved in logical deduction, the mental states of confused or fragmented subjects, and the difference between propositional knowledge and know-how .

According to the traditional view in the philosophy of logic facts of logic bear normative authority regarding how one ought to reason. Usually this is to mean that the relation of logical consequence between statements has some special relevance for how one’s beliefs should cohere. However, as I will argue in this article, this is just one way in which logic is normative for reasoning. For one thing, belief is not the only kind of mental state involved in reasoning. Besides (...) adopting and revising beliefs, rational agents pose and resolve questions. For another thing, the consequence relation of classical logic can be conservatively extended such that it includes logical relations between questions as well. Therefore, there is an argument to be made that not only the inference of new beliefs from extant beliefs but also the process of raising additional questions falls under the normative authority of logic. Accordingly, a nuanced account of the normativity of logic presents itself, which convincingly deals with problems such as clutter-avoidance and the paradox of the preface. (shrink)

In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal worlds (...) model validating precisely the same formulas (of the language in question). (shrink)

Possible worlds have found many applications in contemporary philosophy: from theories of possibility and necessity, to accounts of conditionals, to theories of mental and linguistic content, to understanding supervenience relationships, to theories of properties and propositions, among many other applications. Almost as soon as possible worlds started to be used in formal theories in logic, philosophy of language, philosophy of mind, metaphysics, and elsewhere, theorists started to wonder whether impossible worlds should be postulated as well. In many applications, possible worlds (...) face limitations that can be dealt with through postulating impossible worlds as well. This chapter examines some of the uses of impossible worlds, and philosophical challenges theories of impossible worlds face. (shrink)

According to Bi-logic theory, there are two logics operating in the mind. One is traditional logic, and the other one is called “symmetrical”, because it does not respect asymmetrical relations. Bi-logic assumes that mental processes involve combinations of both logics in different proportions. From that perspective, Michael Gilbert’s theory of Multi-Modal argumentation is discussed focusing upon emotional arguments. It is claimed that these arguments are bi-logical, that is, they contain a combination of traditional and symmetrical logics.

This volume contains 12 papers addressed to researchers and advanced students in informal logic and related fields, such as argumentation, formal logic, and communications. Among the issues discussed are attempts to rethink the nature of argument and of inference, the role of dialectical context, and the standards for evaluating inferences, and to shed light on the interfaces between informal logic and argumentation theory, rhetoric, formal logic and cognitive psychology.

Charles Sanders Peirce was one of the United States’ most original and profound thinkers, and a prolific writer. Peirce’s game theory-based approaches to the semantics and pragmatics of signs and language, to the theory of communication, and to the evolutionary emergence of signs, provide a toolkit for contemporary scholars and philosophers. Drawing on unpublished manuscripts, the book offers a rich, fresh picture of the achievements of a remarkable man.

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

O desenvolvimento da filosofia acadêmica no Brasil é direcionada, entre vários fatores, pelas investigações dos diversos Grupos de Trabalho (GTs) da Associação Nacional de Pós-Graduação em Filosofia (ANPOF). Esses GTs se dividem de acordo com a temática investigada. O GT de Metafísica Analítica é relativamente novo e ainda tem poucos membros, mas os temas nele trabalhados são variados e todos centrais no debate metafísico contemporâneo internacional. A sua investigação se caracteriza pelo rigor lógico e conceitual com o qual aborda esses (...) tradicionais tópicos da metafísica. Embora os assuntos tratados tenham sido, em sua grande maioria, tópicos abordados e discutidos em reuniões remotas do GT, nem todos os membros do nosso grupo estão aqui representados. Esperamos apresentar seus trabalhos em futuros livros. Por enquanto, queremos apenas divulgar ao público acadêmico algumas de nossas produções, trabalhadas e produzidas exclusivamente para este livro. Segundo a caracterização tradicional, com a qual plenamente concordamos, a metafísica se ocupa com a natureza mais íntima e geral da realidade. Essa metafísica é, por um lado, ambiciosa: não pretende apenas expor a realidade segundo o modo como ela se apresenta para nós, mas como ela é ‘em si mesma’. Por outro lado, ela é modesta: ela sabe da sua dívida para com as outras disciplinas, especialmente lógica, linguagem e epistemologia. Além disso, ela se entende como sempre tentativa, provisória, aberta a críticas e revisões. Neste livro, tratamos temas como as categorias ontológicas fundamentais e as suas relações de dependência e de fundamentalidade, a natureza da composição mereológica, da persistência temporal e do próprio tempo, a natureza dos objetos abstratos e dos mundos possíveis, as naturezas do mundo quântico, da causalidade nômica do mundo físico, e, finalmente, de um dos objetos mais característicos da presença humana no nosso mundo físico, que é o objeto de arte. É claro que essa coletânea está longe de apresentar exaustivamente todos os tópicos da metafísica. Tentamos selecionar e organizar os textos da forma mais fluida possível, de modo que eles possam levar tanto a uma reflexão específica quanto a uma reflexão geral sobre a natureza da realidade. Ainda que tenha uma inerente incompletude, o livro serve à finalidade de levar o/a estudante de graduação e pós-graduação a refletir sobre temas contemporâneos da Metafísica Analítica. Justamente por ter esse objetivo de formentar a pesquisa em metafísica analítica nacional, optamos por traduzir muitos termos do inglês que ainda não tem uma tradução canônica, a fim de evitar anglicismos e contribuir para uma leitura mais natural. Muito mais do que leitores complacentes, esse livro pede por leitores críticos, debatedores corajosos, que estejam dispostos a contribuir e a propor novas teorias e argumentos. Agradecemos a todos os membros do GT de Metafísica Analítica da ANPOF e a todos os autores deste livro, que decidiram apresentar publicamente suas pesquisas à academia; aos membros do Grupo de Pesquisa Investigação Filosófica, que decidiram pela publicação deste livro; à Pró-Reitoria de PósGraduação e Pesquisa da Universidade Federal do Amapá, que o financiou; e ao NEPFIL Online e à Editora da UFPel, que o editaram e publicaram. [Guido Imaguire e Rodrigo Reis Lastra Cid, Organizadores] . (shrink)

A number of philosophers deny that contradictions can be believed. Are they correct? In this note, I show that even in quite weak logics, on pain of inconsistency, if there are false beliefs, either there are propositions which are true but unbelievable or contradictions are believable. Since the antecedent clearly holds, I offer some considerations in favor of the latter disjunct. Objections and variants of the main argument are considered.

The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.

Kai Wehmeier’s Wittgensteinian Predicate Logic is a formulation of first-order logic under the exclusive interpretation of the quantifiers. W-logic has a distinguished relation constant for co-reference but no sign for objectual identity. Wehmeier denies that objectual identity exists on the grounds that it cannot be a genuine binary relation. Fortunately W-logic is equi-expressive with standard first-order logic with identity and it appears that objectual identity is dispensable across the broader logical enterprise. This paper challenges the latter claim as objectual identity (...) seems to be needed in the exclusive interpretation of quantified modal logic, specifically, for implementing certain kinds of de re quantification. (shrink)

In this paper, we present a new semantic challenge to the moral error theory. Its first component calls upon moral error theorists to deliver a deontic semantics that is consistent with the error-theoretic denial of moral truths by returning the truth-value false to all moral deontic sentences. We call this the ‘consistency challenge’ to the moral error theory. Its second component demands that error theorists explain in which way moral deontic assertions can be seen to differ in meaning despite necessarily (...) sharing the same intension. We call this the ‘triviality challenge’ to the moral error theory. Error theorists can either meet the consistency challenge or the triviality challenge, we argue, but are hard pressed to meet both. (shrink)

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences (...) of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

In this paper we design a new logical system to explicitly model the different deductive reasoning steps of a boundedly rational agent. We present an adequate system in line with experimental findings about an agent’s reasoning limitations and the cognitive effort that is involved. Inspired by Dynamic Epistemic Logic, we work with dynamic operators denoting explicit applications of inference rules in our logical language. Our models are supplemented by (a) impossible worlds (not closed under logical consequence), suitably structured according to (...) the effect of inference rules, and (b) quantitative components capturing the agent’s cognitive capacity and the cognitive costs of rules with respect to certain resources (e.g. memory, time). These ingredients allow us to avoid problematic logical closure principles, while at the same time deductive reasoning is reflected in our dynamic truth clauses. We further show that our models can be reduced to awareness-like plausibility structures that validate the same formulas and we give a sound and complete axiomatization with respect to them. This approach to the agent’s internal deductive reasoning is finally combined with actions of external information. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience within (...) a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (shrink)

Among the many possible approaches to dealing with logical omniscience, I consider here awareness and impossible worlds structures. The former approach, pioneered by Fagin and Halpern, distinguishes between implicit and explicit knowledge, and avoids logical omniscience with respect to explicit knowledge. The latter, developed by Rantala and by Hintikka, allows for the existence of logically impossible worlds to which the agents are taken to have access; since such worlds need not behave consistently, the agents’ knowledge is fallible relative to logical (...) omniscience. The two approaches are known to be equally expressive in propositional systems interpreted over Kripke semantics. In this paper I show that the two approaches are equally expressive in propositional systems interpreted over Montague-Scott (neighborhood) semantics. Furthermore, I provide predicate systems of both awareness and impossible worlds structures interpreted on neighborhood semantics and prove the two systems to be equally expressive. (shrink)

Justification logics are a family of modal logics whose non-normal modalities are parametrised by a type-theoretic calculus of terms. The first justification logic was developed by Sergei Artemov to provide an explicit modal logic for arithmetical provability in which these terms were taken to pick out proofs. But, justification logics have been given various other interpretations as well. In this paper, we will rely on an interpretation in which the modality \ is read ‘S accepts \ as justification for \’. (...) Since it is often important to specify just how much confidence agents have in propositions on the basis of justifications, the logic will need to be extended if it is to provide a sufficiently general account. The primary purpose of this paper is to extend justification logic with the expressive resources to needed to do so. Thus, we will construct the justification logic with confidence ). While \ will be extremely general, capable of accommodating a wide range of interpretations, we provide motivation in terms of the notion of confidence deriving recent work by Paul and Quiggin :363–382, 2018). Under this understanding, confidence must only correspond to a partial ordering. We axiomatise \ and provide a sound and complete semantics. (shrink)

We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.

An epistemic logic is built up on the basis of an analysis of two skeptical arguments. the method used is to first construct an inference relation appropriate to epistemic contexts and introduce "a knows that..." as an operator giving rise to sentences closed with respect to this new concept of inference. soundness and completeness proofs are provided using auxiliary three-valued valuations.

Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with these situations, where agents have only knowledge about the available information, which can be incomplete or conflicting, but not explicitly about facts. This layer of available (...) information or evidence, which is the object of the agents’ knowledge, can be seen as a database. By adopting this sceptical posture in our semantics, we prepare the ground for logics where the notion of knowledge—or more appropriately, belief—is entirely based on evidence. The technical results include a set of reduction axioms for public announcements, correspondence proofs, and a complete tableau system. In summary, our contributions are twofold: on the one hand we present an intuition and possible application for many-valued modal logics, and on the other hand we develop a logic that models the dynamics of evidence in a simple and intuitively clear fashion. (shrink)

The received view says that possibility is the dual of necessity: a proposition is (metaphysically, logically, epistemically etc.) possible iff it is not the case that its negation is (metaphysically, logically, epistemically etc., respectively) necessary. This reading is usually taken for granted by modal logicians and indeed seems plausible when dealing with logical or metaphysical possibility. But what about epistemic possibility? We argue that the dual definition of epistemic possibility in terms of epistemic necessity generates tension when reasoning about non-idealized (...) agents and is a problem of concern for most hyperintensional epistemic logics that alleviate the problem of logical omniscience. The tension is particularly evident when knowledge is taken as a primitive to define other epistemic concepts, such as justification and belief, as done in the knowledge-first tradition. We propose a non-dual interpretation of epistemic possibility, employing a hyperintensionality filter similar to the one that makes the corresponding epistemic necessity operator hyperintensional. We employ the proposed semantics to model Stalnaker's belief as epistemic possibility of knowledge and provide a sound and complete axiomatization for a hyperintensional version of his bimodal logic of knowledge and belief. (shrink)

Some accounts of mental content represent the objects of belief as structured, using entities that formally resemble the sentences used to express and report attitudes in natural language; others adopt a relatively unstructured approach, typically using sets or functions. Currently popular variants of the latter include classical and neo-classical propositionalism, which represent belief contents as sets of possible worlds and sets of centered possible worlds, respectively; and property self-ascriptionism, which employs sets of possible individuals. I argue against their contemporary proponents (...) that all three views are ineluctably plagued by generation gaps: they either overgenerate beliefs, undergenerate them, or both. (shrink)

Bradwardine’s solution to the the logical paradoxes depends on the idea that every sentence signifies many things, and its truth depends on things’ being wholly as it signifies. This idea is underpinned by his claim that a sentence signifies everything that follows from what it signifies. But the idea that signification is closed under entailment appears too strong, just as logical omniscience is unacceptable in the logic of knowledge. What is needed is a more restricted closure principle. A clue can (...) be found in speech act pluralism, whereby indirect speech reports are closed under intersubstitutivity of co-referential terms. The conclusion is that solving the semantic paradoxes does not require revision of logic, thus saving logic from paradox. (shrink)

Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this paper, (...) I present a dynamic logic of knowledge that models an agent’s epistemic state as it evolves over the course of reasoning. I show that the logic does not sacrifice logical competence on the altar of logical non- omniscience. (shrink)

One way to obtain a comprehensive semantics for various systems of modal logic is to use a general notion of non-normal world. In the present article, a general notion of modal system is considered together with a semantic framework provided by such a general notion of non-normal world. Methodologically, the main purpose of this paper is to provide a logical framework for the study of various modalities, notably prepositional attitudes. Some specific systems are studied together with semantics using non-normal worlds (...) of different kinds. (shrink)

Machine awareness is a disputed research topic, in some circles considered a crucial step in realising Artificial General Intelligence. Understanding what that is, under which conditions such feature could arise and how it can be controlled is still a matter of speculation. A more concrete object of theoretical analysis is algorithmic iteration for computational intelligence, intended as the theoretical and practical ability of algorithms to design other algorithms for actions aimed at solving well-specified tasks. We know this ability is already (...) shown by current AIs, and understanding its limits is an essential step in qualifying claims about machine awareness and Super-AI. We propose a formal translation of algorithmic iteration in a fragment of modal logic, formulate principles of transparency and faithfulness across human and machine intelligence, and consider the relevance to theoretical research on -AI as well as the practical import of our results. (shrink)

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...) and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, their definitions (...) do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non- logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)

Philosophers have found postulating possible worlds to be very useful in a number of areas, including philosophy of language and mind, logic, and metaphysics. Impossible worlds are a natural extension to this use of possible worlds, and can help resolve a number of difficulties thrown up by possible‐worlds frameworks.

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

The article outlines the prospects of using J. Hintikka’s interrogative epistemology for modelling cognitive operations carried out by a cognizing agent to create a machine capable of full cognition. It was established that modeling is divided into two objectives: modeling the cognitive operations and modeling the strategic reasoning. Interrogative epistemology presents a solution to the first objective. It relies on a game-theoretic formal apparatus that allows one to correctly describe all types of possible moves within the framework of a particular (...) cognitive game. The second objective cannot be accomplished in a general epistemological theory framework since strategic considerations about the organization of research and even the concept of knowledge inevitably depend on the broader context of an agent’s practical activity. Therefore, interrogative epistemology does not claim a universal and complete description of the process of cognition, focusing on other tasks: primarily on identifying hidden premises that cognitive agents use in their reasoning. For the same reason, interrogative epistemology deems the possibility of the existence of a cognizing machine as formally unsubstantiated and questionable. However, arguments are given in favor of the fact that interrogative epistemology serves as an acceptable conceptual framework for clarifying the nature of the difficulties that arise with attempts to accomplish the second objective and improving the quality of philosophical discourse in the field of artificial intelligence research. The author substantiates this position by arguing that the ability to cognize presupposes the ability to perform all the essential functions that are usually called mental. (shrink)

In this paper, I propose a logical-cognitive approach to argumentation and advocate an idea that argumentation presupposes that intelligent agents engaged in it are cognitively diverse. My approach to argumentation allows drawing distinctions between justification, conviction and persuasion as its different kinds. In justification agents seek to verify weak or strong coherency of an agent’s position in a dialogue. In conviction they argue to modify their partner’s position by means of demonstrating weak or strong cogency of their positions before a (...) ‘rational judge’. My approach to argumentation employs a ‘light’ version of Dung’s abstract argumentative frameworks. It is based on Stich’s idea of agents’ cognitive diversity the epistemic aspect of which is argued to be close to Pavilionis’s conception of meaning continuum. To illustrate my contributions I use an example based on the Kitchen Debate (1959) between Khrushchev and Nixon. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)