This is a formal and systematic study of the logical foundations of speech act theory. The study of speech acts has been a flourishing branch of the philosophy of language and linguistics over the last two decades, and John Searle has of course himself made some of the most notable contributions to that study in the sequence of books Speech Acts, Expression and Meaning and Intentionality. In collaboration with Daniel Vanderveken he now presents the first formalised logic of a general (...) theory of speech acts, dealing with such things as the nature of an illocutionary force, the logical form of its components, and the conditions of success of elementary illocutionary acts. The central chapters present a systematic exposition of the axioms and general laws of illocutionary logic. (shrink)

The primary units of meaning in the use and comprehension of language are speech acts of the type called illocutionary acts. In Foundations of Illocutionary Logic John Searle and Daniel Vanderveken presented the first formalized logic of a general theory of speech acts. In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of natural languages. Volume I, Principles of Language Use, explains the general principles (...) that connect meaning, reason, thought and speech acts in the semantic structure of language. It presupposes no detailed knowledge of logical formalism, and will be accessible to a large readership of students and scholars from philosophy, lingustics, cognitive psychology and computer science. Volume II, Formal Semantics of Success and Satisfaction uses the resources of philosophical and mathematical logics to develop a formalization of the laws of the semantic theory advanced in Volume I. It will be of interest to theoretical linguists and those involved in mathematical logic and artificial intelligence. (shrink)

The primary units of meaning in the use and comprehension of language are speech acts of the type called illocutionary acts. In Foundations of Illocutionary Logic John Searle and Daniel Vanderveken presented the first formalized logic of a general theory of speech acts. In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of natural languages. Volume I, Principles of Language Use, explains the general principles (...) that connect meaning, reason, thought and speech acts in the semantic structure of language. It presupposes no detailed knowledge of logical formalism, and will be accessible to a large readership of students and scholars from philosophy, lingustics, cognitive psychology and computer science. Volume II, Formal Semantics of Success and Satisfaction uses the resources of philosophical and mathematical logics to develop a formalization of the laws of the semantic theory advanced in Volume I. It will be of interest to theoretical linguists and those involved in mathematical logic and artificial intelligence. (shrink)

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general modeltheoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or (...) preparatory conditions. According to standard logic of attitudes , human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode. (shrink)

Contemporary philosophers have overall studied intentional actions that agents attempt to perform in the world. However, logicians of action have tended to neglect the intentionality proper to human action. I will present here the basic principles and laws of a logic of action where intentional actions are primary as in contemporary philosophy of action. In my view, any action that an agent performs unintentionally could in principle have been attempted. Moreover any unintentional action of an agent is an effect of (...) intentional actions of that agent. So my logic of action contains a theory of attempts. As Belnap pointed out, action, branching time and historic modalities are logically related. There is the liberty of voluntary action. I will then work out a logic of action that is compatible with indeterminism. In classical philosophical logic, propositions with the same truth-conditions are identified. However it is clear that strictly equivalent propositions are not the contents of the same attitudes of human agents. For that reason I will first present a non-classical propositional logic capable of distinguishing the contents of intentional actions which are different. Next I will enrich earlier logics of action so as to characterize adequately intentional actions, attempts and purposes of agents and the different kinds of generation of action. I will state the basic laws of agentive commitment and action generation. (shrink)

Our purpose is to formulate a complete logic of propositions that takes into account the fact that propositions are both senses provided with truth values and contents of conceptual thoughts. In our formalization, propositions are more complex entities than simple functions from possible worlds into truth values. They have a structure of constituents (a content) in addition to truth conditions. The formalization is adequate for the purposes of the logic of speech acts. It imposes a stronger criterion of propositional identity (...) than strict equivalence. Two propositions P and Q are identical if and only if, for any illocutionary force F, it is not possible to perform with success a speech act of the form F(P) without also performing with success a speech act of the form F(Q). Unlike hyperintensional logic, our logic of propositions is compatible with the classical Boolean laws of propositional identity such as the symmetry and the associativity of conjunction and the reduction of double negation. (shrink)

ABSTRACT: In the search for a more fine-grained criterion of propositional identity in order to provide an adequate analysis of sense and thought, I propose a revision of the ontology of the Frege and Church theory of types of sense and denotation, and I set up a natural predicative propositional logic that explains their logical form in terms of acts of predication. I also define a more subjective notion of truth according to an agent and a new strong propositional implication. (...) The intensional logic thus set forth explains why human agents possess a minimal rationality. I conclude by proposing a new axiomatisation of a minimal epistemic logic. (shrink)

W artykule analizuje się pojęcie „proposition" (sądu w sensie logicznym) wprowadzone w pracy D. Vandervekena "What is a Proposition", stosując metody algebraiczne. Analiza ta umożliwia głębsze zrozumienie tego pojęcia, prowadzi m.in. do uogólnienia pojęcia „mocnej implikacji" (§5), jej głównym rezultatem jest pewna reprezentacja pojęcia „proposition” (§ 6).

La philosophie analytique contemporaine reste confinée à quelques attitudes paradigmatiques: croyance, savoir, désir et intention. Comment élaborer une théorie plus générale des attitudes? Descartes dans Les passions de l’âme analyse les attitudes en termes de croyances et de désirs. Selon mon analyse, les modes psychologiques ont d’autres composantes que leur catégorie de base cartésienne de cognition ou de volition. Les modes d’attitudes comme l’attente, le savoir et l’intention ont une façon propre de croire ou de désirer, des conditions propres sur (...) leur contenu propositionnel ou des conditions préparatoires particulières. Grâce à pareilles composantes je définirai récursivement l’ensemble de tous les modes psycho­logiques possibles d’attitudes propositionnelles. Comme Descartes l’avait anticipé, les deux modes de croyance et de désir sont primitifs. Les autres modes plus complexes sont obtenus en leur ajoutant des composantes nouvelles. De par leur nature, les attitudes, qui sont dirigées vers des objets et faits du monde, ont des conditions de possession et de satisfaction. Les croyances sont satisfaites quand elles sont vraies et les désirs quand ils sont réalisés. Quiconque possède une attitude est dans un certain état mental: il représente comment les choses doivent être dans le monde pour que son attitude soit satisfaite. Le but principal de cet article est d’analyser systématiquement les conditions de possession et de satisfaction des diffé­rences espèces d’attitudes individuelles des agents humains, qu’il s’agisse des attitudes propositionnelles, des sommes d’attitudes comme le doute, des dénégations d’attitudes comme le mécontentement et des attitudes conditionnelles comme l’intention de vendre en cas d’offre inté­ressante. J’utiliserai les ressources d’une théorie de la vérité selon la prédi­cation qui distingue les propositions ayant les mêmes conditions de vérité mais différentes valeurs cognitives. Je traiterai logiquement des possibilités aussi bien subjectives qu’objectives afin d’expliquer pourquoi les agents hu­mains qui sont parfois incohérents restent toujours minima­lement rationnels. (shrink)

The primary units of meaning in the use and comprehension of language are speech acts of the type called illocutionary acts. In Foundations of Illocutionary Logic John Searle and Daniel Vanderveken presented the first formalised logic of a general theory of speech acts. In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of natural languages. Volume I, Principles of Language Use, explains the general principles (...) that connect meaning, reason, thought and speech acts in the semantic structure of language. It presupposes no detailed knowledge of logical formalism, and will be accessible to a large readership of students and scholars from philosophy, linguistics, cognitive psychology and computer science. Volume II, Formal Semantics of Success and Satisfaction, uses the resources of philosophical and mathematical logics to develop a formalisation of the laws of the semantic theory advanced in Volume I. It will be of interest to theoretical linguists and those involved in mathematical logic and artificial intelligence. (shrink)

Pourrait-on enrichir la théorie des actes de langage pour traiter du discours? Wittgenstein et Searle ont signalé des difficultés. Beaucoup de discours n’ont pas de but conversationnel, leur arrière-plan est indéfiniment ouvert, ils contiennent des énonciations dépourvues de pertinence et de félicité, et ainsi de suite. À mes yeux, l’objectif principal de la pragmatique du discours est d’analyser la structure et la dynamique des jeux de langage à but conversationnel. Pareils jeux de langage sont indispensables à tout genre de discours. (...) La logique peut analyser leurs conditions de félicité car leur poursuite obéit à des règles constitutives. Beaucoup d’énonciations ne sont pas littérales ou sérieuses. Les unités de la conversation sont les actes illocutoires tentés, qu’ils soient littéraux, sérieux ou non. Comme Montague, je préconise l’usage de formalismes logiques en pragmatique. J’expliquerai comment il convient de réviser et développer les logiques intensionnelle et illocutoire, la logique des attitudes et de l’action afin de modéliser notre capacité de dialoguer. Je comparerai mon approche à d’autres sur le plan de la méthodologie, des hypothèses et des enjeux.Could we enrich speech-act theory to deal with discourse? Wittgenstein and Searle pointed out difficulties. Most dialogues lack a conversational purpose, their background is indefinitely open, they contain irrelevant and infelicitous utterances, etc. In my view, the primary aim of discourse pragmatics is to analyze the structure and dynamics of language-games whose type is provided with an internal conversational goal. Such games are indispensable to any kind of discourse. Logic can analyze their felicity-conditions because they are conducted according to systems of constitutive rules. Speakers often speak non-literally or non-seriously. The units of conversation are attempted illocutions whether literal, serious or not. I will show how to construct speaker-meaning from sentence-meaning, conversational background and maxims. Like Montague, I believe that we need the resources of formalisms and of logic in pragmatics. I will explain how to further develop intensional and illocutionary logics, the logic of attitudes and of action in order to characterize our ability to converse. I will compare my approach to others as regards hypotheses, methodology and issues. (shrink)

Are there universal transcendent features that any natural language must possess in order to provide for its human speakers adequate means of expression and of communication of their conceptual thoughts? As Frege, Austin and Searle pointed out, complete speech acts of the type called illocutionary acts, and not isolated propositions, are the primary units of meaning in the use and comprehension of language. Thus it is in the very performance of illocutionary acts that speakers express and communicate their thoughts. For (...) this reason, speech act theory contributes to the theory of linguistic universals in formulating the necessary and universal laws governing the successful performance and satisfaction of illocutionary acts in language use and comprehension. I will argue that the logical form of illocutionary acts imposes certain formal constraints on the logical structure of a possible natural language as well as on the mind of competent speakers. In particular, certain syntactic, semantic and pragmatic features are universal because they are indispensable. Moreover, in order to perform and understand illocutionary acts, competent speakers and hearers must have certain mental states and abilities which are in general traditionally related to the faculty of reason.Há características transcendentes universais que qualquer linguagem natural tem que possuir para fornecer meios adequados de expressão e de comunicação de pensamentos conceituais aos seus falantes humanos? Como Frege, Austin e Searle mostraram, atos de fala completos do tipo denominado atos ilocucionários, e não proposições isoladas, são as unidades primárias de significado no uso e compreensão da linguagem. Assim, é no exato desempenho dos atos ilocucionários que os falantes expressam e comunicam os seus pensamentos. Por esta razão, a teoria dos atos de fala contribui para a teoria dos universais lingüísticos, formulando as leis necessárias e universais que governam o desempenho bem-sucedido e a satisfação dos atos ilocucionários no uso e compreensão da linguagem. Eu argumentarei que a forma lógica dos atos ilocucionários impõe certas restrições formais na estrutura lógica de uma possível linguagem natural como também na mente de falantes competentes. Em particular, certos aspectos sintáticos, semânticos e pragmáticos são universais porque eles são indispensáveis. Além disso, a fim de desempenhar e entender os atos ilocucionários, os falantes e ouvintes competentes têm que ter certos estados mentais e habilidades que estão, em geral, tradicionalmente relacionadas à faculdade de razão. (shrink)

I will argue that the logical form of illocutionary acts imposes certain formal constraints on the logical structure of a possible natural language as well as on the mind of competent speakers. In particular, certain syntactic, semantic and pragmatic features are universal because they are indispensable. Moreover, in order to perform and understand illocutionary acts, competent speakers and hearers must have certain mental states and abilities which are in general traditionally related to the faculty of reason. (edited).