Results for 'atomic semantics'

962 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. 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  
  5. 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  
  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. 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. 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  
  11. 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  
  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. 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  
  14. 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  
  15. 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  
  16. (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  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. 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  
  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. 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  
  26. 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  
  27. 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  
  28. 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  
  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. 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  
  33. 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  
  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. 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  
  36. 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  
  37. 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 I propose (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. 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 and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. (1 other version)Semantic normativity.Åsa Maria Wikforss - 2001 - Philosophical Studies 102 (2):203-26.
    My paper examines the popular idea, defended by Kripke, that meaning is an essentially normative notion. I consider four common versions of this idea and suggest that none of them can be supported, either because the alleged normativity has nothing to do with normativity or because it cannot plausibly be said that meaning is normative in the sense suggested. I argue that contrary to received opinion, we don’t need normativity to secure the possibility of meaning. I conclude by considering the (...)
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  40. 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 dispenses with (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  41. Functorial Semantics for the Advancement of the Science of Cognition.Venkata Posina, Dhanjoo N. Ghista & Sisir Roy - 2017 - Mind and Matter 15 (2):161-184.
    Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  42. Semantic information and the network theory of account.Luciano Floridi - 2012 - Synthese 184 (3):431-454.
    The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising the target (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  43. 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   17 citations  
  44. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  45. Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
    This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  46. 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  
  47.  74
    Map Semantics and the Geography of Meaning.Gabriel Greenberg - 2024 - In Ernest Lepore & Luvell Anderson (eds.), The Oxford Handbook of Applied Philosophy of Language. New York, NY: Oxford University Press. pp. 489-522.
    This chapter develops a semantic theory for maps and situates it within the broader geography of meaning and semiotic significance. The discussion focuses on three central aspects of map semantics: the use of space, line marking, and linguistic tags. It is argued that the treatment of space in maps must be based on geometrical projection from a viewpoint rather than the traditional analysis in terms of spatial isomorphism. The chapter then shows how to integrate the projection-based semantics of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. 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  
  49. 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  
  50. Success semantics: the sequel.Bence Nanay - 2013 - Philosophical Studies 165 (1):151-165.
    The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief. After arguing that in its present form, success semantics is vulnerable to decisive objections, I examine the possibilities of salvaging the core of this proposal. More specifically, I propose that the content of some very simple, but very important, mental states, the immediate (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
1 — 50 / 962