Results for 'Boolean semantics'

963 found
Order:
  1. 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  
  2. (1 other version)Semantic information and the correctness theory of truth.Luciano Floridi - 2011 - Erkenntnis 74 (2):147–175.
    Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  3. Deontic Modality and the Semantics of Choice.Melissa Fusco - 2015 - Philosophers' Imprint 15.
    I propose a unified solution to two puzzles: Ross's puzzle and free choice permission. I begin with a pair of cases from the decision theory literature illustrating the phenomenon of act dependence, where what an agent ought to do depends on what she does. The notion of permissibility distilled from these cases forms the basis for my analysis of 'may' and 'ought'. This framework is then combined with a generalization of the classical semantics for disjunction — equivalent to (...) disjunction on the diagonal, but with a different two-dimensional character — that explains the puzzling facts in terms of semantic consequence. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  4. Assertion, Rejection, and Semantic Universals.Giorgio Sbardolini - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 183-191.
    Natural language contains simple lexical items for some but not all Boolean operators. English, for example, contains conjunction and, disjunction or, negated disjunction nor, but no word to express negated conjunction *nand nor any other Boolean connective. Natural language grammar can be described by a logic that expresses what the lexicon can express by its primitives, and the rest compositionally. Such logic for propositional connectives is described here as a bilateral extension of update semantics. The basic intuition (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. The Birth of Semantics.Richard Kimberly Heck & Robert C. May - 2020 - Journal for the History of Analytical Philosophy 8 (6):1-31.
    We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Outline of a theory of truth as correctness for semantic information.Luciano Floridi - 2009 - tripleC 7 (2):142-157.
    The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Weak islands and an algebraic semantics for scope taking.Anna Szabolcsi & Frans Zwarts - 1997 - In Ways of Scope Taking. Kluwer Academic Publishers.
    Modifying the descriptive and theoretical generalizations of Relativized Minimality, we argue that a significant subset of weak island violations arise when an extracted phrase should scope over some intervener but is unable to. Harmless interveners seem harmless because they can support an alternative reading. This paper focuses on why certain wh-phrases are poor wide scope takers, and offers an algebraic perspective on scope interaction. Each scopal element SE is associated with certain operations (e.g., not with complements). When a wh-phrase scopes (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  8. Quantification.Anna Szabolcsi - 2010 - New York: Cambridge University Press.
    This book surveys research in quantification starting with the foundational work in the 1970s. It paints a vivid picture of generalized quantifiers and Boolean semantics. It explains how the discovery of diverse scope behavior in the 1990s transformed the view of quantification, and how the study of the internal composition of quantifiers has become central in recent years. It presents different approaches to the same problems, and links modern logic and formal semantics to advances in generative syntax. (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  9. Quantifier Words and Their Multifunctional(?) Parts.Anna Szabolcsi, James Doh Whang & Vera Zu - 2014 - Language and Linguistics 15 (1).
    Formal semantic analyses often take words to be minimal building blocks for the purposes of compositionality. But various recent theories of morphology and syntax have converged on the view that there is no demarcation line corresponding to the word level. The same conclusion has emerged from the compositional semantics of superlatives. In the spirit of extending compositionality below the word level, this paper explores how a small set of particles (Japanese KA and MO, Chinese DOU, and Hungarian VALA/VAGY, MIND, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. (1 other version)Twist-Valued Models for Three-valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Against Preservation.Matthew Mandelkern & Justin Khoo - 2019 - Analysis 79 (3):424-436.
    Bradley offers a quick and convincing argument that no Boolean semantic theory for conditionals can validate a very natural principle concerning the relationship between credences and conditionals. We argue that Bradley’s principle, Preservation, is, in fact, invalid; its appeal arises from the validity of a nearby, but distinct, principle, which we call Local Preservation, and which Boolean semantic theories can non-trivially validate.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  14. From Aristotle’s oppositions to Aristotelian oppositions.Fabien Schang - 2017 - In Valery Petroff (ed.), The Legacies of Aristotle as Constitutive Element of European Rationality.
    Aristotle’s philosophy is considered with respect to one central concept of his philosophy, viz. opposition. Far from being a mere side-effect of syllogistic, it is argued in the present paper that opposition helps to articulate ontology and logic through an account of what can be or cannot be in a systematic and structural way. The paper is divided into three main parts. In Section I, the notion of Being is scrutinized through Aristotle’s theory of categories. In Section II, the notion (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Identity and Aboutness.Benjamin Brast-McKie - 2021 - Journal of Philosophical Logic 50 (6):1471-1503.
    This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, 2017a,b) (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  17. 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  
  18. Analitička filozofija_izabrani tekstovi.Nijaz Ibrulj - 2022 - Sarajevo: Academia Analitica.
    Analytical philosophy is ruled by the alliance of logic, linguistics and mathematics since its beginnings in the syllogistic calculus of terms and premises in Aristotle's Analytica protera, in the theories of medieval logic that dealt with what are Proprietatis Terminorum (significatio, suppositio, appellatio), in the theological apologetics of argumentation with the combinatorics of symbols by Raymundus Llullus in the work Ars Magna, Generalis et Ultima (1305-08), in what is presented as Theologia Combinata (cf. Tomus II.p.251) in Ars Magna Sciendi sive (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. 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  
  20. Formalizing Self-Reference Paradox using Predicate Logic.P. Olcott - manuscript
    We begin with the hypothetical assumption that Tarski’s 1933 formula ∀ True(x) φ(x) has been defined such that ∀x Tarski:True(x) ↔ Boolean-True. On the basis of this logical premise we formalize the Truth Teller Paradox: "This sentence is true." showing syntactically how self-reference paradox is semantically ungrounded.
    Download  
     
    Export citation  
     
    Bookmark  
  21. Another Side of Categorical Propositions: The Keynes–Johnson Octagon of Oppositions.Amirouche Moktefi & Fabien Schang - 2023 - History and Philosophy of Logic 44 (4):459-475.
    The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. The enduring scandal of deduction: is propositional logic really uninformative?Marcello D'Agostino & Luciano Floridi - 2009 - Synthese 167 (2):271-315.
    Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  23.  57
    The Algebras of Lewis Counterfactuals.Giuliano Rosella & Sara Ugolini - manuscript
    The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work aims to fill this gap by providing a comprehensive logico-algebraic analysis of Lewis's logics. We begin by introducing novel finite axiomatizations for varying strengths of Lewis's logics, distinguishing between global and local consequence relations on Lewisian sphere models. We then demonstrate that the global consequence relation is strongly algebraizable in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. An Expressivist Theory of Taste Predicates.Dilip Ninan - 2024 - Philosophers' Imprint 24 (1).
    Simple taste predications come with an acquaintance requirement: they require the speaker to have had a certain kind of first-hand experience with the object of predication. For example, if I tell you that the creme caramel is delicious, you would ordinarily assume that I have actually tasted the creme caramel and am not simply relying on the testimony of others. The present essay argues in favor of a 'lightweight' expressivist account of the acquaintance requirement. This account consists of a recursive (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Iterated privation and positive predication.Bjørn Jespersen, Massimiliano Carrara & Marie Duží - 2017 - Journal of Applied Logic 25:S48-S71.
    The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
    I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  27. B-frame duality.Guillaume Massas - 2023 - Annals of Pure and Applied Logic 174 (5):103245.
    This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation theorem of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Hungarian disjunctions and positive polarity.Anna Szabolcsi - 2002 - In Istvan Kenesei & Peter Siptar (eds.), Approaches to Hungarian, Vol. 8. Univ. of Szeged.
    The de Morgan laws characterize how negation, conjunction, and disjunction interact with each other. They are fundamental in any semantics that bases itself on the propositional calculus/Boolean algebra. This paper is primarily concerned with the second law. In English, its validity is easy to demonstrate using linguistic examples. Consider the following: (3) Why is it so cold in here? We didn’t close the door or the window. The second sentence is ambiguous. It may mean that I suppose we (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  29. Proof that Wittgenstein is correct about Gödel.P. Olcott - manuscript
    The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Boole's criteria for validity and invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  31. Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott - manuscript
    The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.
    Download  
     
    Export citation  
     
    Bookmark  
  32. An introduction to logical entropy and its relation to Shannon entropy.David Ellerman - 2013 - International Journal of Semantic Computing 7 (2):121-145.
    The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pair of elements in distinct blocks of the partition. The logical concept of entropy based on partition logic is the normalized counting measure of the set of distinctions of a partition on a finite set--just as the usual logical notion of probability based on the (...) logic of subsets is the normalized counting measure of the subsets (events). Thus logical entropy is a measure on the set of ordered pairs, and all the compound notions of entropy (join entropy, conditional entropy, and mutual information) arise in the usual way from the measure (e.g., the inclusion-exclusion principle)--just like the corresponding notions of probability. The usual Shannon entropy of a partition is developed by replacing the normalized count of distinctions (dits) by the average number of binary partitions (bits) necessary to make all the distinctions of the partition. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Semantic Externalism and Psychological Externalism.Åsa Wikforss - 2008 - Philosophy Compass 3 (1):158-181.
    Externalism is widely endorsed within contemporary philosophy of mind and language. Despite this, it is far from clear how the externalist thesis should be construed and, indeed, why we should accept it. In this entry I distinguish and examine three central types of externalism: what I call foundational externalism, externalist semantics, and psychological externalism. I suggest that the most plausible version of externalism is not in fact a very radical thesis and does not have any terribly interesting implications for (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  34. Truthmaker Semantics, Ground, and Generality.Kit Fine & Louis de Rosset - forthcoming - Topoi:1-7.
    Our aim in this paper is to extend the semantics for the kind of logic of ground developed in (deRosset and Fine, 2023). In that paper, we very briefly suggested a way of treating universal and existential quantification over a fixed domain of objects. Here we explore some options for extending the treatment to allow for a variable domain of objects.
    Download  
     
    Export citation  
     
    Bookmark  
  35. Deontic Logics based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - 2013 - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Dordrecht, Netherland: Springer Verlag.
    Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. Semantic externalism without thought experiments.Juhani Yli-Vakkuri - 2018 - Analysis (1):81-89.
    Externalism is the thesis that the contents of intentional states and speech acts are not determined by the way the subjects of those states or acts are internally. It is a widely accepted but not entirely uncontroversial thesis. Among such theses in philosophy, externalism is notable for owing the assent it commands almost entirely to thought experiments, especially to variants of Hilary Putnam's famous Twin Earth scenario. This paper presents a thought experiment-free argument for externalism. It shows that externalism is (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  37. 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  
  38. 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 Kaplan (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  39. 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  
  40. 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  
  41. 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  
  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. 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 than (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  45. The semantics of existence.Friederike Moltmann - 2013 - Linguistics and Philosophy 36 (1):31-63.
    The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements in (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  46. 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  
  47. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. The semantics of belief ascriptions.Michael McKinsey - 1999 - Noûs 33 (4):519-557.
    nated discussion of the semantics of such verbs. I will call this view.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  49. Syntax, Semantics, and Computer Programs.William J. Rapaport - 2020 - Philosophy and Technology 33 (2):309-321.
    Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Semantic Inferentialism as (a Form of) Active Externalism.J. Adam Carter, James Henry Collin & S. Orestis Palermos - forthcoming - Phenomenology and the Cognitive Sciences.
    Within contemporary philosophy of mind, it is taken for granted that externalist accounts of meaning and mental content are, in principle, orthogonal to the matter of whether cognition itself is bound within the biological brain or whether it can constitutively include parts of the world. Accordingly, Clark and Chalmers (1998) distinguish these varieties of externalism as ‘passive’ and ‘active’ respectively. The aim here is to suggest that we should resist the received way of thinking about these dividing lines. With reference (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 963