Results for 'propositional identity'

1000+ found
Order:
  1.  49
    More on Propositional Identity.Charles Sayward & Philip Hugly - 1979 - Analysis 39 (3):129-132.
    We give a semantical account of propositional identity which is stronger than mutual entailment. That is, according to our account: (1) if A = B is true in a model, so are A 'validates' B and B 'validates' A. (2) There exist models m such that A 'validates' B and B 'validates' A are true in m but A = B is not true in m. According to our account the following rule is sound: (3) from (.. A..) (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  2.  36
    More on Propositional Identity.Philip Hugly & Charles Sayward - 1979 - Analysis 39 (3):129-132.
    We give a semantical account of propositional identity which is stronger than mutual entailment. That is, according to our account: (1) if A = B is true in a model, so are A 'validates' B and B 'validates' A. (2) There exist models m such that A 'validates' B and B 'validates' A are true in m but A = B is not true in m. According to our account the following rule is sound: (3) from (.. A..) (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  3.  36
    Prior on Propositional Identity.Philip Hugly & Charles Sayward - 1976 - Analysis 36 (4):182-184.
    Let A, B, C stand for sentences expressing propositions; let A be a component of C; let C A/B be just like C except for replacing some occurrence of A in C by an occurrence of B; let = be a binary connective for propositional identity read as ‘the proposition that __ is the very same proposition as …’. Then authors defend adding ‘from C = C A/B infer A = B’ to Prior’s rules for propositional (...), appearing in OBJECTS OF THOUGHT. (shrink)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  4.  10
    Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.
    There are logics where necessity is defined by means of a given identity connective: \ is a tautology). On the other hand, in many standard modal logics the concept of propositional identity \ can be defined by strict equivalence \}\). All these approaches to modality involve a principle that we call the Collapse Axiom : “There is only one necessary proposition.” In this paper, we consider a notion of PI which relies on the identity axioms of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  9
    Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment.Philip Hugly & Charles Sayward - 1981 - Notre Dame Journal of Formal Logic 22 (3):269-282.
    Anderson and Belnap devise a model theory for entailment on which propositional identity equals proposional coentailment. This feature can be reasonably questioned. The authors devise two extensions of Anderson and Belnap’s model theory. Both systems preserve Anderson and Belnap’s results for entailment, but distinguish coentailment from identity.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  6.  85
    What is the Logic of Propositional Identity?Charles Sayward - 2006 - Logic and Logical Philosophy 15 (1):3-15.
    Propositional identity is not expressed by a predicate. So its logic is not given by the ordinary first order axioms for identity. What are the logical axioms governing this concept, then? Some axioms in addition to those proposed by Arthur Prior are proposed.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  7.  12
    Non-Fregean Logic and Other Formalizations of Propositional Identity'.Grzegorz Malinowski - 1985 - Bulletin of the Section of Logic 14 (1):21-27.
    The paper is an extended version of a talk given to the XXXth Conference on the History of Logic devoted to the work of Professor Roman Suszko . Its aim is to present Sentential Calculus with Identity in comparison with other formalizations of propositional identity.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  7
    Propositional Identity and Logical Necessity.David B. Martens - 2004 - Australasian Journal of Logic 2 (7):1-11.
    In two early papers, Max Cresswell constructed two formal logics of propositional identity, pcr and fcr, which he observed to be respectively deductively equivalent to modal logics s4 and s5. Cresswell argued informally that these equivalences respectively “give . . . evidence” for the correctness of s4 and s5 as logics of broadly logical necessity. In this paper, I describe weaker propositional identity logics than pcr that accommodate core intuitions about identity and I argue that (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Propositional Identity and Logical Necessity.David Martens - 2004 - Australasian Journal of Philosophy 2:1-10.
    In two early papers, Max Cresswell constructed two formal logics of propositional identity, PCR and FCR, which he observed to be respectively deductively equivalent to modal logics S4 and S5. Cresswell argued informally that these equivalences respectively “give … evidence” for the correctness of S4 and S5 as logics of broadly logical necessity. In this paper, I describe weaker propositional identity logics than PCR that accommodate core intuitions about identity and I argue that Cresswell’s informal (...)
     
    Export citation  
     
    My bibliography  
  10.  58
    A Caution on Propositional Identity.James B. Freeman - 1977 - Analysis 37 (4):149 - 151.
  11. Propositional Identity.M. J. Cresswell - 1967 - Logique Et Analyse 40:283-291.
     
    Export citation  
     
    My bibliography   5 citations  
  12.  7
    Ackerman on Propositional Identity.Rod Bertolet - 1984 - Philosophical Quarterly 34 (137):499-504.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  13.  13
    Extensionality and Propositional Identity.A. N. Prior - 1969 - Critica 3 (7/8):35 - 60.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  5
    Entailment And Propositional Identity.C. Lewy - 1963 - Proceedings of the Aristotelian Society 64:107-122.
  15.  5
    Reference and Propositional Identity.Edgar Page - 1970 - Philosophical Review 79 (1):43-62.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  16.  1
    VI—Entailment and Propositional Identity.C. Lewy - 1964 - Proceedings of the Aristotelian Society 64 (1):107-122.
  17. A caution on propositional identity.James B. Freeman - 1977 - Erkenntnis 37 (4):149.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  18. More on Propositional Identity.Hugly Philip & Church Alonso - 1979 - Analysis 39 (3):129.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. Prior on propositional identity.Philip Hugly - 1976 - Erkenntnis 36 (4):182.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  20. Prior on Propositional Identity.Hugly Philip & Church Alonso - 1976 - Analysis 36 (4):182.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  21. Extensionality and Propositional Identity.A. N. Prior - 1969 - Crítica: Revista Hispanoamericana de Filosofía 3 (7):35-60.
    No categories
     
    Export citation  
     
    My bibliography  
  22. Reference and Propositional Identity.William R. Ulrich - 1974 - Dissertation, Cornell University
    No categories
     
    Export citation  
     
    My bibliography  
  23.  54
    A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis.Xuefeng Wen - 2007 - Studia Logica 85 (2):251-260.
    We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  24.  68
    Inside Doubt: On the Non-Identity of the Theory of Mind and Propositional Attitude Psychology. [REVIEW]David Landy - 2005 - Minds and Machines 15 (3-4):399-414.
    Eliminative materialism is a popular view of the mind which holds that propositional attitudes, the typical units of our traditional understanding, are unsupported by modern connectionist psychology and neuroscience, and consequently that propositional attitudes are a poor scientific postulate, and do not exist. Since our traditional folk psychology employs propositional attitudes, the usual argument runs, it too represents a poor theory, and may in the future be replaced by a more successful neurologically grounded theory, resulting in a (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  25.  47
    Intentional Identity Interpreted: A Case Study of the Relations Among Quantifiers, Pronouns, and Propositional Attitudes. [REVIEW]Esa Saarinen - 1978 - Linguistics and Philosophy 2 (2):151 - 223.
  26.  15
    Plausibility, Necessity and Identity: A Logic of Relative Plausibility. [REVIEW]Xiaowu Li & Xuefeng Wen - 2007 - Frontiers of Philosophy in China 2 (4):629-644.
    We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  27.  12
    Propositional Attitudes and Identity.John Wallace - 1969 - Journal of Philosophy 66 (6):145-152.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  28.  52
    Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2015 - Theoria 81 (2):143-181.
    A comparison is given between two conditions used to define logical constants: Belnap's uniqueness and Hacking's deducibility of identicals. It is shown that, in spite of some surface similarities, there is a deep difference between them. On the one hand, deducibility of identicals turns out to be a weaker and less demanding condition than uniqueness. On the other hand, deducibility of identicals is shown to be more faithful to the inferentialist perspective, permitting definition of genuinely proof-theoretical concepts. This kind of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  4
    Plausibility, Necessity and Identity: A Logic of Relative Plausibility.L. I. Xiaowu & W. E. N. Xuefeng - 2007 - Frontiers of Philosophy in China 2 (4):629-644.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  51
    Intentional Identity and Descriptions.William Lanier - 2014 - Philosophical Studies 170 (2):289-302.
    What is the semantic contribution of anaphoric links in sentences like, ‘A physicist was late to the party. He brought some bongos’? A natural first thought is that the passage entails a wide-scope existential claim that there is something that both (i) was late to the party and (ii) brought some bongos. Intentional identity sentences are counter-examples to this natural thought applied to anaphora in general. Some have tried to rescue the thought and accommodate the counter-examples by positing mythical (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  4
    Isomorphic Formulae in Classical Propositional Logic.Kosta Dosen & Zoran Petric - 2012 - Mathematical Logic Quarterly 58 (1):5-17.
    Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  13
    Ascriptions of Propositional Attitudes. An Analysis in Terms of Intentional Objects.Hans-Ulrich Hoche & Michael Knoop - 2013 - Phenomenology and the Cognitive Sciences 12 (4):747-768.
    Having briefly sketched the aims of our paper, namely, to logically analyse the ascription of propositional attitudes to somebody else in terms, not of Fregean senses or of intensions-with-s, but of the intentional object of the person spoken about, say, the believer or intender (Section 1), we try to introduce the concept of an intentional object as simply as possible, to wit, as coming into view whenever two (or more) subjective belief-worlds strikingly diverge (Section 2). Then, we assess the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  33.  28
    A Complete Minimal Logic of the Propositional Contents of Thought.Marek Nowak & Daniel Vanderveken - 1995 - Studia Logica 54 (3):391 - 410.
    Our purpose is to formulate a complete logic of propositions that takes into account the fact that propositions are both senses provided with truth values and contents of conceptual thoughts. In our formalization, propositions are more complex entities than simple functions from possible worlds into truth values. They have a structure of constituents (a content) in addition to truth conditions. The formalization is adequate for the purposes of the logic of speech acts. It imposes a stronger criterion of propositional (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  34.  25
    On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
    We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of formulas, φ, built up from propositional variables (p,q,r,...) and falsity $(\perp)$ using conjunction $(\wedge)$ , disjunction (∨) and implication (→). Write $\vdash\phi$ to indicate that such a formula is intuitionistically valid. We show that for each variable p and formula φ there exists a formula Apφ (effectively computable from φ), containing only variables not equal to p which occur in φ, and such (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   21 citations  
  35.  41
    Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics.Robert Goldblatt - 2011 - Cambridge University Press.
    Machine generated contents note: Introduction and overview; 1. Logics with actualist quantifiers; 2. The Barcan formulas; 3. The existence predicate; 4. Propositional functions and predicate substitution; 5. Identity; 6. Cover semantics for relevant logic; References; Index.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  36. The Argument for Subject Body Dualism From Transtemporal Identity Defended.Martine Nida-Rümelin - 2013 - Philosophy and Phenomenological Research 86 (3):702-714.
    In my argument for subject body dualism criticized by Ludwig I use the locution of a genuine and factual difference between two possibilities. Ludwig distinguishes three interpretations of this locution. According to his analysis the argument does not go through on any of these interpretations. In my response I agree that the argument is unsuccessful if ‘factual difference’ is understood in the first way. The second reading—according to a plausible understanding—cannot be used for the argument either. The discussion of this (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  48
    Intentional Identity Revisited.Ahti Pietarinen - 2001 - Nordic Journal of Philosophical Logic 6 (2):147-188.
    The problem of intentional identity, as originally offered by Peter Geach, says that there can be an anaphoric link between an indefinite term and a pronoun across a sentential boundary and across propositional attitude contexts, where the actual existence of an individual for the indefinite term is not presupposed. In this paper, a semantic resolution to this elusive puzzle is suggested, based on a new quantified intensional logic and game-theoretic semantics of imperfect information. This constellation leads to an (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  38.  28
    Undefinability of Propositional Quantifiers in the Modal System S.Silvio Ghilardi & Marek Zawadowski - 1995 - Studia Logica 55 (2):259 - 271.
    We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS42 (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  39.  3
    The Propositional Logic of Frege’s Grundgesetze: Semantics and Expressiveness.Eric D. Berg & Roy T. Cook - 2017 - Journal for the History of Analytical Philosophy 5 (6).
    In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  65
    A Logical Form for the Propositional Attitudes.Howard Burdick - 1982 - Synthese 52 (2):185 - 230.
    The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  41.  20
    Number of Extensions of Non-Fregean Logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2004 - Journal of Philosophical Logic 34 (2):193-206.
    We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality relation), and only countably many lie between WH and WF.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  42.  85
    Did Hegel Hold an Identity Theory of Truth?Robert Stern - 1993 - Mind 102 (408):645-647.
    The aim of this paper is to criticize Thomas Baldwin's claim, that in developing an identity theory of truth, F H Bradley was following Hegel. It is argued that Baldwin has incorrectly understood certain passages from Hegel which he cites in defense of this view, and that Hegel's conception of truth was primarily material, not propositional.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  43.  80
    Propositional Attitudes and Formal Ontology.Steven E. Boër - 1994 - Synthese 98 (2):187 - 242.
    This paper develops — within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions — a sententialist-functionalist account of belief as a symbolically mediated relation to a special kind of propositional entity, theproxy-encoding abstract proposition. It is then shown how, in terms of this account, the truth conditions of English belief reports may be captured in a formally precise and empirically adequate way that accords genuinely semantic status to familiar opacity data.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  44.  32
    Identity in Modal Logic Theorem Proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
    THINKER is an automated natural deduction first-order theorem proving program. This paper reports on how it was adapted so as to prove theorems in modal logic. The method employed is an indirect semantic method, obtained by considering the semantic conditions involved in being a valid argument in these modal logics. The method is extended from propositional modal logic to predicate modal logic, and issues concerning the domain of quantification and existence in a world's domain are discussed. Finally, we look (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  45.  13
    Roman Suzuko on Situational Identity.Charles Sayward - 2004 - Sorites 15:42-49.
    This paper gives a semantical account for the (i)ordinary propositional calculus, enriched with quantifiers binding variables standing for sentences, and with an identity-function with sentences as arguments; (ii)the ordinary theory of quantification applied to the special quantifiers; and (iii)ordinary laws of identity applied to the special function. The account includes some thoughts of Roman Suszko as well as some thoughts of Wittgenstein's Tractatus.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46.  9
    Non-Fregean Propositional Logic with Quantifiers.Joanna Golińska-Pilarek & Taneli Huuskonen - 2016 - Notre Dame Journal of Formal Logic 57 (2):249-279.
    We study the non-Fregean propositional logic with propositional quantifiers, denoted by $\mathsf{SCI}_{\mathsf{Q}}$. We prove that $\mathsf{SCI}_{\mathsf{Q}}$ does not have the finite model property and that it is undecidable. We also present examples of how to interpret in $\mathsf{SCI}_{\mathsf{Q}}$ various mathematical theories, such as the theory of groups, rings, and fields, and we characterize the spectra of $\mathsf{SCI}_{\mathsf{Q}}$-sentences. Finally, we present a translation of $\mathsf{SCI}_{\mathsf{Q}}$ into a classical two-sorted first-order logic, and we use the translation to prove some model-theoretic (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  98
    Individual Concepts in Modal Predicate Logic.Maria Aloni - 2005 - Journal of Philosophical Logic 34 (1):1-64.
    The article deals with the interpretation of propositional attitudes in the framework of modal predicate logic. The first part discusses the classical puzzles arising from the interplay between propositional attitudes, quantifiers and the notion of identity. After comparing different reactions to these puzzles it argues in favor of an analysis in which evaluations of de re attitudes may vary relative to the ways of identifying objects used in the context of use. The second part of the article (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  48. McDowell's Conceptualist Therapy for Skepticism.Santiago Echeverri - 2011 - European Journal of Philosophy 19 (3):357-386.
    Abstract: In Mind and World, McDowell conceives of the content of perceptual experiences as conceptual. This picture is supposed to provide a therapy for skepticism, by showing that empirical thinking is objectively and normatively constrained. The paper offers a reconstruction of McDowell's view and shows that the therapy fails. This claim is based on three arguments: 1) the identity conception of truth he exploits is unable to sustain the idea that perception-judgment transitions are normally truth conducing; 2) it could (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  49.  55
    The Degeneration of the Cognitive Theory of Emotions.Paul E. Griffiths - 1989 - Philosophical Psychology 2 (3):297-313.
    The type of cognitive theory of emotion traditionally espoused by philosophers of mind makes two central claims. First, that the occurrence of propositional attitudes is essential to the occurrence of emotions. Second, that the identity of a particular emotional state depends upon the propositional attitudes that it involves. In this paper I try to show that there is little hope of developing a theory of emotion which makes these claims true. I examine the underlying defects of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  50.  67
    Why We Should Not Identify Sentence Structure with Propositional Structure.Thomas Hodgson - 2013 - Canadian Journal of Philosophy 43 (5-6):612-633.
    It is a common view among philosophers of language that both propositions and sentences are structured objects. One obvious question to ask about such a view is whether there is any interesting connection between these two sorts of structure. The author identifies two theses about this relationship. Identity (ID) – the structure of a sentence and the proposition it expresses are identical. Determinism (DET) – the structure of a sentence determines the structure of the proposition it expresses. After noting (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000