Results for 'semantic notation'

959 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. 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  
  8. 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  
  9. 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  
  10. 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  
  11. 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  
  12. 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  
  13. 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  
  14. 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  
  15. 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  
  16. 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  
  17. (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  
  18. 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  
  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. 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  
  21. 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  
  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.  14
    Limbertwig.Parker Emmerson - 2023
    This work is a attempt to describe various braches of mathematics and the analogies betwee them. Namely: 1) Symbolic Analogic 2) Lateral Algebraic Expressions 3) Calculus of Infin- ity Tensors Energy Number Synthesis 4) Perturbations in Waves of Calculus Structures (Group Theory of Calculus) 5) Algorithmic Formation of Symbols (Encoding Algorithms) The analogies between each of the branches (and most certainly other branches) of mathematics form, ”logic vectors.” Forming vector statements of logical analogies and semantic connections between the di↵erentiated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. (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  
  26. 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   1 citation  
  27. 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  
  28. 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  
  29. 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  
  30. 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  
  31. Tagging: semantics at the iconic/symbolic interface.Gabriel Greenberg - 2019 - In Julian J. Schlöder, Dean McHugh & Floris Roelofsen (eds.), Proceedings of the 22nd Amsterdam Colloquium. pp. 11-20.
    Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. 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  
  33. 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  
  34. 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  
  35. Beyond semantic pollution: Towards a practice-based philosophical analysis of labelled calculi.Fabio De Martin Polo - 2024 - Erkenntnis:1-30.
    This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. The semantics of belief ascriptions.Michael McKinsey - 1999 - Noûs 33 (4):519-557.
    nated discussion of the semantics of such verbs. I will call this view.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  37. 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  
  38. The Semantic Error Problem for Epistemic Contextualism.Patrick Michael Greenough & Dirk Kindermann - 2017 - In Jonathan Jenkins Ichikawa (ed.), The Routledge Handbook of Epistemic Contextualism. New York: Routledge. pp. 305--320.
    Epistemic Contextualism is the view that “knows that” is semantically context-sensitive and that properly accommodating this fact into our philosophical theory promises to solve various puzzles concerning knowledge. Yet Epistemic Contextualism faces a big—some would say fatal—problem: The Semantic Error Problem. In its prominent form, this runs thus: speakers just don’t seem to recognise that “knows that” is context-sensitive; so, if “knows that” really is context-sensitive then such speakers are systematically in error about what is said by, or how (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  39. Situated semantics.Varol Akman - 2008 - In Murat Aydede & P. Robbins (eds.), The Cambridge Handbook of Situated Cognition. Cambridge: Cambridge University Press. pp. 401-418.
    Situated semantics can be regarded as an attempt at placing situational context (context of situation) at the center of all discussions of meaning. Situation theory is a theory of information content that takes context very seriously. Individuals, properties, relations, and spatiotemporal locations are basic constructs of situation theory. Individuals are conceived as invariants; having properties and standing in relations, they tend to persist in time and space. An anchoring function binds the location parameters to appropriate objects present in the grounding (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. 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  
  41. Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs.Friederike Moltmann - 2020 - Theoretical Linguistics 3:159-200.
    This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42. 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  
  43. Semantic capital: its nature, value, and curation.Luciano Floridi - 2018 - Philosophy and Technology 31 (4):481-497.
    There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  44. Descriptive Semantic Externalism.Steven Gross - 2015 - In Nick Riemer (ed.), Routledge Handbook of Semantics. New York: Routledge. pp. 13-29.
    This chapter examines the “externalist” claim that semantics should include theorizing about representational relations among linguistic expressions and (purported) aspects of the world. After disentangling our main topic from other strands in the larger set of externalist-internalist debates, arguments both for and against this claim are discussed. It is argued, among other things, that the fortunes of this externalist claim are bound up with contentious issues concerning the semantics-pragmatics border.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Deontic Modality and the Semantics of Choice.Melissa Fusco - 2015 - Philosophers' Imprint 15.
    I propose a unified solution to two puzzles: Ross's puzzle and free choice permission. I begin with a pair of cases from the decision theory literature illustrating the phenomenon of act dependence, where what an agent ought to do depends on what she does. The notion of permissibility distilled from these cases forms the basis for my analysis of 'may' and 'ought'. This framework is then combined with a generalization of the classical semantics for disjunction — equivalent to Boolean disjunction (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  46. Path Semantics for Indicative Conditionals.Paolo Santorio - 2022 - Mind 131 (521):59-98.
    The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  47. Is semantic information meaningful data?Luciano Floridi - 2007 - Philosophy and Phenomenological Research 70 (2):351-370.
    There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information (SDI) as meaningful data, in favour of the Dretske‐Grice approach: meaningful and well‐formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI is incorrect because truth‐values (...)
    Download  
     
    Export citation  
     
    Bookmark   100 citations  
  48. Moral realism and semantic accounts of moral vagueness.Ali Abasnezhad - 2023 - Inquiry: An Interdisciplinary Journal of Philosophy 66 (3):381-393.
    Miriam Schoenfield argues that moral realism and moral vagueness imply ontic vagueness. In particular, she argues that neither shifty nor rigid semantic accounts of vagueness can provide a satisfactory explanation of moral vagueness for moral realists. This paper constitutes a response. I argue that Schoenfield's argument against the shifty semantic account presupposes that moral indeterminacies can, in fact, be resolved determinately by crunching through linguistic data. I provide different reasons for rejecting this assumption. Furthermore, I argue that Schoenfield's (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  51
    Do Semantics Properties Involve the Future?.Yang Zhiwei - manuscript
    Temporal Externalism posits the counterintuitive claim that the semantic properties of terms are influenced not only by present and past linguistic practices but also by future linguistic practices. In this paper, I primarily introduce a new challenge to Temporal Externalism, arguing that it presupposes a meta-belief about future linguistic practices but fails to explain how this belief relates to future properties. I then briefly highlight that Jussi Haukioja’s recent defense of Temporal Externalism still does not address the challenges posed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Parts and Wholes in Semantics.Friederike Moltmann - 1997 - New York: Oxford University Press.
    This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as (...)
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
1 — 50 / 959