The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, (...) and different approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, (...) and pragmatics. The theory is formalized on two levels: token-level and type-level. As such, it takes into account the dual – token and type – ontological character of linguistic entities. The basic notions of the theory: language communication, meaning and interpretation are introduced on the second, type-level of formalization, and their required prior formalization of some of the notions introduced on the first, token-level; among others, the notion of an act of communication. Owing to the theory, it is possible to address the problems of adequacy of both empirical acts of communication and of language communication in general. All the conditions of adequacy of communication discussed in the presented paper, are valid for one-way communication (sender-recipient); nevertheless, they can also apply to the reverse direction of language communication (recipient-sender). Therefore, they concern the problem of two-way understanding in language communication. (shrink)

Introduction. PHilosophy of Language and Linguistics: The Formal Turn Piotr Stalmaszczyk Gottlob Frege, Philosophy of Language, and Predication Piotr Stalmaszczyk Philosophy, Linguistics and Semantic Interpretation Christian Bassac An Unresolved Issue: Nonsense in Natural Language and Non-Classical Logical and Semantic Systems Elzbieta Chrzanowska-Kluczewska Varieties of Context-Dependence Tadeusz Ciecierski The Logos of Semantic Structure Marie Du í, Bjørn Jespersen and Pavel Materna The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data Chris Fox The (...) Meaning of Multiple Quantified Sentences: Where Formal Semantics Meets Psycholinguistics Justyna Grudzinska The Hybrid Theory of Reference for Proper Names Filip Kawczynski On the Nature of Statistical Language Laws Agnieszka Kulacka Vagueness and Contextualism Joanna Odrowaz-Sypniewska The Myth of Semantic Structure Jaroslav Peregrin Scalar Implicatures, Communication and Language Evolution Salvatore Pistoia Reda Semantics and Contextuality: The Case of Pia s Leaves Stefano Predelli Is Logico-Semantical Analysis of Natural Language Expressions a Translation? Jirí Raclavský Beyond the Fregean Myth: The Value of Logical Values Fabien Schang Modal Calculus of Illocutionary Logic Andrew Schumann Subjectivity in Philosophy and Linguistics Barbara Sonnenhauser Asymmetrical Semantics Mieszko Talasiewicz Truth: An Anti-realist Adequacy Condition Luca Tranchini Belief Reports: Defaults, Intentions and Scorekeeping Giacomo Turbanti On Truth in Time Bartosz Wieckowski Order William J. SUllivan Indexes. (shrink)

In their book Commitment in Dialogue, Walton and Krabbe claim that formal dialogue systems for conversational argumentation are “not very realistic and not easy to apply”. This difficulty may make argumentation theory less well adapted to be employed to describe or analyse actual argumentation practice. On the other hand, the empirical study of real-life arguments may miss or ignore insights of more than the two millennia of the development of philosophy of language, rhetoric, and argumentation theory. (...) In this paper, we propose a novel methodology for adapting such theories to serve as applicable tools in the study of argumentation phenomena. Our approach is both theoretically-informed and empirically-grounded in large-scale corpus analysis. The area of interest are appeals to ethos, the character of the speaker, building upon Aristotle’s rhetoric. Ethotic techniques are used to influence the hearers through the communication, where speakers might establish, but also emphasise, weaken or undermine their own or others’ credibility and trustworthiness. Specifically, we apply our method to Aristotelian theory of ethos elements which identifies practical wisdom, moral virtue and goodwill as components of speakers’ character, which can be supported or attacked. The challenges we identified in this case and the solutions we proposed allow us to formulate general guidelines of how to exploit rich theoretical frameworks to the analysis of the practice of language use. (shrink)

This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. This book characterizes a notion of type that covers both linguistic and non-linguistic action, and lays the foundations for a theory of action based on a Theory of Types with Records (TTR). Robin Cooper argues that a theory (...) of language based on action allows the adoption of a perspective on linguistic content that is centred on interaction in dialogue; this approach is crucially different to the traditional view of natural languages as essentially similar to formal languages such as logics developed by philosophers or mathematicians. At the same time, he claims that the substantial technical advantages made by the formal language view of semantics can be incorporated into the action-based view, and that this can lead to important improvements in both intuitive understanding and empirical coverage. This enterprise uses types rather than possible worlds as commonly employed in studies of the semantics of natural language. Types are more tractable than possible worlds and offer greater potential for understanding the implementation of semantics both on machines and in biological brains. (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)

Starting with Gottlob Frege's foundational theories of sense and reference, Miller provides a useful introduction to the formal logic used in all subsequent philosophy of language. He communicates a sense of active philosophical debate by confronting the views of the early theorists concerned with building systematic theories - such as Frege, Bertrand Russell, and the logical positivists - with the attacks mounted by sceptics - such as W.O. Quine, Saul Kripke, and Ludwig Wittgenstein. This leads to important (...) excursions into related areas of metaphysics, philosophy of mind, and cognitive science that present the more recent attempts to save the notions of sense and meaning by philosophers such as Paul Grice, John Searle, Jerry Fodor, Colin McGinn, and Crispin Wright. Miller then returns to the systematic program by examining the formal theories of Donald Davidson, concluding with a chapter surveying the relevance of philosophy of language to the broader metaphysical debates between realists and anti-realists. Miller's clear, engaged, and coherently structured approach makes Philosophy of Language an ideal text for undergraduate courses. The guides to further reading provided in each chapter help the reader pursue interesting topics further and facilitate using the book in conjunction with primary sources. (shrink)

Many philosophers have attempted to offer a logical theory of objects, employing different techniques. Thus R. Carnap tried to “reconstruct” logically the world by using the modern symbolic logic, while N. Goodman “constructed” the world with the help of the calculus of individuals or the logic of part-whole relations. W.V. Quine helped to steer the attention toward the question of ontological commitment and toward a theory of objects produced by a logical analysis of natural languages. Recently, (...) there have been controversial discussions concerning the metaphysical and logical aspects of objects in actual and possible worlds as well as new contributions to the theory of nonexistent objects, rekindling the old Russell-Meinong controversy. It seems that even the proposed theories of events, such as that of R. M. Martin, maintain the great significance of the notion of an object. Then there is a plethora of the so-called intensional objects, such as the alleged objects of propositional attitudes, the story of which is tied with the names of Frege, Russell, Carnap and many others. Is it possible to give an all-embracing theory of objects which would satisfy all the parties involved? Although such possibility may be very questionable, the instrumental role of logic for the development of the metaphysical theories of objects is indisputable. Two factors are, however, involved in the constitution of a logical theory of objects: the basis or the given data from which the theory starts; the logical apparatus employed, i.e., the logical axioms and rules of inference, just as the relevant semantical rules which are formulated in the metalanguage. While the logical apparatus is usually very clear, at least in the case of the formally well-construed theories, the given basis of a metaphysical theory T—as we may call it—might contain many tacit assumptions which would need a lot of clarification. It seems that philosophers fight more about the presuppositions and assertions of their systems than about the logic involved. I would like to discuss the interplay between the above two factors, starting with the realm of the given objects. As to the second factor—the logical apparatus involved—the contributions of first-order predicate logic and of the calculus of individuals will be considered. (shrink)

Is medieval logic formal? And if yes, in what sense? There are striking affinities between medieval and contemporary theories of language. Authors from the two periods share formal ambitions and maintain complex, and at time uneasy, relations with natural language. However, modern scholars became careful not to overlook the specificities of theories developed more than five hundred years apart, in particular with respect to their 'formal' character. In 1972, Alfonso Maieru noted that the efforts of (...) medieval logicians to identify logical structures in language formal enough to become objects of scientific consideration. He also stressed that the language investigated is a historical one, Latin, so that one can legitimately wonder to which extent... one is allowed to speak of 'formal logic' in the middle ages. In other words, medieval logic is characterized by a tension between 'formalist ambitions' and constraints proper to natural language. Today, our knowledge of the field has considerably expanded, calling for a new assessment of the question. (shrink)

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...

Theory of Computation -- Computation by Abstracts Devices.

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific (...) theories. The book describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes’ set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science. (shrink)

When we speak, we mean more than we say. In this book Stephen C. Levinson explains some general processes that underlie presumptions in communication.

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued (...) that for a logical constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

In this book, Livingston develops the political implications of formal results obtained over the course of the twentieth century in set theory, metalogic, and computational theory. He argues that the results achieved by thinkers such as Cantor, Russell, Godel, Turing, and Cohen, even when they suggest inherent paradoxes and limitations to the structuring capacities of language or symbolic thought, have far-reaching implications for understanding the nature of political communities and their development and transformation. Alain Badiou's analysis (...) of logical-mathematical structures forms the backbone of his comprehensive and provocative theory of ontology, politics, and the possibilities of radical change. Through interpretive readings of Badiou's work as well as the texts of Giorgio Agamben, Jacques Lacan, Jacques Derrida, Gilles Deleuze, and Ludwig Wittgenstein, Livingston develops a formally based taxonomy of critical positions on the nature and structure of political communities. These readings, along with readings of Parmenides and Plato, show how the formal results can transfigure two interrelated and ancient problems of the One and the Many: the problem of the relationship of a Form or Idea to the many of its participants, and the problem of the relationship of a social whole to its many constituents. (shrink)

This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal (...) non-homogeneous version of a type theory, in which we show the embedding of the modal operators into standard group knowledge operators. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories (...) of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

This book is intended to challenge Frege's Begriffsschrift as the foundation of philosophical work which either uses formal methods or is inspired by them s it attempts the synthesis of the antithetical ideas associated with Wittgenstein, the Picture-Theory, and the language-game conceived as the untimate level of explanation.

The main goal of this paper is to outline a general formal-logical theory of language construed as a particular ontological being. The theory itself will be referred to as an ontology of language, because it is motivated by the fact that language plays a special role: it reflects ontology, and ontology reflects the world. Linguistic expressions will be regarded as having a dual ontological status: they are to be understood as either concreta – (...) i.e. tokens, in the sense of material, physical objects – or types, in the sense of classes of tokens – i.e. abstract objects. Such a duality will then be taken into account in the logical theory of syntax, semantics and pragmatics presented here. We point to the possibility of constructing the latter on two different levels, one stemming from concreta, construed as linguistic tokens of expressions, the other from their classes – namely types, conceived as abstract, ideal beings. The aim of this work is not only to outline such a theory with respect to the dual ontological nature of the expressions of language in terms that take into account a functional approach to language itself, but also to show that the logic based on it is ontologically neutral in the sense that it is abstracted from the level at which certain existential assumptions relating to the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects) would have to be embraced. (shrink)

In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’ mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide logical definitions of all but two of their 22 emotions. While these definitions may be subject (...) to debate, we show that they allow to reason about emotions and to draw interesting conclusions from the theory. (shrink)

This is a review of From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, written by Hans Kamp and Uwe Reyle and published by Kluwer Academic Publishers in 1993.

Habermas absorb and integrate the achievements of contemporary philosophy of language, formed their own philosophy of language - in the form of pragmatics. This theory of speech acts by the meaning of the effectiveness of its intrinsic correlation between the demands of the analysis, pointed out the significance of speech acts only in the order presented in communicative action. Interpretation of speech acts in the ultimate source of the problem, Habermas introduces Husserl's "life-world" theory, and it (...) was the transformation of the form of pragmatics. Form pragmatics of life-world theory digestion of Husserl's life-world theory, a priori, while broadening the theory of Weber's rationalization of the behavior of sight. Habermas has absorbed and integrated many kinds of contemporary philosophy of language and constituted his own one, which is named formal linguistics. By analyzing the internal connection between the meaning of speech act and its validity claims, Habermas has emphasized that the meaning of speech act can be only demonstrated in communicative action. In the final analysis to the origin of meaning of speech act, he introduces Husserl's theory of lifeworld and reformulates it from the point of the formal linguistics. Habermas' theory of lifeworld removes the transcendental element existing in Husserl's theory , it enlarges Weber's theoretical horizon on rationalization of action at the same time. (shrink)

Is medieval logic formal? And if yes, in what sense? There are striking affinities between medieval and contemporary theories of language. Authors from the two periods share formal ambitions and maintain complex, and at time uneasy, relations with natural language. However, modern scholars became careful not to overlook the specificities of theories developed more than five hundred years apart, in particular with respect to their 'formal' character. In 1972, Alfonso Maieru noted that the efforts of (...) medieval logicians to identify logical structures in language which are formal enough to become objects of scientific consideration. He also stressed that the language investigated is a historical one, Latin, so that one can legitimately wonder to which extent... one is allowed to speak of 'formal logic' in the middle ages. In other words, medieval logic is characterized by a tension between 'formalist ambitions' and constraints proper to natural language. Today, our knowledge of the field has considerably expanded, calling for a new assessment of the question. (shrink)

First published in 1992, this book evokes Pandora and Occam as metaphoric corner posts in an argument about language as discourse and in doing so, brings analytic philosophy to bear on issues of Continental philosophy, with attention to linguistic, semiological, and semiotic concerns. Instead of regarding meanings as guaranteed by definitions, the author argues that linguistic expressions are schemata directing us more or less loosely toward the activation of nonlinguistic sign systems. Ruthrof draws up a heuristic hierarchy of discourses, (...) with literary expression at the top, descending through communication-reduced reference and speech acts to formal logic and digital communication at the bottom. The book offers multiple perspectives from which to review traditional theories of meaning, working from a wide variety of theorists, including Peirce, Frege, Husserl, Derrida, Lyotard, Davidson, and Searle. In Ruthrof's analysis, Pandora and Occam illustrate the opposition between the suppressed rich materiality of culturally saturated discourse and the stark ideality of formal sign systems. This book will be of interest to those studying linguistics, literature and philosophy. (shrink)

The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, (...) physical objects, or types – classes of tokens, which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects). (shrink)

Dialogue theory, although it has ancient roots, was put forward in the 1970s in logic as astructure that can be useful for helping to evaluate argumentation and informal fallacies.Recently, however, it has been taken up as a broader subject of investigation in computerscience. This paper surveys both the historical and philosophical background of dialoguetheory and the latest research initiatives on dialogue theory in computer science. The main components of dialogue theory are briefly explained. Included is a classification (...) of the main types of dialogue that, it is argued, should provide the central focus for studying many important dialogue contexts in specific cases. Following these three surveys, a concluding prediction is made about the direction dialogue theory is likely to take in the next century, especially in relation to the growing field of communication studies. (shrink)

On the face of it, Plato’s dialogue the Cratylus has a clear and narrowly linguistic subject matter, specifically, the debate between conventionalism and naturalism in the theory of meaning. But why should this topic be of sufficient interest to Plato to warrant an entire dialogue? What philosophically was at stake for him in these seemingly recherché questions about language? I argue that at least one major motivation is a defense of Platonistic epistemology and, in particular, Plato’s Theory (...) of Recollection. Specifically, I argue that conventionalism and naturalism pose alternative responses to a certain version of the paradox of analysis. If either is correct, Plato’s own solution to the paradox – the Theory of Recollection – will not be adequately motivated. If, however, neither conventionalism nor naturalism can plausibly avoid the paradox, the Theory of Recollection will still be needed. (shrink)

In this, the second of two articles outlining a theory of communicative competence, the author questions the ability of Chomsky's account of linguistic competence to fulfil the requirements of such a theory. ?Linguistic competence? for Chomsky means the mastery of an abstract system of rules, based on an innate language apparatus. The model by which communication is understood on this account contains three implicit assumptions, here called ?monologism?, ?a priorism?, and ?elementarism?. The author offers an outline (...) of a theory of communicative competence that is based on the negations of these assumptions. In opposing the first two assumptions he introduces distinctions, respectively, between semantic universals which process experiences and those that make such processing possible, and between semantic universals which precede all socialization and those that are linked to the conditions of potential socialization. Against elementarism, he argues that the semantic content of all possible natural languages does not consist of combinations of a finite number of meaning components. Differences in systems of classification preclude this, and such differences can be seen to infect all respects of intercultural comparison. Using the notion of ?performative utterance?, the author elucidates the role of dialogue?constitutive universals as part of the formal apparatus required of a?; speaker's capacity to communicate. He then notes what would be required of a general semantics based on a theory of communicative competence; and finally points out how this theory might be used for social analysis. (shrink)

Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language (...) and natural science. This is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields real-valued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense. (shrink)

In this textbook on elementary logic the authors present a rigorous treatment of first the propositional, and then the predicate calculi. The first two chapters deal with the former topic exclusively: there is much emphasis on translation of ordinary-language sentences into logic and testing their validity; also a proof notation consisting of nested boxes, similar to the Fitch subproof technique, is introduced and used. The third and fourth chapters are concerned with quantification theory in application to language (...) analysis; the next chapter discusses more theoretical topics including a proof procedure for formulae in prenex normal form and decision procedures for restricted classes of such formulae. Identity is treated next, with the following chapter on definite descriptions. The eighth chapter is more formal in approach and has as its subject the abstract approach to logical systems: the notion of the extension of a theory is introduced at this stage; two examples of formal theories—the theory of commutative ordered fields, and that of real numbers—are presented and come under extensive elaboration. The last chapter discusses variable-binding operations and presents the theory of convergence of series as an example of such a theory with these operations. Each chapter has numerous exercises, and most have historical remarks and lists of theorems of that chapter.—P. J. M. (shrink)

_Formal Logic_ is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book’s nine chapters offer thorough coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic. Complex ideas are explained in plain language that doesn’t presuppose any background in logic or mathematics, and derivation strategies are illustrated with numerous examples. Translations, tables, trees, natural deduction, and simple meta-proofs are taught through (...) over 400 exercises. A companion website offers supplemental practice software and tutorial videos. (shrink)

According to the received view formal semantics applies to natural language to some extent only. It is so because natural language is inherently indefinite, in particular, its expressions are ambiguous, vague and admits departures from syntactic rule. Moreover, intensional contexts occur in ordinary language—it results in limitations of the principle of compositionality. The ordinary conversation appeals to various principles, for instance, Grice’s maxims which exceed logical formalism. Thus, ordinary language cannot be fully formalized. On (...) the other hand, if L is a formal language, its metalanguage ML, must be partially informal—for instance, it contains, terms of ordinary mathematics, especially set theory. Even, if, for instance, due to the technique of aritmetization, ML can be represented in L, such a representation is only local. In fact, this view can be derived from some Tarski’s remarks on the role played by natural language. It is usually assumed that the universality of natural language, is the source of troubles associated with antinomies. It is so this circumstance requires a solution, for example by distinguishing levels of language. However, even if antinomies are excluded, what is informal is prior with respect to what is formal. It shows that formal semantics has limitations even with respect to formalized languages. (shrink)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches to (...) cooperation, multi-agent planning, communication, coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved. Here, instead, we propose to compare axiomatizations according to the language used for expressing the axioms. In order to carry out such a comparison, we suggest a formalist approach to axiomatization results which uses a restricted formal logical language to express axioms. Axiomatic characterization results in social choice theory then (...) turn into definability results of formal logic. The advantages of this approach include the possibility of non-axiomatizability results, a distinction between absolute and relative axiomatizations, and the possibility to ask how rich a language needs to be to express certain axioms. We argue for formal minimalism, i.e., for favoring axiomatizations in the weakest language possible. (shrink)

In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various (...) sources of the general concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual, are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics. (shrink)

In 1962 a mimeographed sheet of paper fell into my possession. It had been prepared by Ernest Adams of the Philosophy Department at Berkeley as a handout for a colloquim. Headed 'SOME FALLACIES OF FORMAL LOGIC' it simply listed eleven little pieces of reasoning, all in ordinary English, and all absurd. I still have the sheet, and quote a couple of the arguments here to give the idea. • If you throw switch S and switch T, the motor will (...) start. There fore, either if you throw switch S the motor will start, or, if you throw switch T the motor will start. • It is not the case that if John passes history he will graduate. Therefore, John will pass history. The disconcerting thing about these inferences is, of course, that under the customary truth-functional interpretation of and, or, not, and if-then, they are supposed to be valid. What, if anything, is wrong? At first I was not disturbed by the examples. Having at that time consider able personal commitment to rationality in general and formal logic in par ticular, I felt it my duty and found myself easily able (or so I thought) to explain away most of them. But on reflection I had to admit that my expla nations had an ad hoc character, varying suspiciously from example to example. (shrink)

I offer a theory of advice. The theory has two parts: an account of the nature of advice, and an account of the quality of advice. In Sect. 2 I defend this definition: Advice: P advises R to X iff P communicates about X-ing to R in a manner that intentionally presents X-ing as worth reasoning to by R. In Sect. 4, I defend a tripartite account of the quality of advice: the standards relevant to whether advice is (...) good concern rational agency in general, the advisee’s particular situation, and the topic of the advice. These accounts of the nature and quality of advice are superior to extant alternatives on the basis of both descriptive adequacy and absurdity. (shrink)

This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely communicate with each other. The contributions concern (in a possibly intertwined way) three major perspectives in logic: philosophical, historical, formal. The philosophical perspective has to do with the relationship between deductive validity and truth, and questions the (...) alleged conclusiveness of deduction and its epistemic contribution. It also discusses the role of linguistic acts in deductive practice, and provides a cognitive-didactic contribution on how we may learn through deduction. In the historical perspective, the contributions discuss the ideas of some major historical figures, such as Bolzano, Girard, Gödel, and Peano. Finally, in the formal perspective, the mathematics of deduction is dealt with mainly from an intuitionistic-constructivist or proof-theoretic point of view, with focus on “ecumenic” or internalistic approaches to logical validity, on the nature and identity of proofs, and on dialogical setups. Chapter [14] is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. (shrink)

The purpose of this paper is to offer an interpretation of the Tractatus’ proof of the unity of logic and language. The kernel of the proof is the thesis that the sole logical constant is the general propositional form. I argue that the Grundgedanke, the existence of the sole fundamental operation N and the analyticity thesis, together with the fact that the operation NN can always be seen as having no specific formal difference between its result and (...) its base, imply that NN is intrinsic to every elementary proposition. I also argue that the picture theory of proposition is an account of the generation of propositions via naming, and that its crucial idea is that naming is the instantiation of the form of a name, which consists in arbitrarily picking out an object as the meaning of the name from those objects sorted out by the form of the name. It follows that the existential quantifier, that is, NN, is intrinsic to naming (and therefore to every elementary proposition). It is then proven that the sole logical constant is the general propositional form. This, together with the truth‐functionality of logical necessity, implies that logic and language are unified via a general rule – logical syntax. (shrink)

The basic idea of logical expressivism in the Brandomian tradition is that logic makes inferential relations explicit and thereby accessible to critical discussion. But expressivists have not given a convincing explanation of what the point of logical theories is. Peregrin provides a starting point by observing a distinction between making explicit and explication in Carnap’s sense of replacing something unclear and vague by something clear and exact. Whereas logical locutions make inferential relations explicit within a language, (...) logical theories use formal languages to explicate inferential roles and meanings of ordinary-language expressions. But Peregrin also holds that the whole point of logical theories is to provide perspicuous models of inferential structures in ordinary language practice. This turns explication into a mere continuation of making explicit by other means, and it leads to a one-sided conception of logic which has no room for evaluating inferential practice in light of logical theories. As a more convincing alternative, I suggest that expressivists rely on the method of reflective equilibrium. This approach is closely related to Carnapian explication, but it has the potential of correcting informal inferential practice without dubious ambitions to replace ordinary languages by logical formalisms. (shrink)

Theory of mind refers to the human capacity for reasoning about others’ mental states based on observations of their actions and unfolding events. This type of reasoning is notorious in the cognitive science literature for its presumed computational intractability. A possible reason could be that it may involve higher-order thinking. To investigate this we formalize theory of mind reasoning as updating of beliefs about beliefs using dynamic epistemic logic, as this formalism allows to parameterize ‘order of thinking.’ We (...) prove that theory of mind reasoning, so formalized, indeed is intractable. Using parameterized complexity we prove, however, that the ‘order parameter’ is not a source of intractability. We furthermore consider a set of alternative parameters and investigate which of them are sources of intractability. We discuss the implications of these results for the understanding of theory of mind. (shrink)

In the 1980s, Pollock’s work on default reasons started the quest in the AI community for a formal system of defeasible argumentation. The main goal of this paper is to provide a logic of structured defeasible arguments using the language of justification logic. In this logic, we introduce defeasible justification assertions of the type t : F that read as “t is a defeasible reason that justifies F”. Such formulas are then interpreted as arguments and their acceptance semantics (...) is given in analogy to Dung’s abstract argumentation framework semantics. We show that a large subclass of Dung’s frameworks that we call “warranted” frameworks is a special case of our logic in the sense that Dung’s frameworks can be obtained from justification logic-based theories by focusing on a single aspect of attacks among justification logic arguments and Dung’s warranted frameworks always have multiple justification logic instantiations called “realizations”. We first define a new justification logic that relies on operational semantics for default logic. One of the key features that is absent in standard justification logics is the possibility to weigh different epistemic reasons or pieces of evidence that might conflict with one another. To amend this, we develop a semantics for “defeaters”: conflicting reasons forming a basis to doubt the original conclusion or to believe an opposite statement. This enables us to formalize non-monotonic justifications that prompt extension revision already for normal default theories. Then we present our logic as a system for abstract argumentation with structured arguments. The format of conflicting reasons overlaps with the idea of attacks between arguments to the extent that it is possible to define all the standard notions of argumentation framework extensions. Using the definitions of extensions, we establish formal correspondence between Dung’s original argumentation semantics and our operational semantics for default theories. One of the results shows that the notorious attack cycles from abstract argumentation cannot always be realized as justification logic default theories. (shrink)

This present book explores recent advances in modeling discourse processes, in particular, new approaches aimed at understanding pathological language behavior specific to schizophrenia. The contributors examine the modeling paradigm of formal semantics, which falls within the scope of both linguistics and logic while providing overlapping links with other fields such as philosophy of language and cognitive psychology. This book is based on results presented during the series of workshops on Coherence and Discourse organized by SLAM, a project (...) developed to systemize the study of pathological language processing by taking an overarching interdisciplinary approach combining psychology, linguistics, computer science and philosophy. The principle focus is on conversations produced by people with psychiatric disorders such as schizophrenia and autism. The contributions come from young and experienced researchers, and invited speakers. The book appeals to likeminded students and researchers. (shrink)

Maternal gift-giving sustains life and creates positive human relations. Addressing important issues in the theory of language and communication, Genevieve Vaughan associates language and mothering to the free gift economy. A fundamental hypothesis is that maternal gift-giving, mothering/being-mothered forms a non-essentialist, but fundamental core process of material and verbal communication that has been neglected by the Western view of the world. The mothering/being-mothered paradigm is thematized in the framework of gift logic, which is otherness logic. (...) Restoring such a paradigm offers a new light on language, communication and human relations, contributing to recovery of the “properly human” in terms of gift economy values, ultimately to the end of affecting social praxis for radical social change and creating better worlds. The second part of this text is titled “For the Sake of the Other” and presents an exchange of ideas with Vaughan in the form of a written conversation. This text is structured around the following titles: 1. Otherness and Gifting as the Basis of Communication: 1.1. Semiosis, Language, and the Gift Economy; 1.2. The Gift of Speaking and the “Mother Work Schema”; 1.3. Material gifting, Verbal Nurturing, Imagination; 1.4. New Perspectives for Studies in Language and Communication; 2. For the Sake of the Other, with Genevieve Vaughan. (shrink)

Controversy: Reading. Darwin. Through. Dascalian. Eyes. Anna Carolina K.P. Regner Abstract Marcelo Dascal has ... In the present text, I explore the impact of his approach on the analysis of Charles Darwin's 'one long argument', as Darwin calls his theory of the origin of species. ... Perspectives on Theory of Controversies and the Ethics of Communication, Logic, Argumentation & Reasoning 2, DOI ...