Results for 'atomic semantics'

963 found
Order:
  1. (1 other version)Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2021 - Review of Symbolic Logic:1-28.
    Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Proof-Theoretic Semantics and the Interpretation of Atomic Sentences.Preston Stovall - 2020 - In Martin Blicha & Igor Sedlar (eds.), The Logica Yearbook 2019. College Publications. pp. 163-178.
    This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Compositional Semantics for Expressivists.Arvid Båve - 2013 - Philosophical Quarterly 63 (253):633-659.
    I here propose a hitherto unnoticed possibility of solving embedding problems for noncognitivist expressivists in metaethics by appeal to Conceptual Role Semantics. I show that claims from the latter as to what constitutes various concepts can be used to define functions from states expressed by atomic sentences to states expressed by complex sentences, thereby allowing an expressivist semantics that satisfies a rather strict compositionality constraint. The proposal can be coupled with several different types of concept individuation claim, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
    Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.
    In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. A non-uniform semantic analysis of the Italian temporal connectives prima and dopo.Del Prete Fabio - 2008 - Natural Language Semantics 16 (2):157-203.
    In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (in: (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  99
    An Approach to QST-based Nmatrices Semantics.Juan Pablo Jorge, Federico Holik & Décio Krause - 2023 - Principia: An International Journal of Epistemology 27 (3):539-607.
    This paper introduces the theory QST of quasets as a formal basis for the Nmatrices. The main aim is to construct a system of Nmatrices by substituting standard sets by quasets. Since QST is a conservative extension of ZFA (the Zermelo-Fraenkel set theory with Atoms), it is possible to obtain generalized Nmatrices (Q-Nmatrices). Since the original formulation of QST is not completely adequate for the developments we advance here, some possible amendments to the theory are also considered. One of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Approximating the limit: the interaction between quasi 'almost' and some temporal connectives in Italian.Amaral Patrícia & Del Prete Fabio - 2010 - Linguistics and Philosophy 33 (2):51 - 115.
    This paper focuses on the interpretation of the Italian approximative adverb quasi 'almost' by primarily looking at cases in which it modifies temporal connectives, a domain which, to our knowledge, has been largely unexplored thus far. Consideration of this domain supports the need for a scalar account of the semantics of quasi (close in spirit to Hitzeman's semantic analysis of almost, in: Canakis et al. (eds) Papers from the 28th regional meeting of the Chicago Linguistic Society, 1992). When paired (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Refuting Incompleteness and Undefinability.P. Olcott - manuscript
    Within the (Haskell Curry) notion of a formal system we complete Tarski's formal correctness: ∀x True(x) ↔ ⊢ x and use this finally formalized notion of Truth to refute his own Undefinability Theorem (based on the Liar Paradox), the Liar Paradox, and the (Panu Raatikainen) essence of the conclusion of the 1931 Incompleteness Theorem.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Formalizing the logical (self-reference) error of the Liar Paradox.P. Olcott - manuscript
    This paper decomposes the Liar Paradox into its semantic atoms using Meaning Postulates (1952) provided by Rudolf Carnap. Formalizing truth values of propositions as Boolean properties of these propositions is a key new insight. This new insight divides the translation of a declarative sentence into its equivalent mathematical proposition into three separate steps. When each of these steps are separately examined the logical error of the Liar Paradox is unequivocally shown.
    Download  
     
    Export citation  
     
    Bookmark  
  11. The Iconic-Symbolic Spectrum.Gabriel Greenberg - 2023 - Philosophical Review 132 (4):579-627.
    It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Acts and Alternative Analyses.Arvid Båve - 2019 - Journal of Philosophy 116 (4):181–205.
    I show that the act-type theories of Soames and Hanks entail that every sentence with alternative analyses (including every atomic sentence with a polyadic predicate) is ambiguous, many of them massively so. I assume that act types directed toward distinct objects are themselves distinct, plus some standard semantic axioms, and infer that act-type theorists are committed to saying that ‘Mary loves John’ expresses both the act type of predicating [loving John] of Mary and that of predicating [being loved by (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  13. Prototypes, Poles, and Topological Tessellations of Conceptual Spaces.Thomas Mormann - 2021 - Synthese 199 (1):3675 - 3710.
    Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. (2 other versions)Identity Syntax.Roger Wertheimer - 1999 - In T. Rockmore (ed.), Proceedings of the 20th World Congress of Philosophy, Vol II Metaphysics. Philosophy Document Center. pp. 171-186.
    Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that 'Twain' (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Confused Terms in Ordinary Language.Greg Frost-Arnold & James R. Beebe - 2020 - Journal of Logic, Language and Information 29 (2):197-219.
    Confused terms appear to signify more than one entity. Carnap maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truth-values of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truth-valueless. Field maintained that confused terms (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Objects and their environments: From Aristotle to ecological ontology.Barry Smith - 2001 - In Andrew U. Frank, Jonathan Raper & Jean-Paul Cheylan (eds.), The Life and Motion of Socio-Economic Units. London: Taylor & Francis. pp. 79-97.
    What follows is a contribution to the theory of space and of spatial objects. It takes as its starting point the philosophical subfield of ontology, which can be defined as the science of what is: of the various types and categories of objects and relations in all realms of being. More specifically, it begins with ideas set forth by Aristotle in his Categories and Metaphysics, two works which constitute the first great contributions to ontological science. Because Aristotle’s ontological ideas were (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  17. Interpretation Misunderstandings about Elementary Quantum Mechanics.Federico G. Lopez Armengol & Gustavo E. Romero - 2017 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 7:55--60.
    Quantum Mechanics is a fundamental physical theory about atomic-scale processes. It was built between 1920 and 1940 by the most distinguished physicists of that time. The accordance between the predictions of the theory and experimental results is remarkable. The physical interpretation of its mathematical constructs, however, raised unprecedented controversies. Ontological, semantic, and epistemic vagueness abound in the orthodox interpretations and have resulted in serious misunderstandings that are often repeated in textbooks and elsewhere. In this work, we identify, criticize, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. L'etica del Novecento. Dopo Nietzsche.Sergio Cremaschi - 2005 - Roma RM, Italia: Carocci.
    TWENTIETH-CENTURY ETHICS. AFTER NIETZSCHE -/- Preface This book tells the story of twentieth-century ethics or, in more detail, it reconstructs the history of a discussion on the foundations of ethics which had a start with Nietzsche and Sidgwick, the leading proponents of late-nineteenth-century moral scepticism. During the first half of the century, the prevailing trends tended to exclude the possibility of normative ethics. On the Continent, the trend was to transform ethics into a philosophy of existence whose self-appointed task was (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Vagueness and the Logic of the World.Zack Garrett - 2020 - Dissertation, University of Nebraska, Lincoln
    In this dissertation, I argue that vagueness is a metaphysical phenomenon---that properties and objects can be vague---and propose a trivalent theory of vagueness meant to account for the vagueness in the world. In the first half, I argue against the theories that preserve classical logic. These theories include epistemicism, contextualism, and semantic nihilism. My objections to these theories are independent of considerations of the possibility that vagueness is a metaphysical phenomenon. However, I also argue that these theories are not capable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Francis Bacon and Atomism: a Reappraisal.Silvia Manzo - 2001 - In John Murdoch, Lüthy Cristoph & Newman William (eds.), Late Medieval and Early Modern Corpuscular Matter Theories,. Brill. pp. 209-243.
    Francis Bacon’s theory of matter is a controversial topic among historians. I agree with the viewpoint, which suggests that although Bacon changed his views on atomism repeatedly, he never rejected it completely (Partington, Urbach, Gemelli). I will substantiate this interpretation by paying more attention to the usually neglected allegorical works and by investigating why Bacon changed his mind on atomism in his Novum organum. I shall reconstruct Bacon’s various opinions in chronological order to establish his final evaluation of atomism and (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  21. Generalizing and Normalizing Quine's Epistemology.Cheng-Hung Tsai - 2002 - Philosophical Writings 19:3-21.
    The aim of this paper is twofold: First, to generalize Quine's epistemology, to show that what Quine refutes for traditional epistemology is not only Cartesian foundationalism and Carnapian reductionism, but also any epistemological program if it takes atomic verificationist semantics or supernaturalism, which are rooted in the linguistic/factual distinction of individual sentences, as its underlying system. Thus, we will see that the range of naturalization in the Quinean sense is not as narrow as his critics think. Second, to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Can There Be a Davidsonian Theory of Empty Names?Siu-Fan Lee - 2016 - In Piotr Stalmaszczyk & Luis Fernandez Moreno (eds.), Linguistic and Philosophical Investigations into Proper Names. Peter Lang. pp. 203-226.
    This paper examines to what extent Davidsonian truth-theoretic semantics can give an adequate account for empty names in natural languages. It argues that the prospect is dim because of a tension between metaphysical austerity, non-vacuousness of theorems and empirical adequacy. Sainsbury (2005) proposed a Davidsonian account of empty names called ‘Reference Without Referents’ (RWR), which explicates reference in terms of reference-condition rather than referent, thus avoiding the issue of existence. This is an inspiring account. However, it meets several difficulties. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. (1 other version)Sensory Representation and Cognitive Architecture: An alternative to phenomenal concepts.Peter Fazekas & Zoltán Jakab - 2016 - Philosophical Studies 173 (8):2105-2124.
    We present a cognitive-physicalist account of phenomenal consciousness. We argue that phenomenal concepts do not differ from other types of concepts. When explaining the peculiarities of conscious experience, the right place to look at is sensory/ perceptual representations and their interaction with general conceptual structures. We utilize Jerry Fodor’s psycho- semantic theory to formulate our view. We compare and contrast our view with that of Murat Aydede and Güven Güzeldere, who, using Dretskean psychosemantic theory, arrived at a solution different from (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Modos de presentación y modos de determinación.Maite Ezcurdia - 1995 - Critica 27 (80):57-96.
    In this paper I argue that, in order to make (T1) and (T2) compatible within a Fregean approach, we must reject the view that all modes of presentation are senses. (T1) There is a diversity of ways in which Venus may be presented to each subject, and which are associated with the name ‘Venus’. (T2) There is only one Fregean thought expressed by the sentence ‘Venus is a planet’. Modes of presentation are essentially psychological and have causal powers on minds. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Nominal quantification as top-level anaphora.Maria Bittner - manuscript
    So far, we have focused on discourse reference to atomic individuals and specific times, events, and states. The basic point of the argument was that all types of discourse reference involve attention-guided anaphora (in the sense of Bittner 2012: Ch. 2). We now turn to discourses involving anaphora to and by quantificational expressions. Today, we focus on quantification over individuals but the analysis we develop will directly generalize to other semantic types. The basic idea is that quantification is one (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Variables, generality and existence.Henry Laycock - 2006 - In Paolo Valore (ed.), Topics on General and Formal Ontology. Polimetrica International Scientific Publisher. pp. 27.
    So-called mass nouns, however precisely they are defined, are in any case a subset of non-count nouns. Count nouns are either singular or plural; to be non-count is hence to be neither singular nor plural. This is not, as such, a metaphysically significant contrast: 'pieces of furniture' is plural whereas 'furniture' itself is non-count. This contrast is simply between 'the many / few' and 'the much / little' - between counting and measuring. However not all non-count nouns are, like 'furniture', (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. First- and second-order logic of mass terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.
    Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. A simple logic for comparisons and vagueness.Theodore J. Everett - 2000 - Synthese 123 (2):263-278.
    This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Ways Modality Could Be.Jason Zarri - manuscript
    In this paper I introduce the idea of a higher-order modal logic—not a modal logic for higher-order predicate logic, but rather a logic of higher-order modalities. “What is a higher-order modality?”, you might be wondering. Well, if a first-order modality is a way that some entity could have been—whether it is a mereological atom, or a mereological complex, or the universe as a whole—a higher-order modality is a way that a first-order modality could have been. First-order modality is modeled in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Aspectual universals of temporal anaphora.Maria Bittner - 2008 - In Susan Deborah Rothstein (ed.), Theoretical and Crosslinguistic Approaches to the Semantics of Aspect. John Benjamins. pp. 11--349.
    It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license anaphora (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  31. Atomically Precise Manufacturing and Responsible Innovation: A Value Sensitive Design Approach to Explorative Nanophilosophy.Steven Umbrello - 2019 - International Journal of Technoethics 10 (2):1-21.
    Although continued investments in nanotechnology are made, atomically precise manufacturing (APM) to date is still regarded as speculative technology. APM, also known as molecular manufacturing, is a token example of a converging technology, has great potential to impact and be affected by other emerging technologies, such as artificial intelligence, biotechnology, and ICT. The development of APM thus can have drastic global impacts depending on how it is designed and used. This paper argues that the ethical issues that arise from APM (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  32.  57
    4. Atomic energy levels emerge from hyperbolic Fine structure constant spiral.Malcolm Macleod - manuscript
    The Bohr radius for an ionizing electron (H atom) follows a hyperbolic spiral. At specific spiral angles, the angle components cancel returning an integer value for the radius (360°=4r, 360+120°=9r, 360+180°=16r, 360+216°=25r ... 720°= ∞r), and as the orbital radius at these angles (by including wavelengths) matches the principal quantum number n energy levels, this spiral can be used to calculate the transition frequencies for each n. A gravitational orbital simulation program was modified for atomic orbitals by the addition (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Atomic event concepts in perception, action and belief.Lucas Thorpe - 2022 - Journal of the American Philosophical Association 8 (1):110-127.
    Event concepts are unstructured atomic concepts that apply to event types. A paradigm example of such an event type would be that of diaper changing, and so a putative example of an atomic event concept would be DADDY'S-CHANGING-MY-DIAPER.1 I will defend two claims about such concepts. First, the conceptual claim that it is in principle possible to possess a concept such as DADDY'S-CHANGING-MY-DIAPER without possessing the concept DIAPER. Second, the empirical claim that we actually possess such concepts and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. 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 into (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  35. On atomic composition as identity.Roberto Loss - 2019 - Synthese 198 (Suppl 18):4519-4542.
    In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  38. Semantic holism and observation statements.Alan Schwerin - 1984 - Philosophical Papers 13 (2):19-27.
    Quine's views on semantic holism and observation statements appear to be incompatible. My paper is an attempt to alleviate this tension.
    Download  
     
    Export citation  
     
    Bookmark  
  39. 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 drawing semantic distinctions (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  40. 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 it canonically serves (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  41. 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 a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. 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  
  43. Semantic externalism and the mechanics of thought.Carrie Figdor - 2009 - Minds and Machines 19 (1):1-24.
    I review a widely accepted argument to the conclusion that the contents of our beliefs, desires and other mental states cannot be causally efficacious in a classical computational model of the mind. I reply that this argument rests essentially on an assumption about the nature of neural structure that we have no good scientific reason to accept. I conclude that computationalism is compatible with wide semantic causal efficacy, and suggest how the computational model might be modified to accommodate this possibility.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  44. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. The Semantic Realism/Anti-Realism Dispute and Knowledge of Meanings.Panu Raatikainen - 2009 - The Baltic International Yearbook of Cognition, Logic and Communication 5:1-13.
    Here the relationship between understanding and knowledge of meaning is discussed from two different perspectives: that of Dummettian semantic anti-realism and that of the semantic externalism of Putnam and others. The question addressed is whether or not the truth of semantic externalism would undermine a central premise in one of Dummetts key arguments for anti-realism, insofar as Dummetts premise involves an assumption about the transparency of meaning and semantic externalism is often taken to undermine such transparency. Several notions of transparency (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  46. Probabilistic semantics for epistemic modals: Normality assumptions, conditional epistemic spaces and the strength of must and might.Guillermo Del Pinal - 2021 - Linguistics and Philosophy 45 (4):985-1026.
    The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Semantic Deference versus Semantic Coordination.Laura Schroeter & François Schroeter - 2016 - American Philosophical Quarterly 53 (2):193-210.
    It's widely accepted that social facts about an individual's linguistic community can affect both the reference of her words and the concepts those words express. Theorists sympathetic to the internalist tradition have sought to accommodate these social dependence phenomena without altering their core theoretical commitments by positing deferential reference-fixing criteria. In this paper, we sketch a different explanation of social dependence phenomena, according to which all concepts are individuated in part by causal-historical relations linking token elements of thought.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  48. 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  
  49. Evaluating Future Nanotechnology: The Net Societal Impacts of Atomically Precise Manufacturing.Steven Umbrello & Seth D. Baum - 2018 - Futures 100:63-73.
    Atomically precise manufacturing (APM) is the assembly of materials with atomic precision. APM does not currently exist, and may not be feasible, but if it is feasible, then the societal impacts could be dramatic. This paper assesses the net societal impacts of APM across the full range of important APM sectors: general material wealth, environmental issues, military affairs, surveillance, artificial intelligence, and space travel. Positive effects were found for material wealth, the environment, military affairs (specifically nuclear disarmament), and space (...)
    Download  
     
    Export citation  
     
    Bookmark   5 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 963