The use-mention distinction is elaborated into a four-way distinction between use, formal mention, material mention and pragmatic mention. The notion of pragmatic mention is motivated through the problem of monsters in Kaplanian indexical semantics. It is then formalized and applied in an account of schemata in formalized languages.

In the debate about semantic context dependence, various truth-conditional frameworks have been proposed. Indexicalism, associated with e.g. Jason Stanley, accounts for contextual effects on truth conditions in terms of a rich covert syntax. Truth-conditional pragmatics, associated with e.g. François Recanati, does not locate the mechanisms for context dependence in the syntactic structure but provides a more complex semantics. In this dissertation, the hypothesis that indexicalism and truth-conditional pragmatics are empirically equivalent is explored. The conclusion that the hypothesis is (...) correct emerges, when claims and accounts in the debate are made formally precise, within the framework of model-theoretic semantics. -/- . (shrink)

How do we justify the normative standards to which we appeal in support of our moral progress judgments, given their historical and cultural contingency? To answer this question in a noncircular way, Elizabeth Anderson and Philip Kitcher appeal exclusively to formal features of the methodology by which a moral change was brought about; some moral methodologies are systematically less prone to bias than others and are therefore less vulnerable to error. However, we argue that the methodologies espoused by Anderson (...) and Kitcher implicitly appeal to the substantive principle of “moral universalism.” This sets up the positive project of the paper: an attempt to vindicate moral universalism with a pragmatic genealogy. Using resources from cultural evolutionary theory and the history of ideas we argue that the universalistic norms widely committed to in many societies today have the function of maintaining cooperation in large anonymous groups. Furthermore, while universalistic norms play this instrumental role, their functional benefits are best secured when people following such norms do so for intrinsic rather than instrumental reasons. Finally, having elaborated our pragmatic genealogy, we close by considering how this genealogy should affect our commitment to moral universalism and how it can complement the methods of Anderson and Kitcher. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

Recent advances in the Super Linguistics of pictures have laid the Super Semantic foundation for modelling the phenomena of narrative sequencing and co-reference in pictorial and mixed linguistic-pictorial discourses. We take up the question of how one arrives at the pragmatic interpretations of such discourses. In particular, we offer an analysis of: (i) the discourse composition problem: how to represent the joint meaning of a multi-picture discourse, (ii) observed differences in narrative sequencing in prima facie equivalent linguistic vs pictorial discourses, (...) and (iii) the phenomenon of co-referencing across pictures. We extend Segmented Discourse Representation Theory to spell out a formal Super Pragmatics that applies to linguistic, pictorial and mixed discourses, while respecting the particular ‘genius’ of either medium and computing their distinctive pragmatic interpretations. (shrink)

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an (...) expression will be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

The quotational theory of free indirect discourse postulates that pronouns and tenses are systematically unquoted. But where does this unquotation come from? Based on cases of apparent unquotation in direct discourse constructions (including data from Kwaza speakers, Catalan signers, and Dutch children), I suggest a general pragmatic answer: unquotation is essentially a way to resolve a conflict that arises between two opposing constraints. On the one hand, the reporter wants to use indexicals that refer directly to the most salient speech (...) act participants and their surroundings (Attraction). On the other hand, the semantics of direct discourse (formalized here in terms of event modification) entails the reproduction of referring expressions from the original utterance being reported (Verbatim). Unquotation (formalized here also in terms of event modification), allows the reporter to avoid potential conflicts between these constraints. Unquotation in free indirect discourse then comes out as a special case, where the salient source of attraction is the story protagonist and her actions, rather than the reporting narrator and his here and now. (shrink)

Igal Kvart A Coding Conception in Action-Directed-Pragmatics -/- I present formal Pragmatics for a domain in Pragmatics that I call Action-Directed Pragmatics, which focuses on the Pragmatic riddle of how implicit contents are conveyed and understood, by adopting a coding model, in which the speaker and addressee simulate each other iteratively in a deliberative context (an ‘action-pregnant’ one). The implicit content, conveyed by a speaker and decoded by her addressee, in such cases, consists in the (...) specified steered-to action, plus modulations on the action-polarity (pro or con) and the degree of the so-called Steering Thrust that accompanies such assertions and is conveyed by verbal locutions, intonation, and/or bodily and facial gestures. There are two main tasks to model (in a given setup and conversational context): First, how is the speaker, with a steered-to action in mind (and Steering Thrust), to select an assertion so as to (say) optimize the successful transmission and decoding of its implicit pragmatic content by her and her addressee? Second, how does the addressee, given an assertion by the speaker, decipher the implicit pragmatic content conveyed via it? Both will invoke pertinent information they have about each other and the setup/context in order to best encode and best decode the implicit pragmatic content. (This coding mechanism proposed here is not offered for the ubiquitous ‘frozen’, ‘trivial’ or ‘routinized’ pragmatic messages.) A prelude to this formal Pragmatics is a general formal Pragmatic account of Assertibility in contexts that are multi-normative (which is the common case). I focus here only on Epistemic/Semantic and Instrumental Norms. A linear representation of degrees of Overall Assertibility (i.e., taking into account various operative norms) will be an n-dimensional qualitative vector space with a function that computes them given different degrees of sub-normative Assertibility on each axis. (shrink)

One of the hottest philosophical debates in recent years concerns the nature of the semantics/pragmatics divide. Some writers have expressed the reserve that this might be merely terminological, but in my view it ultimately concerns a substantive issue with empirical implications: the scope and limits of a serious scientific undertaking, formal semantics. In this critical note I discuss two arguments by Recanati: his main methodological argument --viz. that the contents posited by what he calls 'literalists' play no relevant (...) role in communication--, and some phenomenological considerations regarding the "Availability Principle" that he appeals to in order to buttress that main argument. /// Uno de los más encarnizados debates filosóficos recientes atañe a la naturaleza de la distinción entre semántica y pragmática. Aunque algunos autores han expresado reservas en el sentido de que èste pudiera ser sólo terminológico, en mi opinión tiene que ver con una cuestión sustantiva con implicaciones empíricas: el alcance y los límites de una empresa científica seria, la semántica formal. En este texto discuto dos argumentos de Recanati: su principal argumento metodológico, que los contenidos postulados por los autores que él denomina "literalistas" no desempeñan ningùn papel relevante en la comunicación, y, en segundo lugar, ciertas consideraciones fenomenológicas en torno a su "Principio de Accesibilidad", a las cuales apela para apoyar el argumento metodológico. (shrink)

The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on (...) the other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: -- the norm-giver ought to restore ``classical'' consistency by revising an inconsistent system, -- the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. Dialetheic deontic logic of Priest is a suitable logic for the purpose since it preserves other perfection properties of the system. (shrink)

This paper has three interdependent aims. The first is to make Reichenbach’s views on induction and probabilities clearer, especially as they pertain to his pragmatic justification of induction. The second aim is to show how his view of pragmatic justification arises out of his commitment to extensional empiricism and moots the possibility of a non-pragmatic justification of induction. Finally, and most importantly, a formal decision-theoretic account of Reichenbach’s pragmatic justification is offered in terms both of the minimax principle and (...) the dominance principle. (shrink)

Dialectic, as commonly approached, is not an analytic study, as the notion is defined in the paper. Where it is analytically approached, the result is pragmatic in nature, as well as syntactic and semantic. This paper lays the foundations of a purely formal analysis of conversations. This study is accordingly called "Conversation Theory". The key notions of "conversation", "dialogue", "conversation game", "rules of response", "epistemic community" and "channel of informations" are defined precisely, and an analysis of how these notions (...) fit together is given. Particular attention is given to distinguishing conversation theory from standard logic. The paper concludes by analysing a few sample conversation-games, indicating areas needing further research, by pointing out the simplification inherent in the sample games. (shrink)

Conversational exculpature is a pragmatic process whereby information is subtracted from, rather than added to, what the speaker literally says. This pragmatic content subtraction explains why we can say “Rob is six feet tall” without implying that Rob is between 5'0.99" and 6'0.01" tall, and why we can say “Ellen has a hat like the one Sherlock Holmes always wears” without implying Holmes exists or has a hat. This article presents a simple formalism for understanding this pragmatic mechanism, specifying how, (...) in context, the result of such subtractions is determined. And it shows how the resulting theory of conversational exculpature accounts for a varied range of linguistic phenomena. A distinctive feature of the approach is the crucial role played by the question under discussion in determining the result of a given exculpature. (shrink)

Drawing on recent work in formal pragmatic theory, this paper shows that the manipulation of discourse structure—in particular, by way of shifting the Question Under Discussion mid-discourse—can constitute an act of epistemic injustice. I argue that the “All Lives Matter” response to the “Black Lives Matter” slogan is one such case; this response shifts the Question Under Discussion governing the overarching discourse from Do Black lives matter? to Which lives matter? This manipulation of the discourse structure systematically obscures the (...) intended meaning of “Black lives matter” and disincentivizes future utterances of it. (shrink)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context (...) are explored. (shrink)

Swear words are highly colloquial expressions that have the capacity to signal the speaker's affective states, i.e., to display the speaker's feelings with respect to a certain stimulus. For this reason, swear words are often called 'expressives'. Which linguistic mechanisms allow swear words display affective states, and, more importantly, how can such 'affective content' be characterized in a theory of meaning? Even though research on expressive meaning has produced models that integrate the affective aspects of swear words in a compositional (...) framework, there is extensive evidence that swear words cannot be assigned a single or stable affective interpretation across contexts. For example, even though expletive adjectives (e.g., 'damn'), particularistic insults (e.g., 'bastard') and slurs (e.g., 'wop') typically express (and elicit) negatively valenced affective states, they can also be interpreted positively in some contexts. Thus, inspired in recent developments in formal sociolinguistics, I propose an 'indexical' approach to affective meaning. Under this approach, an affective expression is associated with a set of affective qualities, anyone of which may emerge at a given context depending on the interpreter's prior assumptions about the speaker's affective states and/or relation with the target of the swear word. To define this set, also called 'indexical field', I will use the dimensions pleasure, arousal and dominance, standardly employed in cognitive psychology to characterize and measure affective episodes. In this dissertation, thus, the affective meaning of an expression is given by the set of affective states it typically conveys within a linguistic community, but its interpretation at a given context is established by taking into account the interpreter's prior assumptions about the speaker's affective states and/or attitudes with respect to the target of the affective expression. (shrink)

The primary function that philosophy has to perform is analysis of meanings. Contemporary philosophy is a story of the idea of meaning, in the words of Gilbert Ryle. The study of meaning in our time takes several ways. Two ways come in the forefront. The first relates to the formal theories proposed by Frege, earlier Wittgenstein, Quine, Chomsky and Dummmett. The second relates to the theories of use suggested by the later Wittgenstein, Austin, Ryle, Strawson, Grice and Searle. (...) class='Hi'>Formal theories are concerned with the formal structure of languages, and the interrelationships between sentences, while the use theories emphasize the role of speakers in determining and understanding the meaning. This book provides an analytical and critical study of the theory communication- intention in meaning according to Paul Grice (1913-1988), which gave speakers and their intentions a central place in the interpretation of meaning, and also aims to formulate the links between theory of communication- intention in semantics and the theory of conversational implicature in pragmatics. الوظيفة الأساسية التي يتعين على الفلسفة القيام بها هي تحليل المعاني. والفلسفة المعاصرة قصة لفكرة المعني على حد تعبير جيلبرت رايل. وتسلك دراسة المعنى في عصرنا عدة طرائق. تأتي في طليعتها طريقتان. ترتبط الأولي بالنظريات الصورية التي اقترحها فريجه، وفتجنشتين المبكر، وكواين، وتشومسكي، ودميت. وترتبط الثانية بنظرية الاستعمال التي اقترحها فتجنشتين المتأخر، وأوستن، ورايل، وستراوسون، وجرايس، وسيرل وتحفل النظريات الصورية بالبنية الصورية للغات، والعلاقات المتبادلة بين الجمل،على حين تؤكد نظريات الاستعمال على دور المتكلمين في تحديد المعنى وفهمه. ويقدم هذا الكتاب دراسة تحليلية نقدية لنظرية قصد الاتصال (النظرية القصدية) في المعنى عند جرايس (1988-1913) الذي أعطى المتكلمين ومقاصدهم مكانة محورية في تفسير المعنى، ويهدف أيضا إلى صياغة الروابط بين نظرية قصد الاتصال في علم الدلالة ونظرية الاقتضاء التخاطبي في علم الاستعمال المعنى، علم الدلالة، علم الاستعمال، المعنى لدى المتكلم، الاقتضاء التخاطبي، قواعد المحادثة، النظريات الصورية، نظريات الاستعمال، فريجه، جرايس، سيرل . (shrink)

We investigate a basic probabilistic dynamic semantics for a fragment containing conditionals, probability operators, modals, and attitude verbs, with the aim of shedding light on the prospects for adding probabilistic structure to models of the conversational common ground.

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)

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)

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the (...) correctness of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In (...) this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with (...) the language of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)

This dissertation fits within the literature on subordinating speech and aims to demonstrate that how language subordinates is more complex than has been described by most philosophers. I argue that the harms that subordinating speech inflicts on its targets (chapter one), the type of authority that is exercised by subordinating speakers (chapters two and three), and the expansive variety of subordinating speech acts themselves (chapter three) are all under-developed subjects in need of further refinement—and, in some cases, large paradigm shifts. (...) I also examine cases that have yet to be adequately addressed by philosophers working on this topic, like the explosion of abusive speech online (chapter four) or the distinctive speech acts of protest groups (chapter five). I argue that by considering these alongside the ‘paradigm’ cases of subordinating speech that inform most models, we are better able to capture the lived realities of this phenomena, as described by members of groups targeted by such speech. I develop a novel account of speaker authority to explain the variety of pragmatic effects subordinating speech generates. Instead of seeing this authority as reducible to either a formal position or a merely local, linguistic phenomenon, I argue for a conception of speaker authority that is a richly contextual social fact, distributed unevenly among members of different social groups. I also develop an account of collective authority that explains how a group of speakers can join together to subordinate in a way that no individual speaker is capable of doing. This account, I argue, is better able to explain the social reality of subordinating speech than individualist models. Overall, I show how a more fine-grained account of subordinating speaker authority gives us a more accurate picture of the different subordinating speech acts available to different speakers, along with how these may harm their targets. (shrink)

The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes (...) and pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind. (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)

A close interrelationship between logic and religious faith is confirmed in many places of the Bible. In the paper, special attention is paid to the dialogue of Jesus and a Samaritan woman (John 4). In a proposed outline of a logical formalization, religious faith is described as a pragmatic function through which the linguistic and logical content is contextually realized. In the continuation of the paper, Gödel's ontological proof is commented, which in a logically rigorous way describes the ontology where (...) we can detect the systematic place of religious faith as an ontological force. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves (...) and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Research in formal theoretical semantics has recently expanded its scope to include gestural communication, focusing in particular on gestures that contribute to the content of an accompanying utterance, e.g., size gestures (LARGE, WIDE), pointing gestures, and gestures that depict objects (TELESCOPE) or actions (SLAP). At the same time, fruitful inquiries at the intersection of primatology and linguistics have given rise to the hypothesis that human and non-human great apes share a common set of directive (=imperative) gestures. Directive gestures such (...) as STOP or COME-CLOSER, pose non-trivial issues for a semantic analysis: we inherit the challenges that pertain to the analysis of imperative utterances (Come closer!), while adding a further challenge that stems from the underspecified mapping between a directive body movement and its potential counterparts in human language. We begin by outlining the problem and surveying the nascent state-of-the-art with regards to a formal semantics of directive gestures. Particular attention is given to the multifunctionality of directive gestures, which typically have different effects in different contexts; for example, a non-human ape gesture may communicate "Stop that" in some contexts and "Move away" in others, with similar patterns found in humans. We show that this multifunctionality can be derived from a single, rich abstract lexical entry, "Not…!", a candidate for a universal building block of meaning, shared by human and non-human great apes. "Not…!", which incorporates negation/rejection, temporal reference and presuppositionality is more explanatory in comparison to a minimal alternative. This chapter lays out the hypothesis space, addressing the foundational question of how to explain attested gestural overlap between human and non-human great apes. We conclude the chapter by reviewing potential expansions of the analysis to the pragmatic gestures of humans, which are thus placed on the primate gestural meaning continuum and connected to the directive gestures we share with our non-human relatives in the great ape family. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. (...) This paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Peirce's pragmatic notion of semiosis can be described in terms of a multi-level system of constraints involving chance, efficient, formal and final causation. According to the model proposed here, law-like regularities, which work as boundary conditions or organizational principles, have a downward effect on the spatiotemporal distribution of lower-level semiotic items. We treat this downward determinative influence as a propensity relation: if some lower-level entities a,b,c,-n are under the influence of a general organizational principle, W, they will show a (...) tendency to behave in certain specific ways, and, thus, to instantiate a set of specific processes. Our goal in this paper is to examine the role of downward determination in semiotic systems, conceived as multi-level hierarchical systems. (shrink)

La logique peut-elle se détacher des facteurs environnementaux et opérer indépendamment des états mentaux des locuteurs ? Dans cette article, nous montrons comment on est passé d’une réponse positive à une réponse négative à cette question. La critique de la formalisation logique des descriptions définies amorcée par Strawson, a été critiquée et étendue par Donnellan, qui distingue les usage référentiels et attributifs du langage et montre que la formalisation des énoncés en langue naturelle est inextricable de facteurs pragmatiques non automatisables. (...) Nous terminons cet article en abordant brièvement les conséquences d’une telle position sur les développements récents de l’Intelligence Artificielle. Mots clé : Logique, Descriptions définies, Russell, Strawson, Donnellan //////////////////////////////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////// -/- Abstract Can logic operate independently of environmental factors and of the mental states of speakers? In this article, we show how we went from a positive to a negative answer to this question. The critique of the logical formalization of definite descriptions initiated by Strawson, was extended by Donnellan, who distinguishes the referential and attributive uses of language and shows that the formalization of statements in natural language is inextricable from pragmatic factors. We end this article by briefly addressing the consequences of such a position on recent developments in Artificial Intelligence. Keywords: Logic, Definite descriptions, Russell, Strawson, Donnellan . (shrink)

This paper aims to better motivate the naturalization of metaphysics by identifying and criticizing a class of theories I call ’free range metaphysics’. I argue that free range metaphysics is epistemically inadequate because the constraints on its content—consistency, simplicity, intuitive plausibility, and explanatory power—are insufficiently robust and justificatory. However, since free range metaphysics yields clarity-conducive techniques, incubates science, and produces conceptual and formal tools useful for scientifically engaged philosophy, I do not recommend its discontinuation. I do recommend, however, ending (...) the discipline’s bad faith. That is, I urge that free range metaphysics not be taken to have fully satisfactory epistemic credentials over and above its pragmatic ones. (shrink)

It has often been suggested that people’s ordinary capacities for understanding the world make use of much the same methods one might find in a formal scientific investigation. A series of recent experimental results offer a challenge to this widely-held view, suggesting that people’s moral judgments can actually influence the intuitions they hold both in folk psychology and in causal cognition. The present target article distinguishes two basic approaches to explaining such effects. One approach would be to say that (...) the relevant competencies are entirely non-moral but that some additional factor (conversational pragmatics, performance error, etc.) then interferes and allows people’s moral judgments to affect their intuitions. Another approach would be to say that moral considerations truly do figure in workings of the competencies themselves. It is argued that the data available now favor the second of these approaches over the first. (shrink)

The verb to legitimate is often used in political discourse in a way that is prima facie perplexing. To wit, it is often said that an actor legitimates a practice which is officially prohibited in the relevant context – for example, that a worker telling sexist jokes legitimates sex discrimination in the workplace. In order to clarify the meaning of statements like this, and show how they can sometimes be true and informative, we need an explanation of how something that (...) is officially illegitimate can have a kind of ersatz legitimacy conferred on it, and how this can occur even when the actor ‘doing the legitimating’ lacks formal authority. I examine one putative explanation centred around the phenomenon of normalization, and I highlight some advantages that this account has in comparison to an alternative explanation, one that makes reference to the phenomenon of licensed authority. (shrink)

Philosophers of science have given up on the quest for a silver bullet to put an end to all pseudoscience, as such a neat formal criterion to separate good science from its contenders has proven elusive. In the literature on critical thinking and in some philosophical quarters, however, this search for silver bullets lives on in the taxonomies of fallacies. The attractive idea is to have a handy list of abstract definitions or argumentation schemes, on the basis of which (...) one can identify bad or invalid types of reasoning, abstracting away from the specific content and dialectical context. Such shortcuts for debunking arguments are tempting, but alas, the promise is hardly if ever fulfilled. Different strands of research on the pragmatics of argumentation, probabilistic reasoning and ecological rationality have shown that almost every known type of fallacy is a close neighbor to sound inferences or acceptable moves in a debate. Nonetheless, the kernel idea of a fallacy as an erroneous type of argument is still retained by most authors. We outline a destructive dilemma we refer to as the Fallacy Fork: on the one hand, if fallacies are construed as demonstrably invalid form of reasoning, then they have very limited applicability in real life. On the other hand, if our definitions of fallacies are sophisticated enough to capture real-life complexities, they can no longer be held up as an effective tool for discriminating good and bad forms of reasoning. As we bring our schematic “fallacies” in touch with reality, we seem to lose grip on normative questions. Even approaches that do not rely on argumentation schemes to identify fallacies fail to escape the Fallacy Fork, and run up against their own version of it. (shrink)

Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsistency is in many ways the more natural choice in developing (...) an expressivist account of moral discourse. We close by showing how to adapt ordinary formality-based accounts of logicality to define a B-type account of logical inconsistency and distinguish it from both semantic and pragmatic inconsistency. In sum, we provide a roadmap of how to develop a successful B-type expressivism. (shrink)

Philosophers often characterize discourse in general as aiming at some sort of convergence (in beliefs, plans, dispositions, feelings, etc.), and many views about aesthetic discourse in particular affirm this thought. I argue that a convergence norm does not govern aesthetic discourse. The conversational dynamics of aesthetic discourse suggest that typical aesthetic claims have directive force. I distinguish between dynamic and illocutionary force and develop related theories of each for aesthetic discourse. I argue that the illocutionary force of aesthetic utterances is (...) typically invitational because its dynamic force is influenced by a ‘communal’ norm. I draw on dynamic pragmatics to develop a formal account of this dynamic force that explains why invitation has pride of place in aesthetic conversation. It turns out that the end of aesthetic discourse is not convergence but a distinctive form of community, a kind of harmony of individuality, that is compatible with aesthetic disagreement. If this is right, then convergence theories of aesthetic and normative discourse, and of conversation in general, need to be revised. (shrink)

The author proposes in this practical guide for both problem and non-problem gamblers a new pragmatic, conceptual approach of gambling mathematics. The primary aim of this guide is the adequate understanding of the essence and complexity of gambling through its mathematical dimension. The author starts from the premise that formal gambling mathematics, which is hardly even digestible for the non-math-inclined gamblers, is ineffective alone in correcting the specific cognitive distortions associated with gambling. By applying the latest research results in (...) this field, the author blends the gambling-mathematics concepts with the epistemology of applied mathematics and cognitive psychology for providing gamblers the knowledge required for rational and safe gambling. (shrink)

Abstract This essay seeks to realize the following question: what is the correspondence between the sign and the thing that names? In reality, what is significant is closely linked with the being, however in this case the sense will be a particular manifestation of an own subjectivity; therefore the determinant relation is limited to the capacity of representation, where the meaning is connected with the socio-cultural sense. In this regard, this work seek realize this problem from the analytical approach of (...) Ludwig Wittgenstein, who is based on the method of philosophical investigation through formal logic. In this first period of development, his speculative work, which in principle leads to the search for logical foundations for mathematics, practised it in direction to the study of the nature of the representation. Subsequently, and as necessary this test delimitation, will expose the confrontation —more not necessarily contradiction— of their approaches in the light of the own Wittgenstein who, in a second reflective period poured into his later work, is obliged to discuss the foundational in his speculative work logical-philosophical topics from a pragmatic point of view. (shrink)

Argumentation schemes [1–3] are a relatively recent notion that continues an extremely ancient debate on one of the foundations of human reasoning, human comprehension, and obviously human argumentation, i.e., the topics. To understand the revolutionary nature of Walton’s work on this subject matter, it is necessary to place it in the debate that it continues and contributes to, namely a view of logic that is much broader than the formalistic perspective that has been adopted from the 20th century until nowadays. (...) With his book Argumentation schemes for presumptive reasoning, Walton attempted to start a dialogue between three different fields or views on human reasoning – one (argumentation theory) very recent, one (dialectics) very ancient and with a very long tradition, and one (formal logic) relatively recent, but dominating in philosophy. Argumentation schemes were proposed as dialectical instruments, in the sense that they represented arguments not only as formal relations, but also as pragmatic inferences in the sense that they depend on what the interlocutors share and accept in a given dialogical circumstance and affect their dialogical relation. In this introduction, the notion of argumentation scheme will be analyzed in detail, showing its different dimensions and its defining features which make them an extremely useful instrument in Artificial Intelligence. This theoretical background will be followed by a literature review on the uses of the schemes in computing, aimed at identifying the most important areas and trends, the most promising proposals, and the directions of future research. (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 paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called (...) classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

Any adequate semantics of generic sentences (e.g., “Philosophers evaluate arguments”) must accommodate both what we call the positive data and the negative data. The positive data consists of observations about what felicitous interpretations of generic sentences are available. Conversely, the negative data consists of observations about which interpretations of generic sentences are unavailable. Nguyen argues that only his pragmatic neo-Gricean account and Sterken’s indexical account can accommodate the positive data. Lee and Nguyen have advanced the debate by arguing that the (...) negative data is a problem for both Nguyen’s and Sterken’s accounts; these two accounts seem to incorrectly predict that generics have felicitous interpretations that they, in fact, fail to have. In this paper, we advance this debate—and, more generally, the task of developing an adequate formal semantics of generics—by arguing that a neglected class of theories are compatible with both the positive data and the negative data. Specifically, we argue that treating the generic operator GEN as a relative gradable expression with a positive, upper- and lower- bounded scale helps accommodate the positive data and the negative data. While developing this view, we show how several previously developed semantics of generics may systematically accommodate both sets of data. One broad contribution of this paper is to show that, while they generate important desiderata, the positive and negative data cannot determine a unique semantics for generics. A further contribution of this paper is to highlight previously unnoted ways in which degree semantics may inform semantic theories of generic meaning. (shrink)

Dispositionalism about modality is the view that metaphysical modality is a matter of the dispositions possessed by actual objects. In a recent paper, David Yates has raised an important worry about the formal adequacy of dispositionalism. This paper responds to Yates’s worry by developing a reply that Yates discusses briefly but dismisses as ad hoc: an appeal to a ’plenitude of powers’ including such powers as the necessarily always manifested power for 2+2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$$2+2$$\end{document} to be 4. I argue that the reply is not ad hoc at all, by defending the metaphysics of dispositions that should underly it. I then argue, first, that a proper understanding of dispositions’ degrees provides us with an argument for such necessarily always manifested dispositions; second, that all the natural attempts to block that argument can be resisted without being ad hoc; and third, that pragmatic considerations explain our intuitive resistance to the ascription of necessarily always manifested dispositions. Dispositionalism can be formally adequate after all. (shrink)

This monograph investigates the temporal interpretation of narrative discourse in two parts. The theme of the first part is narrative progression. It begins with a case study of the adverb ‘now’ and its interaction with the meaning of tense. The case study motivates an ontological distinction between events, states and times and proposes that ‘now’ seeks a prominent state that holds throughout the time described by the tense. Building on prior research, prominence is shown to be influenced by principles of (...) discourse coherence and two coherence principles, NARRATION and RESULT, are given a formally explicit characterization. The key innovation is a new method for testing the definitional adequacy of NARRATION and RESULT, namely by an abductive argument. This contribution opens a new way of thinking about how eventive and stative descriptions contribute to the perceived narrative progression in a discourse. -/- The theme of the second part of the monograph is the semantics and pragmatics of tense. A key innovation is that the present and past tenses are treated as scalar alternatives, a view that is motivated by adopting a particular hypothesis concerning stative predication. The proposed analysis accounts for tense in both matrix clauses and in complements of propositional attitudes, where the notorious double access reading arises. This reading is explored as part of a corpus study that provides a glimpse of how tense semantics interacts with Gricean principles and at-issueness. Several cross-linguistic predictions of the analysis are considered, including their consequences for the Sequence of Tense phenomenon and the Upper Limit Constraint. Finally, a hypothesis is provided about how tense meanings compose with temporal adverbs and verb phrases. Two influential analysis of viewpoint aspect are then compared in light of the hypothesis. (shrink)

Standard compositionality is the doctrine that the semantic content of a compound expression is a function of the semantic contents of the contentful component expressions. In 1954 Hilary Putnam proposed that standard compositionality be replaced by a stricter version according to which even sentences that are synonymously isomorphic (in the sense of Alonzo Church) are not strictly synonymous unless they have the same logical form. On Putnam’s proposal, the semantic content of a compound expression is a function of: (i) the (...) contentful component expressions; and (ii) the expression’s logical form. Kit Fine recently expanded and modified Putnam’s idea into a sweeping theory in philosophy of language and philosophy of mind. The present paper is a detailed critique of Fine’s “semantic relationism.” Fine’s notion of coordination is explained in terms of the familiar pragmatic phenomenon of recognition. A serious error in Fine’s formal disproof of standard Millianism is exposed. It is demonstrated furthermore that Church’s original criticism of Putnam’s proposal can be extended to Fine’s semantic relationism. Finally, it is also demonstrated that the positive position Fine proffers to supplant standard Millianism is in fact exactly equivalent to standard Millianism, so that Fine’s overall position not only does not displace standard Millianism but is in fact inconsistent. (shrink)

According to the `grammatical account', scalar implicatures are triggered by a covert exhaustification operator present in logical form. This account covers considerable empirical ground, but there is a peculiar pattern that resists treatment given its usual implementation. The pattern centers on odd assertions like #"Most lions are mammals" and #"Some Italians come from a beautiful country", which seem to trigger implicatures in contexts where the enriched readings conflict with information in the common ground. Magri (2009, 2011) argues that, to account (...) for these cases, the basic grammatical approach has to be supplemented with the stipulations that exhaustification is obligatory and is based on formal computations which are blind to information in the common ground. In this paper, I argue that accounts of oddness should allow for the possibility of felicitous assertions that call for revision of the common ground, including explicit assertions of unusual beliefs such as "Most but not all lions are mammals" and "Some but not all Italians come from Italy". To adequately cover these and similar cases, I propose that Magri's version of the Grammatical account should be refined with the novel hypothesis that exhaustification triggers a bifurcation between presupposed (the negated relevant alternatives) and at-issue (the prejacent) content. The explanation of the full oddness pattern, including cases of felicitous proposals to revise the common ground, follows from the interaction between presupposed and at-issue content with an independently motivated constraint on accommodation. Finally, I argue that treating the exhaustification operator as a presupposition trigger helps solve various independent puzzles faced by extant grammatical accounts, and motivates a substantial revision of standard accounts of the overt exhaustifier "only". (shrink)

This paper presents a novel account of focal stress and pitch contour in English dialogue. We argue that one should analyse and treat focus and pitch contour jointly, since (i) some pragmatic interpretations vary with contour (e.g., whether an utterance accepts or rejects; or whether it implicates a positive or negative answer); and (ii) there are utterances with identical prosodic focus that in the same context are infelicitous with one contour, but felicitous with another. We offer an account of two (...) distinct pitch contours that predicts the correct felicity judgements and implicatures, outclassing other models in empirical coverage or formality. Prosodic focus triggers a presupposition, where what is presupposed and how the presupposition is resolved depends on prosodic contour. If resolving the presupposition entails the proffered content, then the proffered content is uninteresting and hence the utterance is in-felicitous. Otherwise, resolving the presupposition may lead to an implicature. We regiment this account in SDRT. (shrink)