Abstract -/- Kratzer’s semantics for the deontic modals ought, must, etc., is criticized and improvements are suggested. Specifically, a solution is offered for the strong/weak, must/ought contrast, based on connecting must to right and ought to good as their respective ordering norms. A formal treatment of the semantics of must is proposed. For the semantics of ought it is argued that good enough should replace best in the formula giving truth conditions. A semantics for supposed to (...) slightly different from that for ought is proposed that connects interestingly with the “normative judgement internalism” problem. An extended analysis of the workings of the ordering source in Kratzer semantics reveals several problems and related possible solutions. And finally, it is argued that ‘We must do the right things” and “We ought to pursue good things” are provably necessary in Kratzer semantics, which is, I think, a welcome result, although, since formal, does not tell what are the right and good things. (shrink)

This squib begins with an argument emphasizing that the grammar of English makes a distinction between constituents that are focused and those that are merely new, hence not given. If the distinction is made via features, we need two features: one indicating focus and one indicating either given or new information. Which one of the two? Semantically, the choice doesn’t matter: whatever information is given is not new and the other way round. For the phonology, there is a difference, however. (...) If the prosody of all-new constituents is default prosody, but the prosody of given constituents is special, we would want to indicate givenness, rather than newness. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis into (...) a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

Marsilius of Inghen’s account of imaginable impossibilities became paradigmatic in logic, semantics, and metaphysics throughout the later Middle Ages and well into the early modern period. The present study focuses on imaginable impossibilities in 14th-century logic, underlining the relevance of Marsilius of Inghen’s innovative approach through a comparison with the semantic accounts proposed by other mid-14th-century Parisian nominalists, namely John Buridan and Albert of Saxony. In particular, this paper tracks the specific issue of the admissibility of absolute impossibilities – (...) such as the chimera – within Marsilius of Inghen’s semantic analysis, proving that there is a sense in which the chimera is indeed treatable. The present study does so by analysing the issues involved in impossibilities on the levels of signification, supposition, and extended reference. In doing so it provides a clearer picture of the problems involved, where they emerge and why, as well as of the significance and range of Marsilius of Inghen’s approach. (shrink)

Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of structurally (...) diverse languages around the world, which has ultimately contributed to the reinterpretation of LF as a Conceptual-Intentional (C-I) interface level between the computational syntactic component of the faculty of language and one or more interpretive faculties of the human mind. While this has opened up further possibilities of research in phenomena such as quantifier scope and scope interactions between negation, quantification, and focus, it has also given rise to a few real challenges to linguistic theory as well. Some of these are: (i) the split between lexical meaning – a matter supposedly belonging to the phase-wise selection of lexical arrays – and issues of semantic interpretation that arise purely from binding and scope phenomena (Mukherji 2010); (ii) partially relatedly, the level at which theta role assignment can be argued to take place, an issue that is taken up by me in Bagchi (2007); and (iii) how supposedly “pure” scopal phenomena relating to quantifiers, negation, and emphasizing expressions such as only and even (comparable to, e.g., Urdu/Hindi hii and bhii, Bangla –i and –o) also have dimensions of both focus and discourse reference. While recognizing all of these challenges, this talk aims to highlight particularly challenge (iii), both in terms of scholarship in the past and for the rich prospects for research on languages of south Asia with the semantics of quantification, negation, and focus in view. The scholarship of the past that I seek to relate this issue to is where, parallel to (and largely independently of) the research on LF that had been happening, Barwise and Cooper were developing their influential view of noun phrases as generalized quantifiers, culminating in their key 1981 article “Generalized Quantifiers and Natural Language” while, independently, McCawley, in his 1981 book Everything that Linguists have Always Wanted to Know about Logic, established through argumentation that all noun phrases semantically behave like generalized quantified expressions (further elaborated by him in the second – 1994 – revised edition of his book). I seek to demonstrate, based on limited data analysis from selected languages of south Asia, that our current understanding of quantification, negation, and focus under the Minimalist view owes something significant to the two major, but now largely marginalized, works of scholarship, and that for the way forward it is essential to adopt a more formal-semantic approach as adopted by them and also by later works such as Denis Bouchard’s (1995) The Semantics of Syntax, Mats Rooth’s work on focus (e.g., Rooth 1996, “Focus” in Shalom Lappin’s Handbook of Contemporary Semantic Theory), Heim and Kratzer’s Semantics in Generative Grammar (1998), and Yoad Winter’s (2002) Linguistic Inquiry article on semantic number, to cite just a few instances. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

I suspect the answer to the question in the title of this paper is no. But the scope of my paper will be considerably more limited: I will be concerned with whether certain types of considerations that are commonly cited in favor of dynamic semantics do in fact push us towards a dynamic semantics. Ultimately, I will argue that the evidence points to a dynamics of discourse that is best treated pragmatically, rather than as part of the (...) class='Hi'>semantics. (shrink)

This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it (...) means for a static semantics to incorporate the notion of context change potential in a dynamic pragmatics and denies that this conception of static semantics requires that all updates to the context be eliminative and distributive. Second, it argues that the central difference between the two frameworks is whether semantics or pragmatics accounts for dynamics, and explores what this means for the oft-heard claim that dynamic semantics blurs the semantics/pragmatics distinction. (shrink)

In recent years, bioethical discourse around the topic of ‘genetic enhancement’ has become increasingly politicized. We fear there is too much focus on the semantic question of whether we should call particular practices and emerging bio-technologies such as CRISPR ‘eugenics’, rather than the more important question of how we should view them from the perspective of ethics and policy. Here, we address the question of whether ‘eugenics’ can be defended and how proponents and critics of enhancement should engage with each (...) other. (shrink)

This paper argues that it is prudentially wise to defer to groups about how they are essentially constituted and defined. After a few words situating the paper in my greater research project (§1), I articulate the kind of deference I have in mind (§2). Then I offer two conditional arguments on why it is epistemically desirable to let other people tell you how they ought to be identified (§3). The first argument is that people are owed lexical sovereignty because denying (...) it is absurd; the second is that modest skeptics ought to agree with it on the basis of some relatively anodyne and plausible epistemic considerations. (shrink)

The Chinese Room Argument purports to show that‘ syntax is not sufficient for semantics’; an argument which led John Searle to conclude that ‘programs are not minds’ and hence that no computational device can ever exhibit true understanding. Yet, although this controversial argument has received a series of criticisms, it has withstood all attempts at decisive rebuttal so far. One of the classical responses to CRA has been based on equipping a purely computational device with a physical robot body. (...) This response, although partially addressed in one of Searle’s original contra arguments - the ‘robot reply’ - more recently gained friction with the development of embodiment and enactivism1, two novel approaches to cognitive science that have been exciting roboticists and philosophers alike. Furthermore, recent technological advances - blending biological beings with computational systems - have started to be developed which superficially suggest that mind may be instantiated in computing devices after all. This paper will argue that (a) embodiment alone does not provide any leverage for cognitive robotics wrt the CRA, when based on a weak form of embodiment and that (b) unless they take the body into account seriously, hybrid bio-computer devices will also share the fate of their disembodied or robotic predecessors in failing to escape from Searle’s Chinese room. (shrink)

Viewed in the light of the remarkable performance of ‘Watson’ - IBMs proprietary artificial intelligence computer system capable of answering questions posed in natural language - on the US general knowledge quiz show ‘Jeopardy’, we review two experiments on formal systems - one in the domain of quantum physics, the other involving a pictographic languaging game - whereby behaviour seemingly characteristic of domain understanding is generated by the mere mechanical application of simple rules. By re-examining both experiments in the context (...) of Searle’s Chinese Room Argument, we suggest their results merely endorse Searle’s core intuition: that ‘syntactical manipulation of symbols is not sufficient for semantics’. Although, pace Watson, some artificial intelligence practitioners have suggested that more complex, higher-level operations on formal symbols are required to instantiate understanding in computational systems, we show that even high-level calls to Google translate would not enable a computer qua ‘formal symbol processor’ to understand the language it processes. We thus conclude that even the most recent developments in ‘quantum linguistics’ will not enable computational systems to genuinely understand natural language. (shrink)

Paul Boghossian (1997) has argued that there is much to be said on behalf of the notion of analyticity so long as we distinguish epistemic analyticity and metaphysical analyticity. In particular, (1) epistemic analyticity isn’t undermined by Quine’s critique of the analytic-synthetic distinction, (2) it can explain the a prioricity of logic, and (3) epistemic analyticity can’t be rejected short of embracing semantic irrealism. In this paper, we argue that all three of these claims are mistaken.

Development of the world economy bears numerous negative phenomena, and require constant need to rebalance socioeconomic interests of nations, transnational subjects, and individuals. Socialisation is an important and effective tool for balancing social and individual; however, despite socialisation is evolving rapidly, its scientific and practical potential is not duly uncovered. In the article theoretical and methodological foundations of socialisation of economy is surveyed in the context of globalisation, and etymology, explanations, scope, historical phases of development, theoretical aspects and practical forms (...) of use, consequences and prospects are analysed. The term «socialisation» was determined as a multidisciplinary, used in many scientific fields, increasingly involving various areas of research and is understood as inclusion, adaptation and development of human being in society. It was determined that the economy socialisation is implemented in different fields and semantic structures, contains a large number of methodological tools, is involved at all management levels, and is primarily identified with the increasing role of social component in the life of human resources. The assumptions were made about the future transformation of this category in line with the identified predictive trends. (shrink)

Within contemporary philosophy of mind, it is taken for granted that externalist accounts of meaning and mental content are, in principle, orthogonal to the matter of whether cognition itself is bound within the biological brain or whether it can constitutively include parts of the world. Accordingly, Clark and Chalmers (1998) distinguish these varieties of externalism as ‘passive’ and ‘active’ respectively. The aim here is to suggest that we should resist the received way of thinking about these dividing lines. With reference (...) to Brandom’s (1994; 2000; 2008) broad semantic inferentialism, we show that a theory of meaning can be at the same time a variety of active externalism. While we grant that supporters of other varieties of content externalism (e.g., Putnam 1975 and Burge 1986) can deny active externalism, this is not an option for semantic inferentialists: On this latter view, the role of the environment (both in its social and natural form) is not ‘passive’ in the sense assumed by the alternative approaches to content externalism. (shrink)

In this paper, I will argue that semantic holism is, inherently, a false claim. Semantic holism, here, being defined as the meaning of a word or expression in a given language (λ) is constructed by its relation to other words and expressions in said given language (λ) and its role in said given language (λ). The following premises and examples within the premises support the refutability of semantic holism, including linguistic relativity, culture and linguistic determinism.

We describe a strategy that is being used for the horizontal integration of warfighter intelligence data within the framework of the US Army’s Distributed Common Ground System Standard Cloud (DSC) initiative. The strategy rests on the development of a set of ontologies that are being incrementally applied to bring about what we call the ‘semantic enhancement’ of data models used within each intelligence discipline. We show how the strategy can help to overcome familiar tendencies to stovepiping of intelligence data, and (...) describe how it can be applied in an agile fashion to new data resources in ways that address immediate needs of intelligence analysts. (shrink)

Curriculum review of any academic curriculum is one way of demonstrating the dynamism of such discipline. Mass Communication as a dynamic discipline is one such beneficiary of curriculum review. In line with Iwuchukwu’s (2010) earlier submission that no graduate of any academic level or discipline worth’s more than the curriculum that produces him/her, it was an observed inability of some practicing journalists, especially, those in the print. To handle ethical issues, which was traced to a lacuna in the curriculum that (...) led to the introduction of the course, ethics. This paper seeks to unveil another obvious lapse among mass communication practitioners cutting across, print, broadcast and electronic media. It further highlights that such lapses as incompetence in language use, both at the phonetic, phonological semantic. Syntactic stylistic and even psycholinguistic to be a direct fall out of a perceived lacuna in the present mass communication education curriculum especially in Nigeria. We contend that a review of the present curriculum is glaringly imperative recommending not only the inclusion of more language/linguistic courses but also a stronger synergy between language/linguistics and mass communication. This is our opinion could be boosted with a course "Language and Communication not only though to all mass communication students at all levels, but it being recognized as another Sub-field of specialization by mass communication graduates who wish to further their stadium at the postgraduates levels as in the case in the University of Calabar. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

Here we focus on two questions: What is the proper semantics for deontic modal expressions in English? And what is the connection between true deontic modal statements and normative reasons? Our contribution towards thinking about the first, which makes up the bulk of our paper, considers a representative sample of recent challenges to a Kratzer-style formal semantics for modal expressions, as well as the rival views—Fabrizio Cariani’s contrastivism, John MacFarlane’s relativism, and Mark Schroeder’s ambiguity theory—those challenges are thought (...) to motivate. These include the Professor Procrastinate challenge to Inheritance (the principle that ‘If ought p and p entails q, then ought q), as well as Parfit’s miners puzzle regarding information-sensitive deontic modals. Here we argue that a Kratzer-style view is able to meet all of the challenges we’ll consider. In addition, we’ll identify challenges for each of those rival views. Our overall conclusion is that a Kratzer-style semantics remains the one to beat. With this assumption in place, we then ask how we should understand the relationship between true deontic modal statements and normative reasons. Should, for example, we hold that the truth of such a statement entails the existence of a normative reason for some agent to comply? Here we argue that, in many cases, acceptance of Kratzer’s semantics for deontic modals leaves open for substantive normative theorizing the question of whether an agent has a normative reason to comply with what she ought to do. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- humanitarian balance. (...) The resultant each of them can estimated by the ratio of socio-psychological predispositions of humanization/dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

The translational research community, in general, and the Clinical and Translational Science Awards (CTSA) community, in particular, share the vision of repurposing EHRs for research that will improve the quality of clinical practice. Many members of these communities are also aware that electronic health records (EHRs) suffer limitations of data becoming poorly structured, biased, and unusable out of original context. This creates obstacles to the continuity of care, utility, quality improvement, and translational research. Analogous limitations to sharing objective data in (...) other areas of the natural sciences have been successfully overcome by developing and using common ontologies. This White Paper presents the authors’ rationale for the use of ontologies with computable semantics for the improvement of clinical data quality and EHR usability formulated for researchers with a stake in clinical and translational science and who are advocates for the use of information technology in medicine but at the same time are concerned by current major shortfalls. This White Paper outlines pitfalls, opportunities, and solutions and recommends increased investment in research and development of ontologies with computable semantics for a new generation of EHRs. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. Recently, (...) though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

Vocal fry is a phonation, or voicing, in which an individual drops their voice below its natural register and consequently emits a low, growly, creaky tone of voice. Media outlets have widely acknowledged it as a generational vocal style characteristic of millennial women. Critics of vocal fry often claim that it is an exclusively female vocal pattern, and some say that the voicing is so distracting that they cannot understand what is being said under the phonation. Claiming that a phonation (...) is so distracting as to prevent uptake of the semantic content of an utterance associated with it is an extreme reaction, especially when accompanied by demands for women to change their phonation. We argue that this reaction limits women's communicative autonomy. We analyze the extreme reaction to female vocal fry, which we characterize as a non-content-based response, from the perspectives of philosophy of language, feminist epistemology, and linguistics. We argue that when fry is heard as annoying and distracting, it is because the hearer interprets the speaker as echoing an utterance from a position of authority to which she is not entitled. We show that this reaction encodes conscious or unconscious sexist attitudes toward women's voices. (shrink)

Using semi-structured interviews and an analytic approach based on the grounded theory, this research took on constructing an understanding of the socio-emotional relevance, and the meaning that a group of elder participants of CIAM «Lucía Salas Romo» of Quilicura (Santiago, Chile) ascribe to social discourses regarding aging. Findings showed that, mobilizing the semantic dissonance between what society promotes and the effective opportunities it allows for the elderly, there are two crucial components of the social discourse: social injustice and fear of (...) dependency. In turn, these play a central role in elder affectivity and the reformulation of identity during this developmental stage for this group (DOI: 10.33264/rpa.202101). (shrink)

According to a recent challenge to Kratzer's canonical contextualist semantics for deontic modal expressions, no contextualist view can make sense of cases in which such a modal must be information-sensitive in some way. Here I show how Kratzer's semantics is compatible with readings of the targeted sentences that fit with the data. I then outline a general account of how contexts select parameter values for modal expressions and show, in terms of that account, how the needed, (...) contextualist-friendly readings might plausibly get selected in the challenge cases. (shrink)

Host-microbiome interactions (HMIs) are critical for the modulation of biological processes and are associated with several diseases, and extensive HMI studies have generated large amounts of data. We propose that the logical representation of the knowledge derived from these data and the standardized representation of experimental variables and processes can foster integration of data and reproducibility of experiments and thereby further HMI knowledge discovery. A community-based Ontology of Host-Microbiome Interactions (OHMI) was developed following the OBO Foundry principles. OHMI leverages established (...) ontologies to create logically structured representations of microbiomes, microbial taxonomy, host species, host anatomical entities, and HMIs under different conditions and associated study protocols and types of data analysis and experimental results. (shrink)

Space situational awareness (SSA) is vital for international safety and security, and for the future of space travel. The sharing of SSA data and information should improve the state of global SSA for planetary defense and spaceflight safety. I take steps toward a Space Situational Awareness (SSA) Ontology, and outline some central objectives, requirements and desiderata in the ontology development process for this domain. The purpose of this ontological system is to explore the potential for the ontology research topic to (...) (i) represent SSA general knowledge, data, and entities/objects, (ii) clearly express the meaning of SSA data, and (iii) foster SSA data-sharing. The overall goal and motivation is to (iv) improve our capacity for planetary defense, e.g., from near- or deep-space objects and phenomena, and (v) facilitate safer and peaceful space access, navigation and travel, by improving global SSA. This research is thereby intended only for peaceful space-domain applications and uses, with particular interests in orbital debris. There is little application of ontology to the space domain as compared with other disciplines and little if any ontological development of SSA and related domains. In this respect, this paper offers novel concepts. (shrink)

The deontic modal must has two surprising properties: an assertion of must p does not permit a denial of p, and must does not take past tense complements. I first consider an explanation of these phenomena that stays within Angelika Kratzer’s semantic framework for modals, and then offer some reasons for rejecting that explanation. I then propose an alternative account, according to which simple must sentences have the force of an imperative.

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

Buddhist semantic realists assert that reality is always non-linguistic, beyond the domain of conceptual thought. Anything that is conceptual and linguistic, they maintain, cannot be reality and therefore cannot function as reality.The Pra¯san˙gika however rejects the realist theory and argues that all realities are purely linguistic—just names and concepts—and that only linguistic reality can have any causal function. This paper seeks to understand the Pra¯san˙gika’s radical semantic nominalism and its philosophical justifications by comparing and contrasting it with the realistic semantic (...) theories. (shrink)

It seems that by ‘having meaning’ or ‘significating’ (σημαίνειν) Aristotle has something like kind of determination in mind: ‘If ‘man’ has one meaning, let this be ‘two-footed animal’; by having one meaning I understand this: If such and such is a man, then if anything is a man, that will be what being a man is (τοῦτ’ ἔσται τὸ ἄνθρώπῳ εἶναι).’ (Met., Γ, 1006a31-34) This also brings kind of whole-particular or class-member relationship to mind: if a word has one meaning, (...) everything that is a particular case of that word, has that meaning. If this is true, we can say ‘significating one thing’ not only determines a word to a sense, it also determines a particular to the sense of the universal word. And this determination is a determination of being, that is, it determines ‘being something’ to a specific sense: to say that A is the meaning of B, whatever will be a B, it will necessarily have A as its meaning. The mental process Aristotle hints as what happens in signification of something is also a determinative act: ‘Thought stops and arrests the hearer’ (ἵστησι γὰρ ὁ λέγων τὴν διὰνοιαν, καὶ ὁ ἀκούσας ἠρέμησεν). (OI., I, 3, 16b19-22) That signification is kind of determination can be approved from Aristotle’s emphasis that the meaning must be ‘one’ thing, or at least a limited number of things. This is evident both by Aristotle’s accompanying ‘one’ with ‘having meaning’ in ‘having one meaning’ (‌σημαίνει ἓν ... ἓν σημαίνειν) and by his assertion of the necessity of limited determination just after the above mentioned text: ‘And it makes no difference even if one were to say a word has several meanings, if only they are limited in number.’ (Met., Γ, 1006a31-34) Not having a limited number of senses, Aristotle argues, implies that there is no ‘one’ meaning for the word and this is not different from having no meaning at all: ‘For not to have one meaning is to have no meaning’ (Met., Γ, 1006b6-7) Aristotle takes this ‘signification of one’ as an argument for both reasoning and PNC. Not having ‘one’ thing as the meaning of a word annihilates reasoning: ‘For it is impossible to think of anything if we do not think of one thing.’ Therefore, Aristotle asks us not only to accept that a word has a meaning but that it has ‘one’ meaning: ‘Let it be assumed then … that the name is significant of something and signifies ‘one’ thing. (Met., Γ, 1006b8-13) ‘Having one signification’ has also another important result for Aristotle because it supports PNC: ‘It is impossible, then, that being a man should mean precisely not being a man, if ‘man’ is not only a signification of one subject but also has one meaning (μὴ μόνον καθ’ ἑνος ἀλλὰ καὶ ἓν).’ (Met., Γ, 1006b13-15) Rejecting PNC and approving both being and not being of a thing is indeed destroying signification: ‘He, then, who says this is and is not denies what he affirms, so that what the word signifies, he says it does not signify; and this is impossible. Therefore, if ‘this is’ signifies something, one cannot truly assert the contradictory.’ (Met., K, 1062a16-20; cf. a20-23) 1) Formula: what is signified That which is signified by a word is a formula, which becomes the definition of the word out of its signification: ‘Out of their necessarily meaning something definition is created; for the formula, of which the word is a signification, becomes definition.’ (Met., Γ, 1012a21-24) Now if we consider the three above mentioned points, namely that i) signification is of being, ii) signification is having one meaning and iii) what is signified is indeed a formula, together, we can understand Aristotle better when he says ‘being one’ and ‘having one formula’ are the same: ‘For being one means this, as in the case of ‘raiment’ and ‘dress,’ that the formula is one.’ (Met., Γ, 1006b25-27) 2) What has signification Besides words, sentences have signification and ‘sentence is a speech significant based on synthesis.’ (OI, I, 4, 16b26) Syllables and parts of simple words do not have meaning and are mere sounds. About parts of composite words, however, although they contribute to the meaning of the whole, they do not have meaning by themselves (καθ’ αὑτό). (OI, I, 4, 16b30-) . (shrink)

I present two Triviality results for Kratzer's standard “restrictor” analysis of indicative conditionals. I both refine and undermine the common claim that problems of Triviality do not arise for Kratzer conditionals since they are not strictly conditionals at all.

The consequence argument is a powerful incompatibilist argument for the conclusion that, if determinism is true, what one does is what one must do. A major point of controversy between classical compatibilists and incompatibilists has been over the use of ‘can’ in the consequence argument. Classical compatibilists, holding that abilities to act are dispositions, have argued that ‘can’ should be analyzed as a conditional. But such an analysis of ‘can’ puts compatibilists in a position to grant the premises of the (...) argument while denying the conclusion. Incompatibilists remain unconvinced, and this corner of the debate over free will has reached a dialectical impasse. The present paper has two aims. First, to offer a new dialectical point of entry into this dispute on behalf of incompatibilists. By making use of Angelika Kratzer's influential semantic work on ‘can’ and ‘must’, I argue that incompatibilists are in a position to offer a plausible, positive treatment of ‘can’ that favors their view. Second, even if one does not think incompatibilism is thereby true (for as we shall see there are places to push back), the Kratzer semantics yields a number of important insights concerning the consequence argument that should be of broad interest. (shrink)

We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but (...) against a quantificational treatment) are mustered, and we propose a novel analysis of update on conditional imperatives (and an independently motivated revision of the standard ordering-semantics for root modals that makes use of it). Finally, we argue that imperative force is embeddable under an operation much like dynamic conjunction. (shrink)

We argue for three main claims. First, the sentence ‘A and B ought to φ and ψ’ can express what we a call a joint-ought claim: the claim that the plurality A and B ought to φ and ψ respectively. Second, the truth-value of this joint-ought claim can differ from the truth-value of the pair of claims ‘A ought to φ’ and ‘B ought to ψ.’ This is because what A and B jointly ought to do can diverge from what (...) they individually ought to do: it may be true that A and B jointly ought to φ and ψ respectively, yet false that A ought to φ and false that B ought to ψ; and vice-versa. Third, either of two prominent semantic analyses of ‘ought’ – Mark Schroeder’s relational semantics, and Angelika Kratzer’s modal semantics – can model joint-ought claims and this difference in truth-value. (shrink)

In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be ascribed. (...) We can see this by reflecting on analytic truths that ground modal claims like the two examples above. (shrink)

Cajetan’s analogy theory is usually evaluated in terms of its fidelity to the teachings of Aquinas. But what if Cajetan was trying to answer questions Aquinas himself did not raise, and so could not help to answer? Cajetan’s De Nominum Analogia can be interpreted as intending to solve a particular semantic problem: to characterize the unity of the analogical concept, so as to defend the possibility of a non-univocal term’s mediating syllogistic reasoning. Aquinas offers various semantic characterizations of analogy, saying (...) it involves, for instance: signification per prius et posterius; or a ratio propria which is only found in one analogate; or diverse modi significandi with a common res significata. Examined in turn, it is clear that none of Aquinas’s rules for analogy solve the semantic problem described. Cajetan thus cannot be reasonably expected to have intended his analogy treatise primarily as an interpretation or systematization of Aquinas’s teaching on analogy. (shrink)

In this paper I would like to offer a new framework for hypothetical reasoning, with the goal of predicting what scenarios we consider when we interpret a conditional or causal claim (such as a sentence containing the word ‘because‘). The idea is that when we interpret a conditional or causal claim, we identify a part of the world to change and imagine changing that. Sentences are about parts of the world: when we interpret a conditional antecedent or because clause, we (...) allow the part of the world it is about to vary. -/- My main evidence for this approach is that it gives just the right range of hypothetical scenarios to account for how we interpret both conditionals and causal claims. Some approaches (such as Stalnaker and Lewis’s semantics of conditionals based on similarity, and Kratzer’s premise semantics) consider too few scenarios, while others (such as Fine’s truthmaker semantics of conditionals) consider too many. The present approach inhabits a Goldilocks zone between these extremes: not too restrictive, not too permissive, but just right. (shrink)

The 3sg pronouns “he” and “she” impose descriptive gender conditions (being male/female) on their referents. These conditions are standardly analysed as presuppositions (Cooper in Quantification and syntactic theory, Reidel, Dordrecht, 1983; Heim and Kratzer in Semantics in generative grammar, Blackwell, Oxford, 1998). Cooper argues that, when 3sg pronouns occur free, they have indexical presuppositions: the gender condition must be satisfied by the pronoun’s referent in the actual world. In this paper, we consider the behaviour of free 3sg pronouns in (...) conditionals and focus on cases in which the pronouns’ gender presuppositions no longer seem to be indexical and project locally instead. We compare these cases to previously reported shifty readings of indexicals in so-called “epistemic conditionals” (Santorio in Philos Rev 121(3):359–406, 2012) and propose a unified account of locally projected gender presuppositions and shifty indexicals based on the idea that indicative conditionals are Kaplanian monsters. (shrink)

This paper concerns a thorny problem posed by conditional requirements: we expect some modal conditionals of the form ‘if p, then it must be that p’ to be false, yet they all come out true given two basic assumptions needed to account for ordinary conditional requirement like ‘If the light turns red, then cars must stop’. The first assumption is a semantic expectation linking conditional requirements with absolute ones, the second is the possible-worlds-based definition of modal sentences. Keeping the former (...) means giving up the latter, a result with profound implications for Kratzer’s formal semantics, modifications thereof, as well as deontic logics. (shrink)

Recent years have witnessed a proliferation of attempts to apply the mathematical theory of probability to the semantics of natural language probability talk. These sorts of “probabilistic” semantics are often motivated by their ability to explain intuitions about inferences involving “likely” and “probably”—intuitions that Angelika Kratzer’s canonical semantics fails to accommodate through a semantics based solely on an ordering of worlds and a qualitative ranking of propositions. However, recent work by Wesley Holliday and Thomas Icard has (...) been widely thought to undercut this motivation: they present a world-ordering semantics that yields essentially the same logic as probabilistic semantics. In this paper, I argue that the challenge remains: defenders of world-ordering semantics have yet to offer a plausible semantics that captures the logic of comparative likelihood. Holliday & Icard’s semantics yields an adequate logic only if models are restricted to Noetherian pre-orders. But I argue that the Noetherian restriction faces problems in cases involving infinitely large domains of epistemic possibilities. As a result, probabilistic semantics remains the better explanation of the data. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given (...) this enrichment, we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

Philosophers and cognitive scientists have worried that research on animal mind-reading faces a ‘logical problem’: the difficulty of experimentally determining whether animals represent mental states (e.g. seeing) or merely the observable evidence (e.g. line-of-gaze) for those mental states. The most impressive attempt to confront this problem has been mounted recently by Robert Lurz. However, Lurz' approach faces its own logical problem, revealing this challenge to be a special case of the more general problem of distal content. Moreover, participants in this (...) debate do not agree on criteria for representation. As such, future debate should either abandon the representational idiom or confront underlying semantic disagreements. (shrink)

According to what is perhaps the dominant picture of reference, what a referential term refers to in a context is determined by what the speaker intends for her audience to identify as the referent. I argue that this sort of broadly Gricean view entails, counterintuitively, that it is impossible to knowingly use referential terms in ways that one expects or intends to be misunderstood. Then I sketch an alternative which can better account for such opaque uses of language, or what (...) I call “sneaky reference.” I close by reflecting on the ramifications of these arguments for the theory of meaning more broadly. (shrink)

I start out by reviewing the semantics of ‘seem’. As ‘seem’ is a subject-raising verb, ‘it seems’ can be treated as a sentential operator. I look at the semantic and logical properties of ‘it seems’. I argue that ‘it seems’ is a hyperintensional and contextually flexible operator. The operator distributes over conjunction but not over disjunction, conditionals or semantic entailments. I further argue that ‘it seems’ does not commute with negation and does not agglomerate with conjunction. I then show (...) that the mental states expressed by perceptual uses of ‘seem’ have non-conceptual, yet perspectival contents. In the final part of the paper I argue that while the content of the mental states expressed by perceptual uses of ‘seem’ are non-conceptual, having a mental state of this type requires possessing conceptual abilities corresponding to what the mental state represents. (shrink)

Some years ago, Machery, Mallon, Nichols, and Stich reported the results of experiments that reveal, they claim, cross-cultural differences in speaker’s ‘intuitions’ about Kripke’s famous Gödel–Schmidt case. Several authors have suggested, however, that the question they asked their subjects is ambiguous between speaker’s reference and semantic reference. Machery and colleagues have since made a number of replies. It is argued here that these are ineffective. The larger lesson, however, concerns the role that first-order philosophy should, and more importantly should not, (...) play in the design of such experiments and in the evaluation of their results. (shrink)