Results for 'semantic notation'

963 found
Order:
  1. The history of the use of ⟦.⟧-notation in natural language semantics.Brian Rabern - 2016 - Semantics and Pragmatics 9 (12).
    In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Semantic Arithmetic: A Preface.John Corcoran - 1995 - Agora 14 (1):149-156.
    SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad subject (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Is semantics formal?Mark Schroeder - manuscript
    In this paper I will be concerned with the question of the extent to which semantics can be thought of as a purely formal exercise, which we can engage in in a way that is neutral with respect to how our formal system is to be interpreted. I will be arguing, to the contrary, that the features of the formal systems which we use to do semantics are closely linked, in several different ways, to the interpretation that we give to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Proof Theory and Semantics for a Theory of Definite Descriptions.Nils Kürbis - 2021 - In Anupam Das & Sara Negri (eds.), TABLEAUX 2021, LNAI 12842.
    This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Logical consequence in modal logic II: Some semantic systems for S4.George Weaver - 1974 - Notre Dame Journal of Formal Logic 15:370.
    ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Switched-words skepticism: A case study in semantical anti-skeptical argument.David Christensen - 1993 - Philosophical Studies 71 (1):33 - 58.
    A certain skeptical strategy involves a skeptical hypothesis that closely mirrors the structure of our standard theory of the world; this strategy insulates the skeptical argument from attacks based on standard criteria of theory choice. A standard reply to this strategy is to claim that proffered alternative is just the standard theory expressed in a different notation. But this reply does not succeed, given plausible assumptions about semantics. However, there is an alternative strategy--also semantical--which can deal with the problem, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Some Remarks on Russell's Account of Vagueness.Alan Schwerin - 1999 - Contemporary Philosophy 3: 52 - 57.
    According to Russell, the notation in Principia Mathematica has been designed to avoid the vagueness endemic to our natural language. But what does Russell think vagueness is? My argument is an attempt to show that his views on vagueness evolved and that the final conception he adopts is not coherent. Three phases of his conception of vagueness are identified, the most significant being the view that he articulates on vagueness in his 1923 address to the Jowett Society. My central (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. How I Learned to Stop Worrying and Love 'Sherlock Holmes': A Reply to Garcia-Carpintero.Heidi Savage - 2020 - Teorema: International Journal of Philosophy 1 (XXXIX):105-134.
    In “Semantics of Fictional Terms,” Garcia-Carpintero critically surveys the most recent literature on the topic of fictional names. One of his targets is realism about fictional discourse. Realists about fictional discourse believe that: (a) it contains true sentences that have fictional names as their subjects; (b) sentences containing names can be true only if those names have referents; (c) fictional names have fictional characters – abstract objects – as their referents. The fundamental problem that arises for realists is that not (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. LF: a Foundational Higher-Order Logic.Zachary Goodsell & Juhani Yli-Vakkuri - manuscript
    This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Indexical Sinn: Fregeanism versus Millianism.João Branquinho - 2014 - Revista de Filosofia Aurora 26 (39):465-486.
    This paper discusses two notational variance views with respect to indexical singular reference and content: the view that certain forms of Millianism are at bottom notational variants of a Fregean theory of reference, the Fregean Notational Variance Claim; and the view that certain forms of Fregeanism are at bottom notational variants of a direct reference theory, the Millian Notational Variance Claim. While the former claim rests on the supposition that a direct reference theory could be easily turned into a particular (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. The Concept of a Substance and its Linguistic Embodiment.Henry Laycock - 2023 - Philosophies 8 (6):114.
    My objective is a better comprehension of two theoretically fundamental concepts. One, the concept of a substance in an ordinary (non-Aristotelian) sense, ranging over such things as salt, carbon, copper, iron, water, and methane – kinds of stuff that now count as (chemical) elements and compounds. The other I’ll call the object-concept in the abstract sense of Russell, Wittgenstein, and Frege in their logico-semantical enquiries. The material object-concept constitutes the heart of our received logico / ontic system, still massively influenced (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Are Salmon's 'Guises' Disguised Fregean Senses?João Branquinho - 1990 - Analysis 50 (1):19 - 24.
    In a review of Frege's Puzzle1, Graeme Forbes makes the claim that Salmon's account of belief might be seen, under certain conditions, as a mere notational variant of a neo-Fregean theory; and thus that such an account might be reduced to a neo-Fregean one simply by rewriting it in terms of Fregean terminology. With a view to supporting his claim, Forbes offers an outline of an account of belief which, according to him, would satisfy the following conditions: (i) it could (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  14. Filosofia tehnologiei blockchain - Ontologii.Nicolae Sfetcu - manuscript
    Despre necesitatea şi utilitatea dezvoltării unei filosofii specifice tehnologiei blockchain, accentuând pe aspectele ontologice. După o Introducere în care evidenţiez principalele direcţii filosofice pentru această tehnologie emergentă, în Tehnologia blockchain explicitez modul de funcţionare al blockchain, punând în discuţie direcţiile ontologice de dezvoltare în Proiectarea şi Modelarea acestei tehnologii. Următoarea secţiune este dedicată principalei aplicaţii a tehnologiei blockchain, Bitcoin, cu implicaţiile sociale ale acestei criptovalute. Urmează o secţiune de Filosofie în care identific tehnologia blockchain cu conceptul de heterotopie dezvoltat de (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  15. How Mathematics Isn’t Logic.Roger Wertheimer - 1999 - Ratio 12 (3):279-295.
    View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. (1 other version)PM's Circumflex, Syntax and Philosophy of Types.Kevin C. Klement - 2011 - In Kenneth Blackwell, Nicholas Griffin & Bernard Linsky (eds.), Principia mathematica at 100. Hamilton, Ontario: Bertrand Russell Research Centre. pp. 218-246.
    Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Compositionality and Expressive Power: Comments on Pietroski.Elmar Unnsteinsson - 2020 - Croatian Journal of Philosophy 20 (3):295-310.
    Paul Pietroski has developed a powerful minimalist and internalist alternative to standard compositional semantics, where meanings are identified with instructions to fetch or assemble human concepts in specific ways. In particular, there appears to be no need for Fregean Function Application, as natural language composition only involves processes of combining monadic or dyadic concepts, and Pietroski’s theory can then, allegedly, avoid both singular reference and truth conditions. He also has a negative agenda, purporting to show, roughly, that the vocabulary of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Complex Logic.Boris Dernovoy - manuscript
    Complex logic is a novel logical framework, which formalizes the semantics of the categories of matter, space, and time in a system of logic that operates with complex logical objects. A complex logical object represents a superposition of a logical statement and its logical negation positioning any statement co-relatively to its logical negation. In the system of logical notations, where S is a logical statement and Not S is its logical negation, complex logic includes co-relative logical positions of S and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. (1 other version)A cognitive archaeology of writing: Concepts, models, goals.Karenleigh Anne Overmann - 2021 - In Philip Boyes, Philippa Steele & Natalia Elvira Astoreca (eds.), The social and cultural contexts of historic writing practices. Oxbow. pp. 55-72.
    Complex systems like literacy and numeracy emerge through multigenerational interactions of brains, behaviors, and material forms. In such systems, material forms – writing for language and notations for numbers – become increasingly refined to elicit specific behavioral and psychological responses in newly indoctrinated individuals. These material forms, however, differ fundamentally in things like semiotic function: language signifies, while numbers instantiate. This makes writing for language able to represent the meanings and sounds of particular languages, while notations for numbers are semantically (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Types of the Theory of Types in Wittgenstein’s Tractatus.Andrei Nekhaev - 2021 - Tomsk State University Journal of Philosophy, Sociology and Political Science 15 (62):218–227.
    The article contains a critical analysis of Wittgenstein’s theory of logical symbolism. According to an influential interpretation, Wittgenstein presented in the Tractatus a new method of solving paradoxes. This method seems a simple and effective alternative to Russell’s type theory. Wittgenstein’s theory of logical symbolism is based on the requirement of clear notation and the context principle: the type of a symbol only “shows” itself in the way we use the signs of our language. The function sign φ(φx) does (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Paskian Algebra: A Discursive Approach to Conversational Multi-agent Systems.Thomas Manning - 2023 - Cybernetics and Human Knowing 30 (1-2):67-81.
    The purpose of this study is to compile a selection of the various formalisms found in conversation theory to introduce readers to Pask's discursive algebra. In this way, the text demonstrates how concept sharing and concept formation by means of the interaction of two participants may be formalized. The approach taken in this study is to examine the formal notation system used by Pask and demonstrate how such formalisms may be used to represent concept sharing and concept formation through (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. The Truth Table Formulation of Propositional Logic.Tristan Grøtvedt Haze - forthcoming - Teorema: International Journal of Philosophy.
    Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic), and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for groups of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Philosophy of Blockchain Technology - Ontologies.Nicolae Sfetcu - 2019 - Bucharest, Romania: MultiMedia Publishing.
    About the necessity and usefulness of developing a philosophy specific to the blockchain technology, emphasizing on the ontological aspects. After an Introduction that highlights the main philosophical directions for this emerging technology, in Blockchain Technology I explain the way the blockchain works, discussing ontological development directions of this technology in Designing and Modeling. The next section is dedicated to the main application of blockchain technology, Bitcoin, with the social implications of this cryptocurrency. There follows a section of Philosophy in which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. (1 other version)Computability, Notation, and de re Knowledge of Numbers.Stewart Shapiro, Eric Snyder & Richard Samuels - 2022 - Philosophies 1 (7):20.
    Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Semantic Priming on Ordering Tasks.John Beverley & Nate Lauffer - manuscript
    Moeser suggested participants default to linear ordering elements but they can be primed to impose either linear or partial ordering. This study seems problematic insofar as ‘greater than’ might be understood to incline participants to favor linear orderings. Recent follow-up studies strongly suggest participants do not default to linear ordering. It seems plausible, moreover, that the observed priming effect is far more pervasive than Moeser countenanced. The present work explores the extent to which priming for linear or partial orders conflicts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Success Semantics, Reinforcing Satisfaction, and Sensory Inclinations.Howard Nye & Meysam Shojaeenejad - 2023 - Dialogue:1-12.
    Success semantics holds, roughly, that what it is for a state of an agent to be a belief that P is for it to be disposed to combine with her desires to cause behaviour that would fulfill those desires if P. J. T. Whyte supplements this with an account of the contents of an agent's “basic desires” to provide an attractive naturalistic theory of mental content. We argue that Whyte's strategy can avoid the objections raised against it by restricting “basic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Ontological Pluralism and Notational Variance.Bruno Whittle - 2021 - Oxford Studies in Metaphysics 12:58-72.
    Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. The Semantic Significance of Faultless Disagreement.Michele Palmira - 2014 - Pacific Philosophical Quarterly 96 (3):349-371.
    The article investigates the significance of the so-called phenomenon of apparent faultless disagreement for debates about the semantics of taste discourse. Two kinds of description of the phenomenon are proposed. The first ensures that faultless disagreement raises a distinctive philosophical challenge; yet, it is argued that Contextualist, Realist and Relativist semantic theories do not account for this description. The second, by contrast, makes the phenomenon irrelevant for the problem of what the right semantics of taste discourse should be. Lastly, (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  29. Semantics without semantic content.Daniel W. Harris - 2020 - Mind and Language 37 (3):304-328.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  30. Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Logique Et Analyse 251:297 - 315.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Semantics for Second Order Relevant Logics.Shay Logan - forthcoming - In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer.
    Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. Of course, it's no (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Semantics for Natural Languages / Semantika za prirodne jezike (Bosnian translation by Nijaz Ibrulj).Nijaz Ibrulj & Donald Davidson - 1997 - Odjek 1 (1-3):71-73.
    The essay "Semantics for Natural Languages" is here translated from a collection of Davidson's essays published under the title "Inquiries into Truth and Interpretation", Claredon Press, Oxford 1984.
    Download  
     
    Export citation  
     
    Bookmark  
  33. A Diagrammatic Notation for Visualizing Epistemic Entities and Relations.Kye Palider, Ameer Sarwar, Hakob Barseghyan, Paul Patton, Julia Da Silva, Torin Doppelt, Nichole Levesley, Jessica Rapson, Jamie Shaw, Yifang Zhang & Amna Zulfiqar - 2021 - Scientonomy 4:87–139.
    This paper presents a diagrammatic notation for visualizing epistemic entities and relations. The notation was created during the Visualizing Worldviews project funded by the University of Toronto’s Jackman Humanities Institute and has been further developed by the scholars participating in the university’s Research Opportunity Program. Since any systematic diagrammatic notation should be based on a solid ontology of the respective domain, we first outline the current state of the scientonomic ontology. We then proceed to providing diagrammatic tools (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Blockchain Identities: Notational Technologies for Control and Management of Abstracted Entities.Quinn Dupont - 2017 - Metaphilosophy 48 (5):634-653.
    This paper argues that many so-called digital technologies can be construed as notational technologies, explored through the example of Monegraph, an art and digital asset management platform built on top of the blockchain system originally developed for the cryptocurrency bitcoin. As the paper characterizes it, a notational technology is the performance of syntactic notation within a field of reference, a technologized version of what Nelson Goodman called a “notational system.” Notational technologies produce abstracted entities through positive and reliable, or (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. The semantics of common nouns and the nature of semantics.Joseph Almog & Andrea Bianchi - 2023 - Acta Philosophica Fennica 100:115-135.
    In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Truthmaker Semantics for Relevant Logic.Mark Jago - 2020 - Journal of Philosophical Logic 49 (4):681-702.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  37. Hyperintensional semantics: a Fregean approach.Mattias Skipper & Jens Christian Bjerring - 2020 - Synthese 197 (8):3535-3558.
    In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  38. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  39. A Semantics-Based Common Operational Command System for Multiagency Disaster Response.Linda Elmhadhbi, Mohamed-Hedi Karray, Bernard Archimède, J. Neil Otte & Barry Smith - 2022 - IEEE Transactions on Engineering Management 69 (6):3887 - 3901.
    Disaster response is a highly collaborative and critical process that requires the involvement of multiple emergency responders (ERs), ideally working together under a unified command, to enable a rapid and effective operational response. Following the 9/11 and 11/13 terrorist attacks and the devastation of hurricanes Katrina and Rita, it is apparent that inadequate communication and a lack of interoperability among the ERs engaged on-site can adversely affect disaster response efforts. Within this context, we present a scenario-based terrorism case study to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Semantic Information G Theory and Logical Bayesian Inference for Machine Learning.Chenguang Lu - 2019 - Information 10 (8):261.
    An important problem with machine learning is that when label number n>2, it is very difficult to construct and optimize a group of learning functions, and we wish that optimized learning functions are still useful when prior distribution P(x) (where x is an instance) is changed. To resolve this problem, the semantic information G theory, Logical Bayesian Inference (LBI), and a group of Channel Matching (CM) algorithms together form a systematic solution. MultilabelMultilabel A semantic channel in the G (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Semantics without the distinction between sense and force.Stephen J. Barker - 2007 - In Savas L. Tsohatzidis (ed.), John Searle's Philosophy of Language: Force, Meaning and Mind. Cambridge University Press. pp. 190-210.
    At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  42. Semantics and Context-Dependence: Towards a Strawsonian Account.Richard Heck - 2014 - In Alexis Burgess & Brett Sherman (eds.), Metasemantics: New Essays on the Foundations of Meaning. New York: Oxford University Press. pp. 327-364.
    This paper considers a now familiar argument that the ubiquity of context -dependence threatens the project of natural language semantics, at least as that project has usually been conceived: as concerning itself with `what is said' by an utterance of a given sentence. I argue in response that the `anti-semantic' argument equivocates at a crucial point and, therefore, that we need not choose between semantic minimalism, truth-conditional pragmatism, and the like. Rather, we must abandon the idea, familiar from (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  43. Semantic expressivism for epistemic modals.Peter Hawke & Shane Steinert-Threlkeld - 2020 - Linguistics and Philosophy 44 (2):475-511.
    Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  44. Truthmaker Semantics, Ground, and Generality.Kit Fine & Louis de Rosset - forthcoming - Topoi:1-7.
    Our aim in this paper is to extend the semantics for the kind of logic of ground developed in (deRosset and Fine, 2023). In that paper, we very briefly suggested a way of treating universal and existential quantification over a fixed domain of objects. Here we explore some options for extending the treatment to allow for a variable domain of objects.
    Download  
     
    Export citation  
     
    Bookmark  
  45. Does Semantic Relationism Solve Frege's Puzzle?Bryan Pickel & Brian Rabern - 2017 - Journal of Philosophical Logic 46 (1):97-118.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  46. Success semantics: the sequel.Bence Nanay - 2013 - Philosophical Studies 165 (1):151-165.
    The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief. After arguing that in its present form, success semantics is vulnerable to decisive objections, I examine the possibilities of salvaging the core of this proposal. More specifically, I propose that the content of some very simple, but very important, mental states, the immediate mental antecedents (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  47. Does Semantic Deflationism Entail Meta-Ontological Deflationism?Benjamin Marschall & Thomas Schindler - 2020 - Philosophical Quarterly 71 (1):99-119.
    Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard neo-Quinean approach to ontology is misguided. Although both kinds of views have generated much discussion, surprisingly little attention has been paid to the question of how they relate to each other. Are they independent, is it advisable to hold them all at once, or do they even (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Semantic externalism without thought experiments.Juhani Yli-Vakkuri - 2018 - Analysis (1):81-89.
    Externalism is the thesis that the contents of intentional states and speech acts are not determined by the way the subjects of those states or acts are internally. It is a widely accepted but not entirely uncontroversial thesis. Among such theses in philosophy, externalism is notable for owing the assent it commands almost entirely to thought experiments, especially to variants of Hilary Putnam's famous Twin Earth scenario. This paper presents a thought experiment-free argument for externalism. It shows that externalism is (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  49. Relating Semantics for Hyper-Connexive and Totally Connexive Logics.Jacek Malinowski & Ricardo Arturo Nicolás-Francisco - 2023 - Logic and Logical Philosophy (Special Issue: Relating Logic a):1-14.
    In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Semantics of Pictorial Space.Gabriel Greenberg - 2021 - Review of Philosophy and Psychology 1 (4):847-887.
    A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes from recent (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 963