Results for 'relative identity logic'

1000+ found
Order:
  1. Against Trinitarian Enthusiasm: The Approach of Relative Identity Logic to the Trinity.Daniele Bertini - 2015 - Reportata. Passato E Presente Della Teologia 13.
    The theorizing about the doctrine of the Trinity by contemporary analytic philosophers of religion has recently been imbued with an air of enthusiastic excitement and self-confidence. My intuition is that there’s room for saying something more in support to the embarrassment and puzzlement traditionally related to the predication of God’s onefoldness and threefoldness. My purpose is to deliver a general argument for (weak) trinitarian skepticism. My view is that the argument provides substantive reasons in support to the common sense intuition (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. The Doctrine of the Trinity and the Logic of Relative Identity.James Cain - 1989 - Religious Studies 25 (2):141 - 152.
    I EXPLORE ONE WAY IN WHICH THE THEORY OF RELATIVE IDENTITY (DEVELOPED ALONG LINES SUGGESTED BY GEACH’S WRITINGS) CAN BE USED TO UNDERSTAND THE WAY LANGUAGE FUNCTIONS IN TRINITARIAN DOCTRINE. THIS INCLUDES A DISCUSSION OF REDUPLICATIVE PROPOSITIONS.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  3. Identity: Logic, Ontology, Epistemology.Roger Wertheimer - 1998 - Philosophy 73 (2):179-193.
    The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Composition and Relative Counting.Massimiliano Carrara & Giorgio Lando - 2017 - Dialectica 71 (4):489-529.
    According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Weak Relative Identity and the General Partnership Model of the Trinity.James Goetz - manuscript
    This paper briefly proposes a weak relative identity strategy for the doctrine of the Trinity called the general partnership model. This model develops a logically consistent metaphysical constitution for the orthodox Christian doctrines of one divine substance and three divine persons. Moreover, the model rejects the rigid use of absolute identity in Trinitarian doctrine while modeling relative identity with an analogy of general partnerships in the United States.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  30
    The Qubit.Ilexa Yardley - 2019
    Download  
     
    Export citation  
     
    Bookmark  
  7. 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.
    Download  
     
    Export citation  
     
    Bookmark  
  8. More Kinds of Being: A Further Study of Individuation, Identity, and the Logic of Sortal Terms. By E. J. Lowe. [REVIEW]Tuomas E. Tahko - 2013 - Mind 122 (485):302-305.
    Book review of 'More Kinds of Being: A Further Study of Individuation, Identity, and the Logic of Sortal Terms'. By E. J. LOWE.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Natural Unity and Paradoxes of Legal Persons.James Goetz - 2014 - Journal Jurisprudence 21:27-46.
    This essay proposes an ontological model in which a legal person such as a polity possesses natural unity from group properties that emerge in the self-organization of the human population. Also, analysis of customary legal persons and property indicates noncontradictory paradoxes that include Aristotelian essence of an entity, relative identity over time, ubiquitous authority, coinciding authorities, and identical entities. Mathematical modeling helps to explain the logic of the paradoxes.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Identical Legal Entities and the Trinity: Relative-Social Trinitarianism.James Goetz - 2016 - Journal of Analytic Theology 4:128-146.
    Goetz outlined legal models of identical entities that include natural persons who are identical to a coregency and natural persons who are identical to a general partnership. Those entities cohere with the formula logic of relative identity. This essay outlines the coexistence of relative identity and numerical identity in the models of identical legal entities, which is impure relative identity. These models support the synthesis of Relative Trinitarianism and Social Trinitarianism, which (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  16
    Aftermath Of The Nothing.Laurent Dubois - 2017 - In J.-Y. Beziau, A. Costa-Leite & I. M. L. D’Ottaviano (eds.), CLE, v.81, Aftermath of the Logical Paradise. Rio de Janeiro, État de Rio de Janeiro, Brésil: pp. 93-124.
    This article consists in two parts that are complementary and autonomous at the same time. -/- In the first one, we develop some surprising consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. On a conceptual level, it allows to see sets in a new light and to give a legitimacy to the empty set. On a technical level, it leads to a relative resolution (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12.  40
    Identity as a Process of Self-Determination in Hegel’s Logic.Christopher Yeomans - 2007 - Proceedings of the Hegel Society of America 18:63-82.
    Download  
     
    Export citation  
     
    Bookmark  
  13. Equality and Identity.John Corcoran & Anthony Ramnauth - 2013 - Bulletin of Symbolic Logic 19 (3):255-256.
    Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  83
    Identity Logics.John Corcoran & Stanley Ziewacz - 1979 - Notre Dame Journal of Formal Logic 20 (4):777-784.
    In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. The Identity-Enactment Account of Associative Duties.Saba Bazargan-Forward - 2019 - Philosophical Studies 176 (9):2351-2370.
    Associative duties are agent-centered duties to give defeasible moral priority to our special ties. Our strongest associative duties are to close friends and family. According to reductionists, our associative duties are just special duties—i.e., duties arising from what I have done to others, or what others have done to me. These include duties to abide by promises and contracts, compensate our benefactors in ways expressing gratitude, and aid those whom we have made especially vulnerable to our conduct. I argue, though, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16.  87
    On the Geachian Theory of the Trinity And Incarnation.James Cain - 2016 - Faith and Philosophy 33 (4):474-486.
    Contemporary accounts of the Trinity and Incarnation sometimes employ aspects of Peter Geach's theory of relative identity. Geach's theory provides an account not merely of identity predicates, but also proper names and restricted quantification. In a previous work I developed an account of the doctrines of the Trinity and Incarnation incorporating these three aspects of Geach's theory and tried to show how each might contribute to our understanding of the doctrines. Joseph Jedwab has recently argued that my (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Formalizing Euclid’s First Axiom.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (3):404-405.
    Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. If P, Then P!Matthew Mandelkern - manuscript
    The Identity principle says that conditionals with the form 'If p, then p' are logical truths. Identity is overwhelmingly plausible, and has rarely been explicitly challenged. But a wide range of conditionals nonetheless invalidate it. I explain the problem, and argue that the culprit is the principle known as Import-Export, which we must thus reject. I then explore how we can reject Import-Export in a way that still makes sense of the intuitions that support it, arguing that the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Contingent Composition as Identity.Giorgio Lando & Massimiliano Carrara - forthcoming - Synthese:1-30.
    When the Necessity of Identity (NI) is combined with Composition as Identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  72
    Composition and Identities.Manuel Lechthaler - 2017 - Dissertation, University of Otago
    Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Composition as a Kind of Identity.Phillip Bricker - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (3):264-294.
    Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  22. Knowability Relative to Information.Peter Hawke & Franz Berto - forthcoming - Mind.
    We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - forthcoming - Philosophical and Phenomenological Research.
    We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Henry of Ghent on Real Relations and the Trinity: The Case for Numerical Sameness Without Identity.Scott M. Williams - 2012 - Recherches de Theologie Et Philosophie Medievales 79 (1):109-148.
    I argue that there is a hitherto unrecognized connection between Henry of Ghent’s general theory of real relations and his Trinitarian theology, namely the notion of numerical sameness without identity. A real relation (relatio) is numerically the same thing (res) as its absolute (non-relative) foundation, without being identical to its foundation. This not only holds for creaturely real relations but also for the divine persons’ distinguishing real relations. A divine person who is constituted by a real relation (relatio) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Logic and the Autonomy of Ethics.Charles R. Pigden - 1989 - Australasian Journal of Philosophy 67 (2):127 – 151.
    My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  26. The Species Problem and its Logic: Inescapable Ambiguity and Framework-Relativity.Steven James Bartlett - 2015 - Willamette University Faculty Research Website, ArXiv.Org, and Cogprints.Org.
    For more than fifty years, taxonomists have proposed numerous alternative definitions of species while they searched for a unique, comprehensive, and persuasive definition. This monograph shows that these efforts have been unnecessary, and indeed have provably been a pursuit of a will o’ the wisp because they have failed to recognize the theoretical impossibility of what they seek to accomplish. A clear and rigorous understanding of the logic underlying species definition leads both to a recognition of the inescapable ambiguity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Moment Universals and Personal Identity.Arnold Zuboff - 1978 - Proceedings of the Aristotelian Society 52:141-55.
    This paper could be thought of as divided into two parts. In the first I show through a series of thought experiments that it is a mistake to think of one’s individual experience as necessarily belonging to only one particular place, time and organism. In repetitions across a universe large enough to host them, the particular experience that one finds oneself in, which can be individuated only by the detailed type that is the entirety of its momentary subjective content, would (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. The Benefits of Realism: A Realist Logic with Applications.Barry Smith - 2008 - In Katherine Munn & Barry Smith (eds.), Applied Ontology: An Introduction. Ontos. pp. 109-124.
    We propose a formalization of a realist ontology using first order logic with identity and allowing quantification over terms representing both individuals and universals. In addition to identity, the ontology includes also relational predicates such as subtype, instantiation, parthood, location, and inherence. Inspired in part by Davidson’s treatment of events, the ontology includes also various relations linking events to their participants and to the times at which they occur.
    Download  
     
    Export citation  
     
    Bookmark  
  29. Forall X: An Introduction to Formal Logic.P. D. Magnus - 2005
    An introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. -/- This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  33
    The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality.Avi Sion - 1999-2000, 2003- - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. A Closer Look at Manifest Consequence.Max Weiss - 2014 - Journal of Philosophical Logic 43 (2-3):471-498.
    Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Expressing Set-Size Equality.John Corcoran & Gerald Rising - 2015 - Bulletin of Symbolic Logic 21 (2):239.
    The word ‘equality’ often requires disambiguation, which is provided by context or by an explicit modifier. For each sort of magnitude, there is at least one sense of ‘equals’ with its correlated senses of ‘is greater than’ and ‘is less than’. Given any two magnitudes of the same sort—two line segments, two plane figures, two solids, two time intervals, two temperature intervals, two amounts of money in a single currency, and the like—the one equals the other or the one is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. First- and Second-Order Logic of Mass Terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.
    Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  37
    Timothy Pawl. In Defense of Conciliar Christology. [REVIEW]Joseph Jedwab - 2018 - Journal of Analytic Theology 6:743-747.
    Download  
     
    Export citation  
     
    Bookmark  
  35. Identità: logica e ontologia.Cesare Cozzo - 1997 - Almanacchi Nuovi 96 (2):33-79.
    “Identità” qui si intende nel senso già precisato da Aristotele di “identità numerica”, che si ha “quando i nomi sono parecchi, ma la cosa è una sola” e, non nel senso di “identità specifica”, che si ha invece “quando gli oggetti, pur essendo parecchi, non rivelano differenze quanto alla specie”.1 In questo articolo intendo fornire al lettore indicazioni introduttive (non certo esaustive) sul posto che la nozione di identità numerica occupa nella logica contemporanea e nell’area di riflessione filosofica del Novecento (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Frege’s Puzzle is About Identity After All.Elmar Unnsteinsson - 2018 - Philosophy and Phenomenological Research.
    Many philosophers have argued or taken for granted that Frege's puzzle has little or nothing to do with identity statements. I show that this is wrong, arguing that the puzzle can only be motivated relative to a thinker's beliefs about the identity or distinctness of the relevant object. The result is important, as it suggests that the puzzle can be solved, not by a semantic theory of names or referring expressions as such, but simply by a theory (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Identificational Sentences.Friederike Moltmann - 2013 - Natural Language Semantics 21 (1):43-77.
    Based on the notion of a trope, this paper gives a novel analysis of identificational sentences such as 'this is Mary','this is a beautiful woman', 'this looks like Mary', or 'this is the same lump of clay, but not the same statue as that'.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  56
    The Simplicity of the Simple Approach to Personal Identity.Andrea Sauchelli - 2019 - In Luca Bellotti, Luca Gili, Giacomo Turbanti & Enrico Moriconi (eds.), Third Pisa Colloquium in Logic, Language and Epistemology. Pisa, Province of Pisa, Italy: pp. 347-358.
    I provide a simple solution to the problem of determining the characterising feature(s) of the simple approach to personal identity, sometimes also called the simple view: instead of focusing on claims regarding the analysability, reducibility, or triviality of the concepts used in simple theories of personal identity, I propose instead a metaphysical criterion to define this approach. In particular, I claim that the simple approach is (best seen as) that family of theories according to which personal identity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Many-One Identity.Donald L. M. Baxter - 1988 - Philosophical Papers 17 (3):193-216.
    Two things become one thing, something having parts, and something becoming something else, are cases of many things being identical with one thing. This apparent contradiction introduces others concerning transitivity of identity, discernibility of identicals, existence, and vague existence. I resolve the contradictions with a theory that identity, number, and existence are relative to standards for counting. What are many on some standard are one and the same on another. The theory gives an account of the discernibility (...)
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  40. Against Fantology.Barry Smith - 2005 - In Johann C. Marek & Maria E. Reicher (eds.), Experience and Analysis. HPT&ÖBV. pp. 153-170.
    The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard firstorder predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  41.  94
    Genuine Process Logic.Wolfgang Sohst - 2017 - Collected Lectures of MoMo Berlin.
    The Genuine Process Logic described here (abbreviation: GPL) places the object-bound process itself at the center of formalism. It should be suitable for everyday use, i.e. it is not primarily intended for the formalization of computer programs, but instead, as a counter-conception to the classical state logics. The new and central operator of the GPL is an action symbol replacing the classical state symbols, e.g. of equivalence or identity. The complete renunciation of object-language state expressions also results in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42.  24
    Epistemic virtues a prerequisite for the truth-seeking and constructor of intellectual identity.Zahra Khazaei - 2018 - Theology 9 (19):123-146.
    Abstract The present paper examines the role of epistemic virtues in the formation of intellectual identity and its impact on improving our truth-seeking behaviors. A epistemic virtue is a special faculty or trait of a person whose operation makes that person a thinker, believer, learner, scholar, knower, cognizer, perceiver, etc., or causes his intellectual development and perfection, and improves his truth-seeking and knowledge-acquiring behaviours and places him on the path to attain understanding, perception and wisdom. Virtue epistemology is a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Composition as Identity and Plural Cantor's Theorem.Einar Duenger Bohn - 2016 - Logic and Logical Philosophy 25 (3).
    I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  57
    Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
    Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Commentary on "Parts of Classes".Einar Duenger Bohn - 2011 - Humana.Mente Journal of Philosophical Studies 19.
    In this short piece I provide an interpretation of David Lewis' thesis of Composition as Identity.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  5
    A Dio: A Sociosemiotic/Phenomenological Account of the Formationof Collective Narrative Identity in the Context of a Rock Legend’s Memorial.George Rossolatos - 2015 - Southern Semiotic Review 5 (1):81-125.
    God is dead, but, contrary to Nietzsche’s diagnosis, ‘we’ didn’t kill him; he died of cancer. This perhaps crudely cold and off-putting opening does not refer to a naively metaphorically constituted transcendental abstraction, but to a spatio-temporally situated rock legend, Ronnie James Dio. This study aims at contributing to the burgeoning research field of memory and collective identity by providing a sociosemiotic account of the formation of collective narrative identity. By drawing on the three major categories whereby collective (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Taking Stock of Infinite Value: Pascal’s Wager and Relative Utilities.Paul Bartha - 2007 - Synthese 154 (1):5-52.
    Among recent objections to Pascal's Wager, two are especially compelling. The first is that decision theory, and specifically the requirement of maximizing expected utility, is incompatible with infinite utility values. The second is that even if infinite utility values are admitted, the argument of the Wager is invalid provided that we allow mixed strategies. Furthermore, Hájek has shown that reformulations of Pascal's Wager that address these criticisms inevitably lead to arguments that are philosophically unsatisfying and historically unfaithful. Both the objections (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  49. Strict Identity with No Overlap.Achille C. Varzi - 2006 - Studia Logica 82 (3):371-378.
    It is common lore that standard, Kripke-style semantics for quantified modal logic is incompatible with the view that no individual may belong to more than one possible world, a view that seems to require a counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. This note explains why.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. How Mathematics Isn’T Logic.Roger Wertheimer - 1999 - Ratio 12 (3):279–295.
    If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. 'Televisions are televisions' and 'TVs are televisions' neither sound alike nor are used interchangeably. Interception synonymy gets assumed because logical sentences and (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000