Results for 'non-deterministic semantics'

1000+ found
Order:
  1.  70
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Recovery Operators, Paraconsistency and Duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - forthcoming - Logic Journal of the IGPL.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Swap Structures Semantics for Ivlev-Like Modal Logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Non-Deterministic Algebras and Algebraization of Logics.Ana Claudia Golzio & Marcelo E. Coniglio - 2015 - Filosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  61
    On Formal Aspects of the Epistemic Approach to Paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Max Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. London: College Publications. pp. 48-74.
    This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. A Unified Non Monstrous Semantics for Third Person Pronouns.Fabio Del Prete & Sandro Zucchi - 2017 - Semantics and Pragmatics 10.
    It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  70
    First-Order Swap Structures Semantics for Some Logics of Formal Inconsistency.Marcelo E. Coniglio - forthcoming - Journal of Logic and Computation.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Propensities in a Non-Deterministic Physics.N. Gisin - 1991 - Synthese 89 (2):287 - 297.
    Propensities are presented as a generalization of classical determinism. They describe a physical reality intermediary between Laplacian determinism and pure randomness, such as in quantum mechanics. They are characterized by the fact that their values are determined by the collection of all actual properties. It is argued that they do not satisfy Kolmogorov axioms; other axioms are proposed.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Words Without Objects: Semantics, Ontology, and Logic for Non-Singularity.Henry Laycock - 2006 - Oxford University Press.
    A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of the main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for "stuff" like air and water. With discrete objects, we may always ask "how many?," but with stuff the question has to be "how much?" Laycock's fascinating exploration also addresses key logical and linguistic questions about the (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  10.  32
    Semantics for Non-Declaratives.Kirk Ludwig & Dan Boisvert - 2008 - In Ernest Lepore & Barry C. Smith (eds.), The Oxford Handbook of Philosophy of Language. Oxford University Press.
    This article begins by distinguishing force and mood. Then it lays out desiderata on a successful account. It sketches as background the program of truth-theoretic semantics. Next, it surveys assimilation approaches and argues that they are inadequate. Then it shows how the fulfillment-conditional approach can be applied to imperatives, interrogatives, molecular sentences containing them, and quantification into mood markers. Next, it considers briefly the recent set of propositions approach to the semantics of interrogatives and exclamatives. Finally, it shows (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  11.  62
    Review of Henry Laycock, Words Without Objects: Semantics, Ontology, and Logic for Non-Singularity. [REVIEW]Kathrin Koslicki - 2007 - Australasian Journal of Philosophy 85 (1):160-163.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  71
    Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - manuscript
    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  
  13. Completeness and Correspondence in Chellas–Segerberg Semantics.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):891-911.
    We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  46
    An Empirical Argument Against Moral Non-Cognitivism.Thomas Pölzler & Jen Wright - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy.
    According to non-cognitivism, moral sentences and judgements do not aim to represent how things morally are. This paper presents an empirical argument against this view. We begin by showing that non-cognitivism entails the prediction that after some reflection competent ordinary speakers’ semantic intuitions favor that moral sentences and judgements do not aim to represent how things morally are. At first sight, this prediction may seem to have been confirmed by previous research on folk metaethics. However, a number of methodological worries (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15.  48
    On Graph-Theoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
    A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. 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  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17. 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, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Non-Cognitivism and the Problem of Moral-Based Epistemic Reasons: A Sympathetic Reply to Cian Dorr.Joseph Long - 2016 - Journal of Ethics and Social Philosophy (3):1-7.
    According to Cian Dorr, non-cognitivism has the implausible implication that arguments like the following are cases of wishful thinking: If lying is wrong, then the souls of liars will be punished in the afterlife; lying is wrong; therefore, the souls of liars will be punished in the afterlife. Dorr further claims that if non-cognitivism implies that the above argument and similar arguments are cases of wishful thinking, then non-cognitivism remains implausible even if one solves the so-called Frege-Geach problem. Dorr’s claims (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Dual Content Semantics, Privative Adjectives and Dynamic Compositionality.Guillermo Del Pinal - 2015 - Semantics and Pragmatics 8 (7):1-53.
    This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components. I argue that the non-extension-determining components are part of linguistic meaning because they play a key compositional role in certain constructions, especially in privative noun phrases such as "fake gun" and "counterfeit document". Furthermore, I show that if we modify the compositional interpretation rules in certain simple ways, this dual content account of noun phrase modification can be implemented in a type-driven (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  81
    The Truth About Moods.Kirk Ludwig - 1997 - ProtoSociology 10:19-66.
    Assertoric sentences are sentences which admit of truth or falsity. Non-assertoric sentences, imperatives and interrogatives, have long been a source of difficulty for the view that a theory of truth for a natural language can serve as the core of a theory of meaning. The trouble for truth-theoretic semantics posed by non-assertoric sentences is that, prima facie, it does not make sense to say that imperatives, such as 'Cut your hair', or interrogatives such as 'What time is it?', are (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  21. Lies, Half-Truths, and Falsehoods About Tarski’s 1933 “Liar” Antinomies.John Corcoran & Joaquin Miller - 2012 - Bulletin of Symbolic Logic 18 (1):140-141.
    We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those who (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
    In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  23. Non-Classical Metatheory for Non-Classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  24.  27
    The History and Prehistory of Natural-Language Semantics.Daniel W. Harris - 2017 - In Sandra Lapointe & Christopher Pincock (eds.), Innovations in the History of Analytical Philosophy. Palgrave-MacMillan. pp. 149--194.
    Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. How Helen Keller Used Syntactic Semantics to Escape From a Chinese Room.William J. Rapaport - 2006 - Minds and Machines 16 (4):381-436.
    A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNePS (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  26. Jerry Fodor on Non-Conceptual Content.Katalin Balog - 2009 - Synthese 167 (3):311 - 320.
    Proponents of non-conceptual content have recruited it for various philosophical jobs. Some epistemologists have suggested that it may play the role of “the given” that Sellars is supposed to have exorcised from philosophy. Some philosophers of mind (e.g., Dretske) have suggested that it plays an important role in the project of naturalizing semantics as a kind of halfway between merely information bearing and possessing conceptual content. Here I will focus on a recent proposal by Jerry Fodor. In a recent (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  27. Conceptual Role Semantics and the Reference of Moral Concepts.Neil Sinclair - 2018 - European Journal of Philosophy 26 (1):95-121.
    This paper examines the prospects for a conceptual or functional role theory of moral concepts. It is argued that such an account is well-placed to explain both the irreducibility and practicality of moral concepts. Several versions of conceptual role semantics for moral concepts are distinguished, depending on whether the concept-constitutive conceptual roles are wide or narrow normative or non-normative and purely doxastic or conative. It is argued that the most plausible version of conceptual role semantics for moral concepts (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Binding On the Fly: Cross-Sentential Anaphora in Variable— Free Semantics.Anna Szabolcsi - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora. Kluwer Academic Publishers. pp. 215--227.
    Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Expressivism About Reference and Quantification Over the Non-Existent Without Meinongian Metaphysics.Stephen Barker - 2015 - Erkenntnis 80 (S2):215-234.
    Can we believe that there are non-existent entities without commitment to the Meinongian metaphysics? This paper argues we can. What leads us from quantification over non-existent beings to Meinongianism is a general metaphysical assumption about reality at large, and not merely quantification over the non-existent. Broadly speaking, the assumption is that every being we talk about must have a real definition. It’s this assumption that drives us to enquire into the nature of beings like Pegasus, and what our relationship as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Principles of Interpretive Charity and the Semantics of Knowledge Attributions.Gregory Stoutenburg - 2016 - Acta Analytica 31 (2):153-168.
    Positions in the debate about the correct semantics of “S knows that p” are sometimes motivated in part by an appeal to interpretive charity. In particular, non-skeptical views hold that many utterances of the sentence “S knows that p” are true and some of them think the fact that their views are able to respect this is a reason why their views are more charitable than skeptical invariantism. However, little attention has been paid to why charity should be understood (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  79
    Prolegomena zu einer jeden künftigen '(Nicht-)Metaphysik' der Religion: (Anti-)Realismus, (Non-)Kognitivismus und die religiöse Imagination.Amber Griffioen - 2016 - In Rico Gutschmidt & Thomas Rentsch (eds.), Gott ohne Theismus. Münster, Germany: pp. 127-147.
    In this chapter, I first explore the possible meanings of the expression 'non-metaphysical religion' and its relation to the realism and cognitivism debates (as well as these debates' relation to each other). I then sketch out and defend the germs of an alternative semantics for religious language that I call 'religious imaginativism'. This semantics attempts to move us away from the realism-antirealism debates in Philosophy of Religion and in this sense might count as 'non-metaphysical'. At the same time, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. The Bradleyan Regress, Non-Relational Realism, and the Quinean Semantic Strategy.Jonathan Reid Surovell - 2016 - Grazer Philosophische Studien 93 (1):63-79.
    Non-Relational Realism is a popular solution to the Bradleyan regress of facts or truths. It denies that there is a relational universal of exemplification; for an object a to exemplify a universal F-ness, on this view, is not for a relation to subsist between a and F-ness. An influential objection to Non-Relational Realism is that it is unacceptably obscure. The author argues that Non-Relational Realism can be understood as a selective application of satisfaction semantics to predicates like ‘exemplify’, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Modelling Belief Revision Via Belief Bases Using Situation Semantics.Ayse Sena Bozdag - 2017 - Dissertation, Bogazici University
    The belief base approach to belief representation and belief dynamics is developed as an alternative to the belief set approaches, which are pioneered by the AGM model. The belief base approach models collections of information and expectations of an agent as possibly incomplete and possibly inconsistent foundations for her beliefs. Nevertheless, the beliefs of an agent are always consistent; this is ensured by a sophisticated inference relation. Belief changes take place on the information base instead of on the belief set, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
    We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Deterministic Chance.Luke Glynn - 2010 - British Journal for the Philosophy of Science 61 (1):51–80.
    I argue that there are non-trivial objective chances (that is, objective chances other than 0 and 1) even in deterministic worlds. The argument is straightforward. I observe that there are probabilistic special scientific laws even in deterministic worlds. These laws project non-trivial probabilities for the events that they concern. And these probabilities play the chance role and so should be regarded as chances as opposed, for example, to epistemic probabilities or credences. The supposition of non-trivial deterministic chances might seem to (...)
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  36.  42
    Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - manuscript
    Substructural logics and their application to logical and semantic paradoxes have been extensively studied, but non-reexive systems have been somewhat neglected. Here, we aim to (at least partly) ll this lacuna, by presenting a non-reexive logic and theory of naïve consequence (and truth). We also investigate the semantics and the proof-theory of the system. Finally, we develop a compositional theory of truth (and consequence) in our non-reexive framework.
    Download  
     
    Export citation  
     
    Bookmark  
  37. Man as Trinity of Body, Spirit, and Soul.Marcoen J. T. F. Cabbolet - manuscript
    Although there are several monistic and dualistic approaches to the mind-body problem on the basis of classical or quantum mechanics, thus far no consensus exists about a solution. Recently, the Elementary Process Theory (EPT) has been developed: this corresponds with a fundamentally new disciplinary matrix for the study of physical reality. The purpose of the present research was to investigate the mind-body problem within this newly developed disciplinary matrix. The main finding is that the idea of a duality of body (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Relaxing About Moral Truths.Christine Tiefensee - 2019 - Ergo: An Open Access Journal of Philosophy 6 (31):869-890.
    As with all other moral realists, so-called relaxed moral realists believe that there are moral truths. Unlike metaphysical moral realists, they do not take themselves to be defending a substantively metaphysical position when espousing this view, but to be putting forward a moral thesis from within moral discourse. In this paper, I employ minimalism about truth to examine whether or not there is a semantic analysis of the claim ‘There are moral truths’ which can support this moral interpretation of one (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Inferential Expressivism and the Negation Problem.Luca Incurvati & Julian J. Schlöder - forthcoming - Oxford Studies in Metaethics 16.
    We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic:1-21.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Non-Descriptive Negation for Normative Sentences.Andrew Alwood - 2016 - Philosophical Quarterly 66 (262):1-25.
    Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42. Meaning, Modulation, and Context: A Multidimensional Semantics for Truth-Conditional Pragmatics.Guillermo Del Pinal - 2018 - Linguistics and Philosophy 41 (2):165-207.
    The meaning that expressions take on particular occasions often depends on the context in ways which seem to transcend its direct effect on context-sensitive parameters. ‘Truth-conditional pragmatics’ is the project of trying to model such semantic flexibility within a compositional truth-conditional framework. Most proposals proceed by radically ‘freeing up’ the compositional operations of language. I argue, however, that the resulting theories are too unconstrained, and predict flexibility in cases where it is not observed. These accounts fall into this position because (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  77
    Logical Semantics and Norms: A Kantian Perspective.Sérgio Mascarenhas - 2017 - Phenomenology and Mind (13):150-157.
    It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Teleosemantics, Infotel-Semantics and Circularity.Marc Artiga - 2014 - International Journal of Philosophical Studies 22 (4):583-603.
    Peter Godfrey-Smith and Nicholas Shea have argued that standard versions of teleosemantics render explanations of successful behavior by appealing to true beliefs circular and, consequently, non-explanatory. As an alternative, Shea has recently suggested an original teleosemantic account (that he calls ?Infotel-semantics?), which is supposed to be immune to the problem of circularity. The paper argues that the standard version of teleosemantics has a satisfactory reply to the circularity objection and that, in any case, Infotel-semantics is not better off (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Non-Normal Worlds and Representation.Francesco Berto - 2012 - In Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook. College Publications.
    World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46.  83
    A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice, Uppsala Prints and Preprints in Philosophy, 1994, No 10.Sten Lindström - manuscript
    This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Unity and Plurality. Philosophy, Logic, and Semantics.Massimiliano Carrara, Alessandra Arapinis & Friederike Moltmann - 2016 - Oxford University Press.
    This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Incompatibility Semantics From Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.
    In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  71
    The Non-Coding RNA Ontology : A Comprehensive Resource for the Unification of Non-Coding RNA Biology.Huang Jingshan, Eilbeck Karen, Barry Smith, A. Blake Judith, Dou Dejing, Huang Weili, A. Natale Darren, Ruttenberg Alan, Huan Jun & T. Zimmermann Michael - 2016 - Journal of Biomedical Semantics 7 (1).
    In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  39
    Context Dependence, MOPs,WHIMs and Procedures Recanati and Kaplan on Cognitive Aspects in Semantics.Carlo Penco - 2015 - In Lecture Notes in Artificial Intelligence 9405. pp. 410-422.
    After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non-descriptive modes of presentation (MOPs) and Kaplan’s ways of having in mind (WHIMs). After analysing the two attempts and verifying which answers they should give to the problem discussed by Kripke, I suggest a possible interpretation of these attempts: to insert a procedural or algorithmic level in (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000