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)
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 multipicture 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)
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)
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)
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)
Igal Kvart A Coding Conception in Action-Directed-Pragmatics -/- I present formalPragmatics 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 formalPragmatics 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)
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 (as, for example, by Grice and Hamblin), the result is pragmatic in nature, as well as syntactic and semantic. This paper lays the foundations of a purely formal (nonpragmatic) 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)
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)
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)
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 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)
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)
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)
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 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)
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)
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)
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)
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)
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)
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)
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)
We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (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)
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 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)
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)
This paper is a guide to the main ideas and innovations in Robert Stalnaker's "Indicative Conditionals". The paper is for a volume of essays on twenty-one classics of formal semantics edited by Louise McNally and Zoltàn Gendler Szabò.
We consider the complex interactions between rape culture and epistemology. A central case study is the consideration of a deferential attitude about the epistemology of sexual assault testimony. According to the deferential attitude, individuals and institutions should decline to act on allegations of sexual assault unless and until they are proven in a formal setting, i.e., a criminal court. We attack this deference from several angles, including the pervasiveness of rape culture in the criminal justice system, the epistemology of (...) testimony and norms connecting knowledge and action, the harms of tacit idealizations away from important contextual factors, and a contextualist semantics for 'knows' ascriptions. (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)
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 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)
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)
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)
This paper proposes an argumentation-based procedure for legal interpretation, by reinterpreting the traditional canons of textual interpretation in terms of argumentation schemes, which are then classified, formalized, and represented through argument visualization and evaluation tools. The problem of statutory interpretation is framed as one of weighing contested interpretations as pro and con arguments. The paper builds an interpretation procedure by formulating a set of argumentation schemes that can be used to comparatively evaluate the types of arguments used in cases of (...) contested statutory interpretation in law. A simplified version of the Carneades Argumentation System is applied in a case analysis showing how the procedure works. A logical model for statutory interpretation is finally presented, covering pro-tanto and all-things-considered interpretive conclusions. -/- . (shrink)
The Dutch Book Argument for Probabilism assumes Ramsey's Thesis (RT), which purports to determine the prices an agent is rationally required to pay for a bet. Recently, a new objection to Ramsey's Thesis has emerged (Hedden 2013, Wronski & Godziszewski 2017, Wronski 2018)--I call this the Expected Utility Objection. According to this objection, it is Maximise Subjective Expected Utility (MSEU) that determines the prices an agent is required to pay for a bet, and this often disagrees with Ramsey's Thesis. I (...) suggest two responses to Hedden's objection. First, we might be permissive: agents are permitted to pay any price that is required or permitted by RT, and they are permitted to pay any price that is required or permitted by MSEU. This allows us to give a revised version of the Dutch Book Argument for Probabilism, which I call the Permissive Dutch Book Argument. Second, I suggest that even the proponent of the Expected Utility Objection should admit that RT gives the correct answer in certain very limited cases, and I show that, together with MSEU, this very restricted version of RT gives a new pragmatic argument for Probabilism, which I call the Bookless Pragmatic Argument. (shrink)
Argumentation schemes can be described as abstract structures representing the most generic types of argument, constituting the building blocks of the ones used in everyday reasoning. This paper investigates the structure, classification, and uses of such schemes. Three goals are pursued: 1) to describe the schemes, showing how they evolved and how they have been classified in the traditional and the modern theories; 2) to propose a method for classifying them based on ancient and modern developments; and 3) to outline (...) and show how schemes can be used to describe and analyze or produce real arguments. To this purpose, we will build on the traditional distinctions for building a dichotomic classification of schemes, and we will advance a modular approach to argument analysis, in which different argumentation schemes are combined together in order to represent each step of reasoning on which a complex argument relies. Finally, we will show how schemes are applied to formal systems, focusing on their applications to Artificial Intelligence, AI & Law, argument mining, and formal ontologies. (shrink)
ABSTRACT: It is a familiar story that Kant’s defence of our synthetic a priori cognition in the Critique of Pure Reason suffered sharp criticism throughout the extended philosophical revolutions that established analytic philosophy, the pragmatist tradition, and the phenomenological tradition as dominant philosophical movements in the first half of the twentieth century. One of the most important positive adaptations of Kant’s outlook, however, was the combined analytic and pragmatist conceptions of the a priori that were developed by the American philosophers (...) C. I. Lewis (1883–1964) and Wilfrid Sellars (1912–1989), most notably in Lewis’s 1929 classic, Mind and the World Order, followed by Sellars’ critical reworking of Lewis’s outlook in ‘Is There a Synthetic A Priori?’ (1953) and other mid-century articles. Both Lewis and Sellars defended central aspects of Kant’s analysis of our a priori knowledge of mind-independent physical objects and necessary causal connections. But both also radically transformed Kant’s view by defending the idea that there are alternative a priori conceptual frameworks that are subject to an ongoing process of reassessment and replacement on overall pragmatic and explanatory grounds. Furthermore, while Sellars’ answer to his question, ‘Is There a Synthetic A Priori?’ thus represented a partial endorsement of Lewis’s pragmatic relativization of the a priori, I argue that Sellars’ account of meaning diverged from Lewis in ways that constituted a significant improvement upon the previous ‘analytic’ defenses of the a priori, not only in Lewis but in general. This arguably has implications for wider disputes concerning the nature and possibility of a priori knowledge in non-formal domains. (shrink)
Contexts, oracles, and relevance.Varol Akman & Mehmet Surav - 1995 - In Proceedings of the AAAI-95 Fall Symposium on Formalizing Context (AAAI Technical Report FS-95-02). Palo Alto, CA: Association for the Advancement of Artificial Intelligence Press. pp. 23-30.details
We focus on how we should define the relevance of information to a context for information processing agents, such as oracles. We build our formalization of relevance upon works in pragmatics which refer to contextual information without giving any explicit representation of context. We use a formalization of context (due to us) in Situation Theory, and demonstrate its power in this task. We also discuss some computational aspects of this formalization.
In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the unificationist “explicit” (...) approach given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning. (shrink)
In his 1927 Analysis of Matter and elsewhere, Russell argued that we can successfully infer the structure of the external world from that of our explanatory schemes. While nothing guarantees that the intrinsic qualities of experiences are shared by their objects, he held that the relations tying together those relata perforce mirror relations that actually obtain (these being expressible in the formal idiom of the Principia Mathematica). This claim was subsequently criticized by the Cambridge mathematician Max Newman as true (...) but trivial, insofar as from a closed body of observations (or “Ramsey sentence”) one can always generate other equally-satisfactory networks of relations, provided they respect the original set’s cardinality. Since any model thus generated will be empirically adequate, “[t]he defence is therefore driven back from the fairly safe fictitious-real classification to the much less tenable ‘trivial’ and ‘important’” (Newman 1928). Given the definitional rigour afforded by the initial appeal to isomorphism (via one-to-one correspondences in extension), the received assessment, shared by Russell himself, is that retreating to a pragmatic adjudication would betoken a fatal blow. However, I suggest that reliance on “importance” can be avoided if we incorporate an impersonal criterion of diachronic precedence. When collecting observations, an ordinality emerges alongside the cardinality which gives that underived structure an irrevocable epistemological privilege. Hence, I argue that, all other things being equal, any construct parasitic on an antecedent theory ought to be regarded as inferior/dispensable, since it was generated by an algorithm lacking the world-involving pedigree of its host structure. (shrink)
There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against (...) intuitionism from the bilateralist perspective. Price gives an informal argument for classical negation based on a pragmatic notion of belief, characterised in terms of the differences they make to speakers' actions. The main part of this paper puts Price's argument under close scrutiny by regimenting it and isolating principles Price is committed to. It is shown that Price should draw a distinction between A or ¬A making a difference. According to Price, if A makes a difference to us, we treat it as decidable. This material allows the intuitionist to block Price's argument. Abandoning classical logic also brings advantages, as within intuitionist logic there is a precise meaning to what it might mean to treat A as decidable: it is to assume A ∨ ¬A. (shrink)
The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes of tokens). The (...) basic concepts of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language. (shrink)
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.