Results for 'semantic notation'

960 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. 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  
  3. 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  
  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. 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  
  11. 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  
  12. 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  
  13. 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  
  14. (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  
  15. 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  
  16. 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  
  17. (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  
  18. 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  
  19. 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  
  20. 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  
  21.  5
    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  
  22. 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  
  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. 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  
  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. 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  
  28. 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  
  29. Futher reflections on semantic minimalism: Reply to Wedgwood.Alessandro Capone - 2013 - In Alessandro Capone, Franco Lo Piparo & Marco Carapezza (eds.), Perspectives on Pragmatics and Philosophy. Cham: Springer. pp. 437-474..
    semantic minimalism and moderte contextualism.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Basic semantic integration.Christopher Menzel - 2004 - Semantic Interoperability and Integration, Proceedings of Dagstuhl Seminar 04391.
    The use of highly abstract mathematical frameworks is essential for building the sort of theoretical foundation for semantic integration needed to bring it to the level of a genuine engineering discipline. At the same time, much of the work that has been done by means of these frameworks assumes a certain amount of background knowledge in mathematics that a lot of people working in ontology, even at a fairly high theoretical level, lack. The major purpose of this short paper (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. 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  
  32. 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  
  33. 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  
  34. 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  
  35. Default semantics and the architecture of the mind.Alessandro Capone - 2011 - Journal of Pragmatics 43:1741–1754..
    Relationship between default semantics and modularity of mind (in particular mind reading through the principle of Relevance).
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  36. Why Semantic Unspecificity is not Indexicality.Delia Belleri - 2014 - European Journal of Analytic Philosophy 10 (1):56-69.
    In this paper, I address the idea that certain sentences suffer from what is generally called semantic unspecificity: their meaning is determinate, but their truth conditions are not. While there tends to be agreement on the idea that semantic unspecificity differs from phenomena such as ambiguity and vagueness, some theorists have defended an account which traces it to indexicality, broadly construed. Some authors have tried to vindicate the distinction between unspecificity and indexicality and, in this paper, I pursue (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. 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  
  38. 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  
  39. 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  
  40. 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  
  41. 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  
  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 Epistemology Redux: Proof and Validity in Quantum Mechanics.Arnold Cusmariu - 2016 - Logos and Episteme 7 (3):287-303.
    Definitions I presented in a previous article as part of a semantic approach in epistemology assumed that the concept of derivability from standard logic held across all mathematical and scientific disciplines. The present article argues that this assumption is not true for quantum mechanics (QM) by showing that concepts of validity applicable to proofs in mathematics and in classical mechanics are inapplicable to proofs in QM. Because semantic epistemology must include this important theory, revision is necessary. The one (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. The Semantics of Divine Esse in Boethius.Elliot Polsky - forthcoming - Nova et Vetera.
    Boethius identifies God both with esse ipsum and esse suum. This paper explains Boethius's general semantic use of "esse" and the application of this use to God. It questions the helpfulness of attributing to Boethius "existence" words and argues for a more robust role in Boethius’s thought for Hilary of Poitiers’s and Augustine’s exegeses of Exodus 3:14-15 than has been acknowledged in recent scholarship.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Semantics and the Plural Conception of Reality.Salvatore Florio - 2014 - Philosophers' Imprint 14:1-20.
    According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  46. Procedural Semantics and its Relevance to Paradox.Elbert Booij - forthcoming - Logic and Logical Philosophy:1-24.
    Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is developed, based (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. 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  
  48. Semantic dispositionalism without exceptions.Arvid Båve - 2020 - Philosophical Studies 177 (6):1751-1771.
    Semantic dispositionalism is roughly the view that meaning a certain thing by a word, or possessing a certain concept, consists in being disposed to do something, e.g., infer a certain way. Its main problem is that it seems to have so many and disparate exceptions. People can fail to infer as required due to lack of logical acumen, intoxication, confusion, deviant theories, neural malfunctioning, and so on. I present a theory stating possession conditions of concepts that are counterfactuals, rather (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  49. Truthmaker Semantics for Epistemic Logic.Peter Hawke & Aybüke Özgün - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 295-335.
    We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  50. 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  
1 — 50 / 960