We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the original (...) proof. We then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary. (shrink)

Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other (...) logics used in describing psychological and social realities. Consequently, the imperative logic or logic of utterances constitutes an independent but not self-sufficient research topic. The logic of utterances manifests itself in its meaning effects such as deontic and bouletic ones. It can be studied only in relation to deontic logics of the hearer’s obligation and the speaker’s linguistic commitments and in relation to logics of intentionality of the speaker’s expression and the hearer’s impression. Therefore, research in logic of imperative and other utterances must include investigation of relations between logics. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. (...) On the basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

The Frege point to the effect that e.g. the clauses of conditionals are not asserted and therefore cannot be assertions is often taken to establish a dichotomy between the content of a speech act, which is propositional and belongs to logic and semantics, and its force, which belongs to pragmatics. Recently this dichotomy has been questioned by philosophers such as Peter Hanks and Francois Recanati, who propose act-theoretic accounts of propositions, argue that we can’t account for propositional unity independently (...) of the forceful acts of speakers, and respond to the Frege point by appealing to a notion of force cancellation. I argue that the notion of force cancellation is faced with a dilemma and offer an alternative response to the Frege point, which extends the act-theoretic account to logical acts such as conditionalizing or disjoining. Such higher-level acts allow us to present forceful acts while suspending commitment to them. In connecting them, a subject rather commits to an affirmation function of such acts. In contrast, the Frege point confuses a lack of commitment to what is put forward with a lack of commitment or force in what is put forward. (shrink)

One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, where the meaning of any (...) sentence is an ordered n-tupled of yes-no answers to corresponding questions. A sample of philosophical problems will be approached in order to justify the relevance of QAS. These include: (1) illocutionary forces, and the logical analysis of speech-acts; (2) the variety of logical negations, and their characterization in terms of restricted ranges of logical values; (3) change in meaning, and the use of dynamic oppositions for belief sets. (shrink)

The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's (1975) framework of First Degree (...) Entailment. Cotnoir (2015) has argued that the lattices of Priest and Garfield cannot ground the logic of the catuskoti. The concern is simple: on the one hand, FDE brings with it the failure of classical principles such as modus ponens. On the other hand, we frequently encounter Nāgārjuna using classical principles in other arguments in the MMK. There is a problem of validity. If FDE is Nāgārjuna’s logic of choice, he is facing what is commonly called the classical recapture problem: how to make sense of cases where classical principles like modus pones are valid? One cannot just add principles like modus ponens as assumptions, because in the background paraconsistent logic this does not rule out their negations. In this essay, I shall explore and critically evaluate Cotnoir’s proposal. In detail, I shall reveal that his framework suffers collapse of the kotis. Furthermore, I shall argue that the Collapse Argument has been misguided from the outset. The last chapter suggests a formulation of the catuskoti in classical Boolean Algebra, extended by the notion of an external negation as an illocutionary act. I will focus on purely formal considerations, leaving doctrinal matters to the scholarly discourse – as far as this is possible. (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)

Compound figures are a rich, and under-explored area for tackling fundamental issues in philosophy of language. This paper explores new ideas about how to explain some features of such figures. We start with an observation from Stern that in ironic-metaphor, metaphor is logically prior to irony in the structure of what is communicated. Call this thesis Logical-MPT. We argue that a speech-act-based explanation of Logical-MPT is to be preferred to a content-based explanation. To create this explanation we draw on Barker’s (...) expressivist speech-act theory, in which speech-acts build on other speech-acts to achieve the desired communicative effects. In particular, we show how Barker’s general ideas explain metaphor as an assertive-act, and irony as a ridiculing-act. We use Barker’s notion of proto-illocutionary-acts to show how metaphorical-acts and ironic-acts can build one on the other. Finally, we show that while an ironic-act can build on a metaphorical-act, a metaphorical-act cannot build on an ironic-act. This restriction on how they can be composed establishes Logical-MPT via a different route. (shrink)

What makes it the case that an utterance constitutes an illocutionary act of a given kind? This is the central question of speech-act theory. Answers to it—i.e., theories of speech acts—have proliferated. Our main goal in this chapter is to clarify the logical space into which these different theories fit. -/- We begin, in Section 1, by dividing theories of speech acts into five families, each distinguished from the others by its account of the key ingredients in illocutionary (...) acts. Are speech acts fundamentally a matter of convention or intention? Or should we instead think of them in terms of the psychological states they express, in terms of the effects that it is their function to produce, or in terms of the norms that govern them? In Section 2, we take up the highly influential idea that speech acts can be understood in terms of their effects on a conversation’s context or “score”. Part of why this idea has been so useful is that it allows speech-act theorists from the five families to engage at a level of abstraction that elides their foundational disagreements. In Section 3, we investigate some of the motivations for the traditional distinction between propositional content and illocutionary force, and some of the ways in which this distinction has been undermined by recent work. In Section 4, we survey some of the ways in which speech-act theory has been applied to issues outside semantics and pragmatics, narrowly construed. (shrink)

The analysis of multimodal argumentation in advertising is a crucial and problematic area of research. While its importance is growing in a time characterized by images and pictorial messages, the methods used for interpreting and reconstructing the structure of arguments expressed through verbal and visual means capture only isolated dimensions of this complex phenomenon. This paper intends to propose and illustrate a methodology for the reconstruction and analysis of “double-mode” arguments in advertisements, combining the instruments developed in social semiotics, pragmatics, (...) and argumentation theory. An advertisement is processed through a five-step path. The analysis of its context, text genre, and images leads to a first representation of the messages that it encodes both pictorially and verbally (step 1). These first semantic representations are further enriched by including their polyphonic articulations and presuppositions (step 2), their explicatures (step 3), and their dialogical functions and illocutionary forces (step 4). These pragmatic steps retrieve the commitment structure of the ad, which allows a further argument analysis conducted through argumentation schemes (step 5). (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

The purpose of this paper is to show how micro-argumentation mechanisms of presumptive reasoning and reasoning from best explanation can be used for explaining some cases of presupposition cancellation. It will be shown how the relationship between presupposition triggers and pragmatic presuppositions can be analyzed in terms of presumptive and non-presumptive polyphonic articulation of an utterance, resulting in different types of commitments for the interlocutors. This approach is grounded on the two interconnected notions of presumptions and commitments. In some complex (...) cases of presupposition “suspension,” the speaker presumes the hearer’s acceptance of and commitment to propositions that cannot be presumed as such, namely that do not belong to the common ground, or that have been explicitly rejected as being commonly shared. This phenomenon triggers a complex type of reasoning that can be represented as an abductive pattern, grounded on hierarchies of presumptions and aimed at providing an interpretation that solves this conflict of presumptions. Several cases of suspension of presupposition will be investigated as resulting from non-presumptive polyphonic articulations, in which different voices responsible for distinct commitments are distinguished. By indirectly reporting an element of discourse, the speaker can refuse to take responsibility for the presupposed proposition, and correct the commitments that may result for him. This polyphonic treatment of utterances shows how and why a presupposition is suspended, and identifies the conflicting presumptions that can be further solved through reasoning from best explanation. This reasoning can result in a different reconstruction of the developed logical form of utterance or of its illocutionary force. (shrink)

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles (...) and be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

Propositions are traditionally regarded as performing vital roles in theories of natural language, logic, and cognition. This chapter offers an opinionated survey of recent literature to assess whether they are still needed to perform three linguistic roles: be the meaning of a declarative sentence in a context, be what is designated by certain linguistic expressions, and be the content of illocutionary acts. After considering many of the relevant choice-points, I suggest that there remains a linguistic basis for propositions, (...) but not for some of the traditional reasons. (shrink)

In this paper I propose three steps to overcome the force-content dichotomy and dispel the Frege point. First, we should ascribe content to force indicators. Through basic assertoric and directive force indicators such as intonation, word order and mood, a subject presents its position of theoretical or practical knowledge of a state of affairs as a fact, as something that is the case, or as a goal, as something to do. Force indicators do not operate on truth- or satisfaction evaluable (...) entities as on the traditional view, but complete and unify them. Second, higher-level acts such as interrogative, logical and fictional acts create higher-level unities that may suspend commitment to the assertions and directions they operate on. But they do not cancel their force, but transfer the meaning of force indicators into the new unities they create. For example, in the context of asking a theoretical or practical question, the assertoric or directive force indicator now presents the kind of knowledge the subject is seeking. Third, the Frege point conflates different varieties of force. We neither need Frege’s assertion sign, nor Hare’s neustic, nor Hanks’s cancellation sign, but only ordinary force indicators and interrogative, logical and fictional markers. Propositions are not forceless contents to which a subject commits by forceful acts, but forceful acts put forward by higher-level acts which may suspend commitment to them. (shrink)

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain (...) respects. Specifically, I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper "Ein Redehandlungskalkül. (...) Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"; online available at http://philpapers.org/rec/CORERE.). (shrink)

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e., a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs.

Speech act theorists tend to hold that the illocutionary force of an utterance is determined by one interlocutor alone: either the speaker or the hearer. Yet experience tells us that the force of our utterances is not determined unilaterally. Rather, communication often feels collaborative. In this paper, I develop and defend a collaborative theory of illocutionary force, according to which the illocutionary force of an utterance is determined by an agreement reached by the speaker and the hearer. (...) This theory, which builds upon linguistic and sociological work on adjacency pairs and conversational interaction, can accommodate the complexity of speaker intentions (which may be disjunctive, indeterminate, and/or inconsistent over time), and renders speech act theory more compatible with theories of common ground. (shrink)

A number of philosophers have become interested in the ways that individuals are subject to harm as the performers of illocutionary acts. This paper offers an account of the underlying structure of such harms: I argue that speakers are the subjects of illocutionary harm when there is interference in the entitlement structure of their linguistic activities. This interference comes in two forms: denial and incapacitation. In cases of denial, a speaker is prevented from achieving the outcomes to which (...) they are entitled by their speech. In cases of incapacitation, a speaker’s standing to expect certain outcomes is itself undermined. I also discuss how individual speakers are subject to interference along two dimensions: as exercisers of certain non-linguistic capacities, and as producers of meaningful speech. (shrink)

Slurs are derogatory words and they are used to derogate certain groups. Theories of slurs must explain why they are derogatory words, as well as other features like independence and descriptive ineffability. This paper proposes an illocutionary force indicator theory of slurs: they are derogatory terms because their use is to perform the illocutionary act of derogation, which is a declarative illocutionary act to enforce norms against the target. For instance, calling a Chinese person “chink” is an (...) act of derogation to enforce racist norms that license exclusion of the Chinese, deny their rights to dignity, etc. The contribution of this paper is twofold. First, it offers a more comprehensive explanation of the features of slurs than earlier speech act approaches. Second, it provides a theory that is immune to the problems faced by existing theories, such as wrong predictions of truth-conditions, explaining unacceptability to non-bigots, and explaining slurs against the dominant groups. (shrink)

In this paper I consider the concept of an illocutionary rule - i.e., the rule of the form "X counts as 7 in context C" - and examine the role it plays in explaining the nature of verbal communication and the conventionality of natural languages. My aim is to find a middle ground between John R. Searle's view, according to which every conventional speech act has to be explained in terms of illocutionary rules that underlie its performance, and (...) the view held by Ruth G Millikan, who seems to suggest that the formula "X counts as Y in context C" has no application in our theorizing about human linguistic practice. I claim, namely, that the concept of an illocutionary rule is theoretically useful, though not explanatorily basic. I argue that using the formula "X counts as Y in context C" we can classify illocutionary acts by what Millikan calls their conventional outcomes, and thereby make them susceptible to naturalistic explanation. (shrink)

The twenty-first century will witness an unprecedented decline in the diversity of the world’s languages. While most philosophers will likely agree that this decline is lamentable, the question of what exactly is lost with a language has not been systematically explored in the philosophical literature. In this paper, I address this lacuna by arguing that language loss constitutes a problematic form of illocutionary silencing. When a language disappears, past and present speakers lose the ability to realize a range of (...) speech acts that can only be realized in that language. With that ability, speakers lose something in which they have a fundamental interest: their standing as fully empowered members of a linguistic community. (shrink)

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

This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in (...) a dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For (...) naturalists of all stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical (...) interpretation of the connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie (...) Plumwood's feminist argument for a relevance logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance criterion (...) is used as a tool for developing a theoretical foundation of logic, focused on a critical examination, explanation, and justification of its veridicality and modal force. (shrink)

This paper is divided into two parts. In the first part, I extend the traditional definition of lying to illocutionary acts executed by means of explicit performatives, focusing on promising. This is achieved in two steps. First, I discuss how the utterance of a sentence containing an explicit performative such as “I promise that Φ ” can count as an assertion of its content Φ . Second, I develop a general account of insincerity meant to explain under which conditions (...) a given illocutionary act can be insincere, and show how this applies to promises. I conclude that a promise to Φ is insincere (and consequently a lie) only if the speaker intends not to Φ , or believes that he will not Φ , or both. In the second part, I test the proposed definition of lying by promising against the intuitions of ordinary language speakers. The results show that, unlike alternative accounts, the proposed definition makes the correct predictions in the cases tested. Furthermore, these results challenge the following necessary conditions for telling a lie with content p: that you have to assert p directly; that you have to believe that p be false; that p must be false; that you must aim to deceive the addressee into believing that p. (shrink)

Speech acts are governed by a variety of illocutionary norms. Building on Sbisà’s (2019) work, this chapter attempts to develop a common framework to study them. Four families of illocutionary rules are identified: (i) Validity rules set conditions for (actual) performance; (ii) Cooperative rules set conditions for cooperative performance; (iii) Illocutionary goals set conditions for successful performance; (iv) Illocutionary obligations set conditions for compliance. Illocutionary rules are often taken to play a constitutive role: speech acts (...) are said to be constituted by the unique set of rules that regulates them. Against this view, it is argued that many illocutionary rules are instead best construed as rationally derivable expectations of cooperation. This alternative paradigm provides fertile ground to reconcile scholarly disagreement between speech act theorists, and yields a promising explanation of how illocutionary norms are learned and evolve through time. (shrink)

In this paper, I offer a novel analysis of logical arguments from evil. I claim that logical arguments from evil have three parts: (1) characterisation (attribution of specified attributes to God); (2) datum (a claim about evil); and (3) link (connection between attributes and evil). I argue that, while familiar logical arguments from evil are known to be unsuccessful, it remains an open question whether there are successful logical arguments from evil.

The purpose of this paper is to explore the question of how truthmaker theorists ought to think about their subject in relation to logic. Regarding logic and truthmaking, I defend the view that considerations drawn from advances in modal logic have little bearing on the legitimacy of truthmaker theory. To do so, I respond to objections Timothy Williamson has lodged against truthmaker theory. As for the logic of truthmaking, I show how the project of understanding the (...) logical features of the truthmaking relation has led to an apparent impasse. I offer a new perspective on the logic of truthmaking that both explains the problem and offers a way out. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also (...) by their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

The Logic of Analogy is a study of the valid logical forms of qualitative and quantitative analogical argument, and the rules pertaining to them. It investigates equally valid conflicting arguments, statistics-based arguments and their utility in science, arguments from precedent used in law-making or law-application, and examines subsumption in analogical terms. Included for purposes of illustration is a large section on Talmudic use of analogical reasoning.

In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological (...) interpretation. This constitutes a new proof of S4 as being "the logic of topological spaces", but now under the perspective of paraconsistency. (shrink)

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the (...) philosophy of language, logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which the systems can be interpreted on well known (...) epistemological standpoints. (shrink)

Donald Davidson contributed to the discussion of logical form in two ways. On the one hand, he made several influential suggestions on how to give the logical forms of certain constructions of natural language. His account of adverbial modification and so called action-sentences is nowadays, in some form or other, widely employed in linguistics (Harman (forthcoming) calls it "the standard view"). Davidson's approaches to indirect discourse and quotation, while not as influential, also still attract attention today. On the other hand, (...) Davidson provided a general account of what logical form is. This paper is concerned with this general account. Its foremost aim is to give a faithful and detailed picture of what, according to Davidson, it means to give the logical form of a sentence. The structure of the paper is as follows. (1) I will first informally introduce a notion of logical form as the form that matters in certain kinds of entailments, and indicate why philosophers have taken an interest in such a notion. (2) The second section develops constraints that we should arguably abide by in giving an account of logical form. (3) I then turn to Davidson’s view of what is involved in giving such an account. To this end, I will try to reconstruct Davidson’s view of the connection between an assignment of logical forms, a truth theory and a meaning theory. (4) Finally, I will briefly discuss possible problems of Davidson’s account as developed in this paper. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...) of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

Overview of fundamental work in deontic logic.

Many philosophers take purportedly logical cases of ground ) to be obvious cases, and indeed such cases have been used to motivate the existence of and importance of ground. I argue against this. I do so by motivating two kinds of semantic determination relations. Intuitions of logical ground track these semantic relations. Moreover, our knowledge of semantics for first order logic can explain why we have such intuitions. And, I argue, neither semantic relation can be a species of ground (...) even on a quite broad conception of what ground is. Hence, without a positive argument for taking so-called ‘logical ground’ to be something distinct from a semantic determination relation, we should cease treating logical cases as cases of ground. (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)

This chapter intervenes in recent debates in Kant scholarship about the possibility of a general logical alien. Such an alien is a thinker whose laws of thinking violate ours. She is third-personal as she is radically unlike us. Proponents of the constitutive reading of Kant’s conception of general logic accordingly suggest that Kant rules out the possibility of such an alien as unthinkable. I add to this an often-overlooked element in Kant’s thinking: there is reason to think that he (...) grants—and in fact presupposes—the possibility of a transcendental logical alien. Such an alien is a knower whose laws of experience purport to violate ours. She is first-personal as she is radically like us. In other words, she is us, insofar as we are alienated from ourselves and our experience. I go on to draw an analogy between her, a dogmatist, and another transcendental alien, an evil agent. Just as a dogmatist is alienated from her (our) experiential laws, an evil agent is alienated from her (our) moral law. These forms of theoretical and practical self-conceit require self-knowledge in the form of a critique of speculative or practical reason. In bringing this point out, I aim to shift from the question of whether logical laws constitute our thinking to the question of whether grasping our experiential and moral laws as our laws constitutes our reason. (shrink)

This paper introduces a novel strategy for responding to skeptical arguments based on the epistemic possibility of error or lack of certainty. I show that a nonclassical logic motivated by recent work on epistemic modals can be used to render such skeptical arguments invalid. That is, one can grant that knowledge is incompatible with the possibility of error and grant that error is possible, all while avoiding the skeptic’s conclusion that we lack knowledge.

I address a type of circularity threat that arises for the view that we employ general basic logical principles in deductive reasoning. This type of threat has been used to argue that whatever knowing such principles is, it cannot be a fully cognitive or propositional state, otherwise deductive reasoning would not be possible. I look at two versions of the circularity threat and answer them in a way that both challenges the view that we need to apply general logical principles (...) in deductive reasoning and defuses the threat to a cognitivist account of knowing basic logical principles. (shrink)