Search results for 'propositional identity' (try it on Scholar)

1000+ found
Sort by:
  1. Philip Hugly & Charles Sayward (1976). Prior on Propositional Identity. Analysis 36 (4):182-184.score: 240.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Charles Sayward & Philip Hugly (1979). More on Propositional Identity. Analysis 39 (3):129-132.score: 240.0
    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)  
     
    My bibliography  
     
    Export citation  
  3. Philip Hugly & Charles Sayward (1979). More on Propositional Identity. Analysis 39 (3):129-132.score: 240.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Philip Hugly & Charles Sayward (1981). Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment. Notre Dame Journal of Formal Logic 22 (3):269-282.score: 210.0
    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)  
     
    My bibliography  
     
    Export citation  
  5. Steffen Lewitzka (forthcoming). Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity. Studia Logica:1-38.score: 210.0
    There are logics where necessity is defined by means of a given identity connective: \({\square\varphi := \varphi\equiv\top}\) ( \({\top}\) is a tautology). On the other hand, in many standard modal logics the concept of propositional identity (PI) \({\varphi\equiv\psi}\) can be defined by strict equivalence (SE) \({\square(\varphi\leftrightarrow\psi)}\) . All these approaches to modality involve a principle that we call the Collapse Axiom (CA): “There is only one necessary proposition.” In this paper, we consider a notion of PI which (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Charles Sayward (2006). What is the Logic of Propositional Identity? Logic and Logical Philosophy 15 (1):3-15.score: 208.0
    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)  
     
    My bibliography  
     
    Export citation  
  7. David B. Martens (2004). Propositional Identity and Logical Necessity. Australasian Journal of Logic 2:1-11.score: 180.0
    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  
     
    My bibliography  
     
    Export citation  
  8. A. N. Prior (1969). Extensionality and Propositional Identity. Critica 3 (7/8):35 - 60.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. C. Lewy (1964). Entailment And Propositional Identity. Proceedings of the Aristotelian Society 64:107-122.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. James B. Freeman (1977). A Caution on Propositional Identity. Analysis 37 (4):149 - 151.score: 150.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Rod Bertolet (1984). Ackerman on Propositional Identity. Philosophical Quarterly 34 (137):499-504.score: 150.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Edgar Page (1970). Reference and Propositional Identity. Philosophical Review 79 (1):43-62.score: 150.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. M. J. Cresswell (1967). Propositional Identity. Logique Et Analyse 40:283-291.score: 150.0
    No categories
     
    My bibliography  
     
    Export citation  
  14. Grzegorz Malinowski (1985). Non-Fregean Logic and Other Formalizations of Propositional Identity'. Bulletin of the Section of Logic 14 (1):21-27.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Xuefeng Wen (2007). A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis. Studia Logica 85 (2):251 - 260.score: 144.0
    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)  
     
    My bibliography  
     
    Export citation  
  16. David Landy (2005). Inside Doubt: On the Non-Identity of the Theory of Mind and Propositional Attitude Psychology. [REVIEW] Minds and Machines 15 (3-4):399-414.score: 138.0
    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 (8 more)  
     
    My bibliography  
     
    Export citation  
  17. Esa Saarinen (1978). Intentional Identity Interpreted: A Case Study of the Relations Among Quantifiers, Pronouns, and Propositional Attitudes. [REVIEW] Linguistics and Philosophy 2 (2):151 - 223.score: 120.0
  18. John Wallace (1969). Propositional Attitudes and Identity. Journal of Philosophy 66 (6):145-152.score: 120.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Xiaowu Li & Xuefeng Wen (2007). Plausibility, Necessity and Identity: A Logic of Relative Plausibility. [REVIEW] Frontiers of Philosophy in China 2 (4):629-644.score: 120.0
    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.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  20. Alberto Naibo & Mattia Petrolo (2014). Are Uniqueness and Deducibility of Identicals the Same? Theoria 80 (4):n/a-n/a.score: 100.0
    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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. L. I. Xiaowu & W. E. N. Xuefeng (2007). Plausibility, Necessity and Identity: A Logic of Relative Plausibility. Frontiers of Philosophy in China 2 (4):629-644.score: 90.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Robert Goldblatt (2011). Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Cambridge University Press.score: 84.0
    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  
     
    My bibliography  
     
    Export citation  
  23. William Lanier (2014). Intentional Identity and Descriptions. Philosophical Studies 170 (2):289-302.score: 84.0
    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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Jean-Yves Béziau (2007). Sentence, Proposition and Identity. Synthese 154 (3):371 - 382.score: 80.0
    In this paper we discuss the distinction between sentence and proposition from the perspective of identity. After criticizing Quine, we discuss how objects of logical languages are constructed, explaining what is Kleene’s congruence—used by Bourbaki with his square—and Paul Halmos’s view about the difference between formulas and objects of the factor structure, the corresponding boolean algebra, in case of classical logic. Finally we present Patrick Suppes’s congruence approach to the notion of proposition, according to which a whole hierarchy of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Kosta Dosen & Zoran Petric (2012). Isomorphic Formulae in Classical Propositional Logic. Mathematical Logic Quarterly 58 (1):5-17.score: 78.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Hans-Ulrich Hoche & Michael Knoop (2013). Ascriptions of Propositional Attitudes. An Analysis in Terms of Intentional Objects. Phenomenology and the Cognitive Sciences 12 (4):747-768.score: 66.0
    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)  
     
    My bibliography  
     
    Export citation  
  27. Marek Nowak & Daniel Vanderveken (1995). A Complete Minimal Logic of the Propositional Contents of Thought. Studia Logica 54 (3):391 - 410.score: 60.0
    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)  
     
    My bibliography  
     
    Export citation  
  28. Martine Nida-Rümelin (2013). The Argument for Subject Body Dualism From Transtemporal Identity Defended. Philosophy and Phenomenological Research 86 (3):702-714.score: 54.0
    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 (...)
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  29. Steven E. Boër (1994). Propositional Attitudes and Formal Ontology. Synthese 98 (2):187 - 242.score: 54.0
    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)  
     
    My bibliography  
     
    Export citation  
  30. Robert C. Stalnaker (1969). Wallace on Propositional Attitudes. Journal of Philosophy 66 (22):803-806.score: 54.0
    This note is a solution to a paradox proposed by john wallace in "propositional attitudes and identity" ('j. phil'. 66, 145-152). wallace deduced from a set of 'prima facie' plausible premisses the conclusion that the ideally rational man believes to be true every proposition that he desires to be true. in my note, i present a counterexample to one of the premisses, and then suggest two weaker versions of the premiss--neither sufficient to derive the paradoxical conclusion--to account for (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Howard Burdick (1982). A Logical Form for the Propositional Attitudes. Synthese 52 (2):185 - 230.score: 54.0
    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)  
     
    My bibliography  
     
    Export citation  
  32. Ahti Pietarinen (2001). Intentional Identity Revisited. Nordic Journal of Philosophical Logic 6 (2):147-188.score: 54.0
    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 (GTS) of imperfect information. This constellation leads to (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. Robert Stern (1993). Did Hegel Hold an Identity Theory of Truth? Mind 102 (408):645-647.score: 54.0
    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)  
     
    My bibliography  
     
    Export citation  
  34. Silvio Ghilardi & Marek Zawadowski (1995). Undefinability of Propositional Quantifiers in the Modal System S. Studia Logica 55 (2):259 - 271.score: 54.0
    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)  
     
    My bibliography  
     
    Export citation  
  35. Francis J. Pelletier (1993). Identity in Modal Logic Theorem Proving. Studia Logica 52 (2):291 - 308.score: 54.0
    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)  
     
    My bibliography  
     
    Export citation  
  36. Charles Sayward (2004). Roman Suzuko on Situational Identity. Sorites 15:42-49.score: 54.0
    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.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  37. Andrew M. Pitts (1992). On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. Journal of Symbolic Logic 57 (1):33-52.score: 54.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  38. Joanna Golińska-Pilarek & Taneli Huuskonen (2005). Number of Extensions of Non-Fregean Logics. Journal of Philosophical Logic 34 (2):193 - 206.score: 54.0
    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)  
     
    My bibliography  
     
    Export citation  
  39. Indian Philosophies, Karl H. Potter & Sibajiban Bhattacharyya (2006). Nandita Bandyopadhyay is Professor, Department of Philosophy, Jadavpur Univer-Sity. Some of Her Publications Are The Concept of Logical Fallacies:, Being, Meaning and Proposition, Identity and Identity Based Generalizations: A Critique of the Buddhist Doctrine of Tadatmya-Vyapti and Nagesa's Theory of Meaning and its Sources. She has Published on Indian Philosophy in Different National and International Journals Including The. [REVIEW] In Pranab Kumar Sen & Prabal Kumar Sen (eds.), Philosophical Concepts Relevant to Sciences in Indian Tradition. Distributed by Motilal Banarsidass. 1.score: 50.0
    No categories
     
    My bibliography  
     
    Export citation  
  40. Thomas Hodgson (2013). Why We Should Not Identify Sentence Structure with Propositional Structure. Canadian Journal of Philosophy 43 (5-6):612-633.score: 46.0
    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 (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Matthew Davidson (2007). Transworld Identity, Singular Propositions, and Picture-Thinking. In , On Sense and Direct Reference.score: 40.0
    metaphysics of modality. So, we read David Kaplan in 1967: I'll even let you peep through my Jules Verne-o-scope [into another possible world G]. Carefully examine each individual, check his fingerprints, etc. The problem is: which one is our Bobby Dylan—of course he may be somewhat changed, just as he will be in our world in a few years…Our problem is [to] locate him in G (if he exists there). The task of locating individuals in other worlds is the problem (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  42. R. Jones (2013). Robert Goldblatt. Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Lecture Notes in Logic; 38. Cambridge: Cambridge University Press, 2011. Isbn 978-1-107-01052-9. Pp. XIII + 282. [REVIEW] Philosophia Mathematica 21 (1):123-127.score: 40.0
  43. Wolfgang Künne (1997). Propositions in Bolzano and Frege. Grazer Philosophische Studien 53:203-240.score: 40.0
    Bolzano's Sätze an sich and Frege's Gedanken are obviously close relatives. The paper underlines both similarities and dissimilarities between the psychological and semantical roles assigned to structured truth-evaluable contents in Bolzano's and Frege's theories. In particular, their different accounts of propositional identity are compared, and it is argued that Dummett's recent criticism of Frege's account is grist to Bolzano's mill.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Hector-Neri Castañeda (1975). Relations and the Identity of Propositions. Philosophical Studies 28 (4):237 - 244.score: 40.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. Joseph Moore (1999). Propositions Without Identity. Noûs 33 (1):1-29.score: 40.0
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  46. B. G. Sundholm (1994). Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions. The Monist 77 (3):294-314.score: 40.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Steven E. Boër (1975). Co-Reference and the Identity of Propositions. Philosophia 5 (4):467-475.score: 40.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. D. V. C. Lincicome (forthcoming). Systematically Ignored Differences and the Identity of Propositions. Foundations of Language.score: 40.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Göran Sundholm (1994). Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions. The Monist 77 (3):294 - 314.score: 40.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000