This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:

434 found
Order:
1 — 50 / 434
  1. added 2020-05-20
    Non-distributive Relatives of ETL and NFL.Daniil Kozhemiachenko - forthcoming - Studia Logica:1-29.
    In this paper we devise non-distributive relatives of Exactly true logic by Pietz and Riveccio and its dual Non-falsity logic by Shramko, Zaitsev and Belikov. We consider two pre-orders which are algebraic counterparts of the ETL’s and NFL’s entailment relations on the de Morgan lattice 4. We generalise these pre-orders and determine which distributive properties that hold on 4 are not forced by either of the pre-orders. We then construct relatives of ETL and NFL but lack such distributive properties. For (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. added 2020-05-20
    Definable Operators on Stable Set Lattices.Robert Goldblatt - forthcoming - Studia Logica:1-18.
    A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have a relational semantics provided by structures based on polarities. Such structures have associated complete lattices of stable subsets, and these have been used to construct canonical extensions of lattice-based algebras. We study classes of structures that are closed under ultraproducts and whose (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2020-05-20
    Probability Modals and Infinite Domains.Adam Marushak - forthcoming - Journal of Philosophical Logic:1-15.
    Recent years have witnessed a proliferation of attempts to apply the mathematical theory of probability to the semantics of natural language probability talk. These sorts of “probabilistic” semantics are often motivated by their ability to explain intuitions about inferences involving “likely” and “probably”—intuitions that Angelika Kratzer’s canonical semantics fails to accommodate through a semantics based solely on an ordering of worlds and a qualitative ranking of propositions. However, recent work by Wesley Holliday and Thomas Icard has been widely thought to (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2020-05-19
    Extended Contact Algebras and Internal Connectedness.Tatyana Ivanova - 2020 - Studia Logica 108 (2):239-254.
    The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional relation C, called contact. Standard models of contact algebras are topological and are the contact algebras of regular closed sets in a given topological space. In such a contact algebra we add the predicate of internal connectedness with the following meaning—a regular closed set is internally connected if and only if its interior is (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5. added 2020-05-19
    Completeness Theorems for Σ–Additive Probabilistic Semantics.Nebojša Ikodinović, Zoran Ognjanović, Aleksandar Perović & Miodrag Rašković - 2020 - Annals of Pure and Applied Logic 171 (4):102755.
  6. added 2020-05-18
    Is Logic Out of This World?Michael J. Raven - forthcoming - Journal of Philosophy.
    Is logic out of this world? This elusive question reveals a tension in our thinking about the basis of logic: both worldly and unworldly answers get something right and yet they conflict. My aim is to clarify the question and explore a conciliatory answer. I focus on a characterization of unworldliness in terms of ground. This allows for a distinction between proximal and distal unworldliness. That in turn reconfigures our approach to the question. It may now be taken as asking (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. added 2020-05-16
    Intuitionistic Non-normal Modal Logics: A General Framework.Tiziano Dalmonte, Charles Grellois & Nicola Olivetti - forthcoming - Journal of Philosophical Logic:1-50.
    We define a family of intuitionistic non-normal modal logics; they can be seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only Necessity or Possibility. We then consider the more important case of bimodal logics, which contain both modal operators. In this case we define several interactions between Necessity and Possibility of increasing strength, although weaker than duality. We thereby obtain a lattice of 24 distinct bimodal logics. For all logics we provide both a Hilbert (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2020-05-12
    Truth and Feasible Reducibility.Ali Enayat, Mateusz Łełyk & Bartosz Wcisło - 2020 - Journal of Symbolic Logic 85 (1):367-421.
    Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal T}$-proof (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. added 2020-05-11
    Time for Curry.Jc Beall & David Ripley - manuscript
    This paper presents a new puzzle for certain positions in the theory of truth. The relevant positions can be stated in a language including a truth predicate T and an operation that takes sentences to names of those sentences; they are positions that take the T-schema A ↔ T to hold without restriction, for every sentence A in the language. As such, they must be based on a nonclassical logic, since paradoxes that cannot be handled classically will arise. The bestknown (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. added 2020-05-11
    Kripke Semantics for Intuitionistic Łukasiewicz Logic.A. Lewis-Smith, P. Oliva & E. Robinson - forthcoming - Studia Logica:1-27.
    This paper proposes a generalization of the Kripke semantics of intuitionistic logic IL appropriate for intuitionistic Łukasiewicz logic IŁL — a logic in the intersection between IL and (classical) Łukasiewicz logic. This generalised Kripke semantics is based on the poset sum construction, used in Bova and Montagna (Theoret Comput Sci 410(12):1143–1158, 2009) to show the decidability (and PSPACE completeness) of the quasiequational theory of commutative, integral and bounded GBL algebras. The main idea is that w \Vdash \sigma—which for IL is (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. added 2020-05-11
    Chisholm's Modal Paradox(Es) and Counterpart Theory 50 Years On.Murali Ramachandran - forthcoming - Logic and Logical Philosophy:1.
    Lewis’s [1968] counterpart theory (LCT for short), motivated by his modal realism, made its appearance within a year of Chisholm’s modal paradox [1967]. We are not modal realists, but we argue that a satisfactory resolution to the paradox calls for a counterpart-theoretic (CT-)semantics. We make our case by showing that the Chandler–Salmon strategy of denying the S4 axiom [◊◊ψ →◊ψ] is inadequate to resolve the paradox – we take on Salmon’s attempts to defend that strategy against objects from Lewis and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. added 2020-05-11
    Formal Notes on the Substitutional Analysis of Logical Consequence.Volker Halbach - 2020 - Notre Dame Journal of Formal Logic 61 (2):317-339.
    Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instances are permitted to contain parameters. Variants of this definition of logical consequence are given: logical validity can be defined with or without identity as a logical constant, and quantifiers can be relativized in substitution instances or not. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. added 2020-05-11
    Uniformly Bounded Arrays and Mutually Algebraic Structures.Michael C. Laskowski & Caroline A. Terry - 2020 - Notre Dame Journal of Formal Logic 61 (2):265-282.
    We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure M. We prove that if T is a complete L-theory, then T is mutually algebraic if and only if there is some model M of T for which every atomic formula has uniformly bounded arrays. Moreover, an incomplete theory T is mutually algebraic if and only if every atomic formula has uniformly bounded arrays in every model M of T.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. added 2020-05-11
    A Note on FDE “All the Way Up”.Jc Beall & Caleb Camrud - 2020 - Notre Dame Journal of Formal Logic 61 (2):283-296.
    A very natural and philosophically important subclassical logic is FDE. This account of logical consequence can be seen as going beyond the standard two-valued account to a four-valued account. A natural question arises: What account of logical consequence arises from considering further combinations of such values? A partial answer was given by Priest in 2014; Shramko and Wansing had also given a partial result some years earlier, although in a different context. In this note we generalize Priest’s result to show (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. added 2020-05-11
    Nonclassical Theories of Truth.Jc Beall & David Ripley - 2018 - In Oxford Handbook of Truth.
    This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is particularly so of the ‘suitable conditoinal’ issue: §4.3.) Still, we present enough representative ideas that one may fruitfully turn from this essay to the more-detailed (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  16. added 2020-05-11
    Formal Theories of Truth.Jc Beall, Michael Glanzberg & David Ripley - 2018 - Oxford: Oxford University Press.
    Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.
    Remove from this list  
     
    Export citation  
     
    Bookmark   5 citations  
  17. added 2020-05-11
    Spandrels of Truth.Jc Beall - 2010 - Bulletin of Symbolic Logic 16 (2):284-286.
  18. added 2020-05-11
    Defending Logical Pluralism.J. C. Beall & Greg Restall - 2001 - In Logical Consequence: Rival Approaches. Stanmore: Hermes. pp. 1-22.
    We are pluralists about logical consequence [1]. We hold that there is more than one sense in which arguments may be deductively valid, that these senses are equally good, and equally deserving of the name deductive validity. Our pluralism starts with our analysis of consequence. This analysis of consequence is not idiosyncratic. We agree with Richard Jeffrey, and with many other philosophers of logic about how logical consequence is to be defined. To quote Jeffrey.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  19. added 2020-05-06
    Simplified Kripke-Style Semantics for Some Normal Modal Logics.Andrzej Pietruszczak, Mateusz Klonowski & Yaroslav Petrukhin - 2020 - Studia Logica 108 (3):451-476.
    Pietruszczak :163–171, 2009. https://doi.org/10.12775/LLP.2009.013) proved that the normal logics \, \ ), \ are determined by suitable classes of simplified Kripke frames of the form \, where \. In this paper, we extend this result. Firstly, we show that a modal logic is determined by a class composed of simplified frames if and only if it is a normal extension of \. Furthermore, a modal logic is a normal extension of \ ; \; \) if and only if it is (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. added 2020-05-04
    Paraconsistent Logics From a Philosophical Point of View.Diogo Dias - 2012 - Cognitio-Estudos 9 (2):139-148.
    This article begins with a general and abstract definition of logic and, particularly, of paraconsistent logics, to establish a common ground for the discussion. Briefly stating, these kinds of logics have the property of being non-explosive, that is, it is not possible to infer any conclusion from contradictory premises. Using these definitions, it is possible to analyze some of the philosophical aspects of paraconsistent logics, in particular, the relation between the notion of explosion and the law of non-contradiction, as well (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. added 2020-04-28
    The Significance of Evidence-Based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - manuscript
    In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. added 2020-04-23
    Notes and Comments on Leibniz's Contigency.Florian Millo - 2020
    Contigency is a definition for which is noted for not having the principle of contradiction in itself, for which gives a different truths from what we are used to derive from geometry as an essential field for knowledge of creating strong logics. Leibniz clearly states one of his ideas for God, and why there must be contigent truths and necessary truths.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. added 2020-04-13
    Channels’ Confirmation and Predictions’ Confirmation: From the Medical Test to the Raven Paradox.Chenguang Lu - 2020 - Entropy 22 (4):384.
    After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple proposed the Raven Paradox. Then, Carnap used the increment of logical probability as the confirmation measure. So far, many confirmation measures have been proposed. Measure F proposed by Kemeny and Oppenheim among them possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. added 2020-03-28
    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.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  25. added 2020-03-24
    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 (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. added 2020-02-22
    Analogical Truth-Conditions for Metaphors.Eric Steinhart - 1994 - Metaphor and Symbolic Activity 9 (3):161-178.
    It has often been said that metaphors are based on analogies, but the nature of this relation has never been made precise. This article rigorously and formally specifies two semantic relations that do obtain between some metaphors and analogies. We argue that analogies often provide conditions of meaningfulness and truth for metaphors. An analogy is treated as an isomorphism from a source to topic domain. Metaphors are thought of as surface structures. Formal analogical conditions of meaningfulness and truth are fully (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. added 2020-01-23
    Hyperlogic: A System for Talking About Logics.Alexander W. Kocurek - 2019 - Proceedings for the 22nd Amsterdam Colloquium.
    Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. added 2020-01-20
    Formal Representations of Dependence and Groundedness.Edoardo Rivello - 2020 - Review of Symbolic Logic 13 (1):105-140.
    We study, in an abstract and general framework, formal representations of dependence and groundedness which occur in semantic theories of truth. Our goals are: (a) to relate the different ways in which groundedness is defined according to the way dependence is represented; and (b) to represent different notions of dependence as instances of a suitable generalisation of the mathematical notion of functional dependence.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. added 2020-01-15
    Two Fallacies in Proofs of the Liar Paradox.Peter Eldridge-Smith - forthcoming - Philosophia:1-20.
    At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use of substitution of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2020-01-11
    Deep Fried Logic.Shay Allen Logan - forthcoming - Erkenntnis:1-30.
    There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2020-01-11
    The Accident of Logical Constants.Tristan Grøtvedt Haze - 2020 - Thought: A Journal of Philosophy 9 (1):34-42.
    Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2020-01-10
    Logic Isn’T Normative.Gillian Russell - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy 1:1-18.
    Some writers object to logical pluralism on the grounds that logic is normative. The rough idea is that the relation of logical consequence has consequences for what we ought to think and h...
    Remove from this list   Direct download (11 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. added 2019-12-24
    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, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. added 2019-12-22
    Logical Pluralism.Gillian Russell - 2013 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy.
  35. added 2019-12-12
    Forma y Modalidad. Una Introducción al Concepto de Consecuencia Lógica.Mario Gomez-Torrente - 2000 - Buenos Aires, CABA, Argentina: Eudeba.
  36. added 2019-12-09
    An Informational Interpretation of Weak Relevant Logic and Relevant Property Theory.Edwin Mares - forthcoming - Synthese:1-23.
    This paper extends the theory of situated inference from Mares to treat two weak relevant logics, B and DJ. These logics are interesting because they can be used as bases for consistent naïve theories, such as naïve set theory. The concepts of a situation and of information that are employed by the theory of situated inference are used to justify various aspects of these logics and to give an interpretation of the notion of set that is represented in the naïve (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. added 2019-12-09
    Even Dialetheists Should Hate Contradictions.Edwin D. Mares - 2000 - Australasian Journal of Philosophy 78 (4):503 – 516.
  38. added 2019-11-29
    Wolpert, Chaitin y Wittgenstein sobre la imposibilidad, la incompletitud, la paradoja mentirosa, el teísmo, los límites de la computación, un principio de incertidumbre mecánica no cuántica y el universo como computadora, el teorema definitivo en la teoría de la máquina de Turing (revisado en 2019).Michael Richard Starks - 2019 - In Observaciones Sobre Imposibilidad, Incompleta, Paracoherencia,Indecisión,Aleatoriedad, Computabilidad, Paradoja E Incertidumbre En Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, Dacosta, Godel, Searle, Rodych, Berto,Floyd, Moyal-Sharrock Y Yanofsky. Las Vegas, NV USA: Reality Press. pp. 64-70.
    It is commonly thought that Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were mostly resolved by Wittgenstein over 80years ago. -/- “What we are ‘tempted to say’ in such a case is, of course, not philosophy, but it is its raw material. Thus, for example, what a mathematician is (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. added 2019-11-22
    Soames on the Logical Empiricists on Truth, Meaning, Convention, and Logical Truth.Mario Gómez-Torrente - 2019 - Philosophical Studies 176 (5):1357-1365.
    In the first part of this paper, I express doubts that Tarski and Carnap were guilty of some confusions about the relations between truth and meaning, attributed to them by Soames. In the second part, I consider Quine's Carrollian argument against conventionalism about logical truth, discussed only briefly and approvingly by Soames, and I explore the question whether some not obviously incorrect forms of conventionalism about logical truth, such as what I call "finitary conventionalism", are immune to Quine's argument.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2019-10-27
    Computation Tree Logics and Temporal Logics with Reference Pointers.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. added 2019-10-09
    Ми замість я: семантика і прагматика.Nataliya Yasakova - 2017 - Language: Classic – Modern – Postmodern 3:121-131.
    У статті проаналізовано семантико-прагматичні варіанти значення першої особи, що виникають унаслідок взаємодії категорій персональності та числа. Виокремлено ми авторське, царське, скромне, родинне, батьківське (опікунське), корпоративне, ми соціальної вагомості, ідеологічне, універсальне (філософське), ми привілейованої групи.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. added 2019-10-09
    Частково фразеологізовані речення з відношеннями зумовленості.Mariya Lychuk - 2017 - Language: Classic – Modern – Postmodern 3:201-209.
    У статті досліджено частково фразеологізовані речення з семантикою зумовленості, описано засоби зв’язку між їхніми частинами. Схарактеризовано семантико-структурні різновиди двох підтипів частково фразеологізованих речень із відношеннями зумовленості. Простежено специфіку вираження дії в пре- і постпозитивних частинах цих речень, описано специфіку додаткової семантики, що нашаровується на основне значення.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. added 2019-10-08
    Лінгвальне віддзеркалення оцінного ставлення до опонента в контексті перейменувальної кампанії.Olha Kyryliuk - 2017 - Language: Classic – Modern – Postmodern 3:29-35.
    У статті йдеться про особливості мовного віддзеркалення взаємного ставлення учасників дискусії в умовах обговорення суспільно-політичної ситуації. У ході аналізу окреслено основні психологічні прийоми маніпуляцій суспільною думкою за допомогою мовних одиниць. Встановлено екстра- та інтралінгвальні чинники, що впливають на вибір того чи того номінатива.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. added 2019-10-07
    Studies in the Way of Words.Paul Grice - 1989 - Synthese 84 (1):153-161.
    Remove from this list  
     
    Export citation  
     
    Bookmark   455 citations  
  45. added 2019-09-25
    Understanding Predication in Conceptual Spaces.Daniele Porello & Claudio Masolo - 2016 - In Roberta Ferrario & Werner Kuhn (eds.), Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016). pp. 139--152.
    We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. added 2019-09-13
    Základy explikace sémantických pojmů [Foundations of Explication of Semantic Concepts.Jiří Raclavský - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (4):488-505.
    It is a truism that semantic concepts are relative to language. I distinguish two kinds of them in accordance to their relativity to language L; the relativity is either explicit , or implicit . If language is explicated, the concepts of the former kind can be easily explicated in a plausible way and we resist semantic paradoxes. In the case of the latter concepts, the explication is also accessible and paradox-free. One can find then new interesting facts concerning famous Tarski’s (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. added 2019-09-09
    The Logic in Philosophy of Science.Hans Halvorson - 2019 - Cambridge University Press.
    Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. added 2019-08-14
    End of the Square?Fabien Schang - forthcoming - South American Journal of Logic 4 (2):1-21.
    It has been recently argued that the well-known square of opposition is a gathering that can be reduced to a one-dimensional figure, an ordered line segment of positive and negative integers [3]. However, one-dimensionality leads to some difficulties once the structure of opposed terms extends to more complex sets. An alternative algebraic semantics is proposed to solve the problem of dimensionality in a systematic way, namely: partition (or bitstring) semantics. Finally, an alternative geometry yields a new and unique pattern of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  49. added 2019-08-06
    Truthmaker Semantics for Relevant Logic.Mark Jago - forthcoming - Journal of Philosophical Logic:1-22.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. added 2019-07-11
    Logic Through a Leibnizian Lens.Craig Warmke - 2019 - Philosophers' Imprint 19.
    Leibniz's conceptual containment theory says that singular propositions of the form a is F are true when the complete concept of being a contains the concept of being F. In this paper, I provide a new semantics for first-order logic built around this idea. The semantics resolves longstanding problems for Leibniz's theory and can represent, without possible worlds, both hyperintensional distinctions among properties and a certain kind of presumably impossible situation that standard approaches cannot represent. The semantics also captures the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 434