Results for 'contingency logic'

1000+ found
Order:
  1. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2021 - Noûs 55 (1):102-127.
    At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  2. The Logical Contingency of Identity.Hanoch Ben-Yami - 2018 - European Journal of Analytic Philosophy 14 (2):5-10.
    I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Bourne on Future Contingents and Three-Valued Logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
    Recently, Bourne constructed a system of three-valued logic that he supposed to replace Łukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to Łukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original goal in some sense. The crucial part of my way lies in reconsidering the significance of the intermediate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Contingent Existence and the Reduction of Modality to Essence.Trevor Teitel - 2019 - Mind 128 (509):39-68.
    This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  5. The Problem of Future Contingents: Scoping Out a Solution.Patrick Todd - 2020 - Synthese 197 (11):5051-5072.
    Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Future Contingents and Aristotle’s Fantasy.Andrea Iacona - 2007 - Critica 39 (117):45-60.
    This paper deals with the problem of future contingents, and focuses on two classical logical principles, excluded middle and bivalence. One may think that different attitudes are to be adopted towards these two principles in order to solve the problem. According to what seems to be a widely held hypothesis, excluded middle must be accepted while bivalence must be rejected. The paper goes against that line of thought. In the first place, it shows how the rejection of bivalence leads to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. A Perverse Case of the Contingent A Priori: On the Logic of Emasculating Language.Adèle Mercier - 1995 - Philosophical Topics 23 (2):221-259.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  8. Contingency and Necessity in the Genealogy of Morality.Paul di Georgio - 2013 - Télos 2013 (162):97-111.
    Excerpt: In this essay I explore the nature of the necessity of historical development in Nietzsche’s genealogy of Judeo-Christian moral values. I argue that the progression of moral stages in Nietzsche’s study is ordered in such a way that the failure of each stage is logically and structurally necessary, that each failure structures the resultant system or paradigm, but that the historical manifestation of moral paradigms coinciding with predicted or projected theoretical structures is contingent upon a multitude of other historical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Contingent Existence and Iterated Modality.Cian Dorr - 2017 - Analysis 77 (1):155-165.
    A discussion of a view, defended by Robert Adams and Boris Kment, according to which contingent existence requires rejecting many standard principles of propositional modal logic involving iterated modal operators.
    Download  
     
    Export citation  
     
    Bookmark  
  10. The Immanent Contingency of Physical Laws in Leibniz’s Dynamics.Tzuchien Tho - 2019 - In Rodolfo Garau & Pietro Omodeo (eds.), Contingency and Natural Order in Early Modern Science. Springer Verlag. pp. 289-316.
    This paper focuses on Leibniz’s conception of modality and its application to the issue of natural laws. The core of Leibniz’s investigation of the modality of natural laws lays in the distinction between necessary, geometrical laws on the one hand, and contingent, physical laws of nature on the other. For Leibniz, the contingency of physical laws entailed the assumption of the existence of an additional form of causality beyond mechanical or efficient ones. While geometrical truths, being necessary, do not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka - 2020 - Noûs 54 (4):795-806.
    In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  13. Štyri antické argumenty o budúcich nahodnostiach (Four Ancient Arguments on Future Contingencies).Vladimir Marko - 2017 - Bratislava, Slovakia: Univerzita Komenského.
    Essays on Aristotle's Sea-Battle, Lazy Argument, Argument Reaper, Diodorus' Master Argument.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Ockhamism and Quantified Modal Logic.Andrea Iacona - 2015 - Logique Et Analyse 58:353-370.
    This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion - Journal of Philosophy 4 (1):20-24.
    In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Possibilities That Matter II: Material Contingency and Sufficient Reason.Steven M. Duncan - manuscript
    This is the second of a series of papers inspired by a paper I wrote around 1989. In this paper, I consider the notion of material contingency and relate it to the traditional, metaphysically loaded Principle of Sufficient Reason.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality.Avi Sion - 2010 - 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  
  18. Inductive Logic.Franz Huber - 2008 - In J. Lachs R. Talisse (ed.), Encyclopedia of American Philosophy. Routledge.
    Logic is the study of the quality of arguments. An argument consists of a set of premises and a conclusion. The quality of an argument depends on at least two factors: the truth of the premises, and the strength with which the premises confirm the conclusion. The truth of the premises is a contingent factor that depends on the state of the world. The strength with which the premises confirm the conclusion is supposed to be independent of the state (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. The Logical Status of Mind.George Bealer - 1986 - Midwest Studies in Philosophy 10 (1):231-74.
    It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily equivalent (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. 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 named, and also (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Chrysippus' Modal Logic and Its Relation to Philo and Diodorus.Susanne Bobzien - 1993 - In K. Doering & Th Ebert (eds.), Dialektiker und Stoiker. Franz Steiner. pp. 63--84.
    ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and modal theorems, and to make (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Greek and Roman Logic.Robby Finley, Justin Vlasits & Katja Maria Vogt - 2019 - Oxford Bibliographies in Classics.
    In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Complementary Sentential Logics.Achille C. Varzi - 1990 - Bulletin of the Section of Logic 19 (4):112-116.
    It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  24. Knowledge of Necessity: Logical Positivism and Kripkean Essentialism.Stephen K. Mcleod - 2008 - Philosophy 83 (2):179-191.
    By the lights of a central logical positivist thesis in modal epistemology, for every necessary truth that we know, we know it a priori and for every contingent truth that we know, we know it a posteriori. Kripke attacks on both flanks, arguing that we know necessary a posteriori truths and that we probably know contingent a priori truths. In a reflection of Kripke's confidence in his own arguments, the first of these Kripkean claims is far more widely accepted than (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Why is There Something Rather Than Nothing? A Logical Investigation.Jan Heylen - 2017 - Erkenntnis 82 (3):531-559.
    From Leibniz to Krauss philosophers and scientists have raised the question as to why there is something rather than nothing. Why-questions request a type of explanation and this is often thought to include a deductive component. With classical logic in the background only trivial answers are forthcoming. With free logics in the background, be they of the negative, positive or neutral variety, only question-begging answers are to be expected. The same conclusion is reached for the modal version of the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Essentialism Vis-À-Vis Possibilia, Modal Logic, and Necessitism.Sonia Roca-Royes - 2011 - Philosophy Compass 6 (1):54-64.
    Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi - 2002 - Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME-02:141-145.
    Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Points of Reference, A New Argument for the Logical Possibility of Identity Theory.A. Rookmaaker - 2012 - Romanian Journal of Analytic Philosophy (2):50-77.
    In the 1950’s and 1960’s, Feigl, Place and Smart offered an answer to the mind‑body problem called Identity Theory. According to Identity Theory, there are physical descriptions describing the same event as first‑person descriptions of experience. In this article, we address the criticism that mind‑body identity can be refuted on logical grounds, taken in the widest sense. Kripke’s criticism to this effect, as developed in Naming and Necessity, will be our central concern. Another notorious argument we will consider is Chalmers’s, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. 'A-Part' of This World: Deleuze and the Logic of Creation.Christopher Satoor - 2014 - Dissertation, York University
    Major Research Paper Abstract -/- A Part of This World: Deleuze & The Logic Of Creation. -/- Is there a particular danger in following Deleuze’s philosophy to its end result? According to Peter Hallward and Alain Badiou, Deleuze’s philosophy has some rather severe conclusions. Deleuze has been known as a vitalist thinker of life and affirmation. Hallward & Badiou seek to challenge the accepted view of Deleuze; showing that these accepted norms in Deleuzian scholarship should be challenged; and that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.
    Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. It (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  31. Ockhamism Without Thin Red Lines.Andrea Iacona - 2014 - Synthese 191 (12):2633-2652.
    This paper investigates the logic of Ockhamism, a view according to which future contingents are either true or false. Several attempts have been made to give rigorous shape to this view by defining a suitable formal semantics, but arguably none of them is fully satisfactory. The paper draws attention to some problems that beset such attempts, and suggests that these problems are different symptoms of the same initial confusion, in that they stem from the unjustified assumption that the actual (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  32. Presupposition and the a Priori.Nate Charlow - 2013 - Philosophical Studies 165 (2):509-526.
    This paper argues for and explores the implications of the following epistemological principle for knowability a priori (with 'Ka' abbreviating 'it is knowable a priori that'). -/- (AK) For all ϕ, ψ such that ϕ semantically presupposes ψ: if Ka(ϕ), Ka(ψ). -/- Well-known arguments for the contingent a priori and a priori knowledge of logical truth founder when the semantic presuppositions of the putative items of knowledge are made explicit. Likewise, certain kinds of analytic truth turn out to carry semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Against the Russellian Open Future.Anders J. Schoubye & Brian Rabern - 2017 - Mind 126 (504): 1217–1237.
    Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  34. Das Kontingenzpostulat der Wahrheit.Gregor Damschen - 2005 - Hegel-Jahrbuch 7 (1):320-325.
    The Contingency Postulate of Truth. - Is there a statement that cannot be false under any contingent conditions? Two well-known philosophical schools have given contradictory answers to this question about the existence of a necessarily true statement: Fallibilists (Albert, Keuth) have denied its existence, transcendental pragmatists (Apel, Kuhlmann) and objective idealists (Wandschneider, Hösle) have affirmed it. Dieter Wandschneider has (following Vittorio Hösle) translated the principle of fallibilism, according to which every statement is fallible, into a thesis which he calls (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  35. Modal Science.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):453-492.
    This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. (...)
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  36. Does Success Entail Ability?David Boylan - forthcoming - Noûs.
    This paper is about the principle that success entails ability, which I call Success. I argue the status of Success is highly puzzling: when we focus on past instances of actually successful action, Success is very compelling; but it is in tension with the idea that true ability claims require an action be in the agent's control. I make the above tension precise by considering the logic of ability. I argue Success is appealing because it is classically equivalent to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Dispositionalism and the Modal Operators.David Yates - 2015 - Philosophy and Phenomenological Research 91 (2):411-424.
    Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  38.  16
    A.N. PRIOR's SYSTEM Q: A REVIEW. [REVIEW]Farshad Badie - 2021 - Логико-Философские Штудии 19 (3):161-174.
    Arthur Norman Prior was born on 4 December 1914 in Masterton, New Zealand. He studied philosophy in the 1930s and was a significant, and often provocative, voice in theological debates until well into the 1950s. He became a lecturer in philosophy at Canterbury University College in Christchurch in 1946 succeeding Karl Popper. He became a full professor in 1952. He left New Zealand permanently for England in 1959, first taking a chair in philosophy at Manchester University, and then becoming a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Will Done Better: Selection Semantics, Future Credence, and Indeterminacy.Fabrizio Cariani & Paolo Santorio - 2018 - Mind 127 (505):129-165.
    Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints are (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  40.  46
    Nothing to Come in a Relativistic Setting.Mauro Dorato & Carl Hoefer - 2021 - Disputatio.
    In this paper we critically review Correia’s and Rosenkranz’s Nothing to Come. A Defence of the Growing Block Theory of Time, published by Springer in 2018. By taking into account the essential reliance of the book on tense logic, we bring out the existence of a conflict between their logical axioms, that presuppose truth bivalence even for statements concerning future contingents, and the principle of groundedness that they also advocate. According to this principle, a proposition Q is now groundedly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Aristotle's Modal Syllogisms.Fred Johnson - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the History of Logic. Elsevier. pp. 1--247.
    McCall's system for contingent syllogisms is modified. A semantics for the resulting system is provided.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Composition and the Cosmological Argument.Rem B. Edwards - 1968 - Mind 77 (305):115-117.
    This article argues that not all arguments from parts to wholes commit the informal logical fallacy of composition,and especially not the cosmological argument for God which moves from the contingent existence of all the parts of the cosmos to the contingent existence of the whole.
    Download  
     
    Export citation  
     
    Bookmark  
  43.  58
    A Puzzle About the Fixity of the Past.Fabio Lampert - forthcoming - Analysis.
    It is a widely held principle that no one is able to do something that would require the past to have been different from how it actually is. This principle of the fixity of the past has been presented in numerous ways, playing a crucial role in arguments for logical and theological fatalism, and for the incompatibility of causal determinism and the ability to do otherwise. I will argue that, assuming bivalence, this principle is in conflict with standard views about (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44.  20
    The Synonymy Antinomy.Roger Wertheimer - 2000 - In Proceedings of the 20th World Congress of Philosophy, Vol VI: Analytic Philosophy & Logic. Philosophy Document Center. pp. 67-88.
    Logical form has semantic import. Logical sentences (GG: Greeks are Greeks) and their synonym interceptions (GH: Greeks are Hellenes) state the same fact but different truths with different explanations. Terms retain objectual reference but its role in explaining truth is preempted by syntax or synonymy. Church’s Test exposes puzzles. QMi sentences (GmG: ‘Greeks’ means Greeks), and QTi sentences (p≡it is true that p≡“p” is true) are metalogical necessities, true by syntax. Their interceptions alter syntax and modality, yielding contingent truths (GmH: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Non-Positivism and Encountering a Weakened Necessity of the Separation Between Law and Morality – Reflections on the Debate Between Robert Alexy and Joseph Raz.Wei Feng - 2019 - Archiv Für Rechts- Und Sozialphilosophie, Beiheft 158:305-334.
    Nearly thirty years ago, Robert Alexy in his book The Concept and Validity of Law as well as in other early articles raised non-positivistic arguments in the Continental European tradition against legal positivism in general, which was assumed to be held by, among others, John Austin, Hans Kelsen and H.L.A. Hart. The core thesis of legal positivism that was being discussed among contemporary German jurists, just as with their Anglo- American counterparts, is the claim that there is no necessary connection (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46.  74
    Fractal Images of Formal Systems.Paul St Denis & Patrick Grim - 1997 - Journal of Philosophical Logic 26 (2):181-222.
    Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. The Paradox of Translation.Roger Wertheimer - 2008 - In B. . Lewandowska-Tomaszczyk & M. Thelen (eds.), Translation and Meaning. Hogeschool Zuyd.
    Critique of Alonzo Church's Translation Test. Church's test is based on a common misconception of the grammar of (so-called) quotations. His conclusion (that metalogical truths are actually contingent empirical truths) is a reductio of that conception. Chruch's argument begs the question by assuming that translation must preserve reference despite altering logical form of statements whose truth is explained by their form.
    Download  
     
    Export citation  
     
    Bookmark  
  48. The Synonymy Antinomy.Roger Wertheimer - 2000 - In A. Kanamori (ed.), The Proceedings of the Twentieth World Congress of Philosophy. Philosophy Document Center. pp. 67-88.
    Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
    This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  50. Notas sobre essência, existência e assíntotas nas Generales Inquisitiones de Leibniz.Vivianne Moreira - 2012 - Revista de Filosofía de la Universidad de Costa Rica 51 (129):117-125.
    This paper is intended to examine the distinction made by Leibniz in Generales Inquisitiones de Analysi Notionum et Veritatum between essential and existential propositions, in order to shed some light on the nature of the analogies that Leibniz proposes between the logical problem of contingency and the geometrical problem of the continuum.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000