Results for 'Renaissance Logic'

980 found
Order:
  1. The renaissance of epistemology 1919-1945.Luciano Floridi - 2003 - In Thomas Baldwin, The Cambridge History of Philosophy 1870–1945. New York: Cambridge University Press. pp. 533-543.
    The renaissance of epistemology between the two world wars forms a bridge between early modern and contemporary philosophy of knowledge. This paper traces the resurgence of interest in epistemology at the turn of the century, as a reaction against the nineteenth-century development of Neo-Kantian and Neo-Hegelian idealism, through the interwar renaissance of epistemology, prompted by major advances in mathematics, logic, and physics, and its ultimate transformation from a theory of ideas and judgement into a theory of propositional (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. The renaissance of epistemology: 1914–1945.L. Floridi - 2003 - In Thomas Baldwin, The Cambridge History of Philosophy 1870–1945. New York: Cambridge University Press.
    The renaissance of epistemology between the two world wars forms a bridge between early modern and contemporary philosophy of knowledge. This paper traces the resurgence of interest in epistemology at the turn of the century, as a reaction against the nineteenth-century development of Neo-Kantian and Neo-Hegelian idealism, through the interwar renaissance of epistemology, prompted by major advances in mathematics, logic, and physics, and its ultimate transformation from a theory of ideas and judgement into a theory of propositional (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Logic in Early Modern Thought.Katarina Peixoto & Edgar da Rocha Marques - 2020 - Encyclopedia of Early Modern Philosophy and the Sciences,.
    Logical reflection in early modern philosophy (EMP) is marked by the instability of the period, although it is more lasting (the Port-Royal Logic was nevertheless used as a handbook in philosophy courses until the end of the nineteenth century). It started in the sixteenth century and ended in the nineteenth century, a period of 300 years during which there were deep transformations in the conceptions of authority and scientific method. For the history of twentieth-century philosophy, it was the period (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Ancient logic and its modern interpretations.John Corcoran (ed.) - 1974 - Boston,: Reidel.
    This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient (...) texts. A renaissance in ancient logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  5. Absolute Infinity, Knowledge, and Divinity in the Thought of Cusanus and Cantor (ABSTRACT ONLY).Anne Newstead - 2024 - In Mirosław Szatkowski, Ontology of Divinity. Boston: De Gruyter. pp. 561-580.
    Renaissance philosopher, mathematician, and theologian Nicholas of Cusa (1401-1464) said that there is no proportion between the finite mind and the infinite. He is fond of saying reason cannot fully comprehend the infinite. That our best hope for attaining a vision and understanding of infinite things is by mathematics and by the use of contemplating symbols, which help us grasp "the absolute infinite". By the late 19th century, there is a decisive intervention in mathematics and its philosophy: the philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Petr Nigri z Kadaně a jeho pojetí „pomyslného jsoucna“.Efrem Jindracek - 2011 - Filosoficky Casopis 59 (5):717-732.
    Petrus Nigri (Schwarz) se narodil západočeské Kadani (něm. Kaaden) kolem roku 1435 a spolu se svými třemi bratry vstoupil v Německu do dominikánského řádu. Během svého studia prošel velkou část Evropy (Německo, Itálii, Španělsko, Čechy a Maďarsko) a nakonec se stal rektorem generálního studia v Budíně (1481). Obecně je znám spíše jako význačný středověký hebraista. Do dějin filosofie se zapsal zvláště jako autor Clipeus thomsitarum (před r. 1474), což je filosofický komentář na Porfýriův Úvod (Isagoge) a na aristotelovské Kategorie, formou (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. "Infinity, Knowledge, and Divinity in the Thought of Cusanus and Cantor" (Manuscript draft of first page of forthcoming book chapter ).Anne Newstead (ed.) - forthcoming - Berlin: De Gruyter.
    Renaissance philosopher, mathematician, and theologian Nicholas of Cusa (1401-1464) said that there is no proportion between the finite mind and the infinite. He is fond of saying reason cannot fully comprehend the infinite. That our best hope for attaining a vision and understanding of infinite things is by mathematics and by the use of contemplating symbols, which help us grasp "the absolute infinite". By the late 19th century, there is a decisive intervention in mathematics and its philosophy: the philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Scientific styles, plain truth, and truthfulness.Robert Kowalenko - 2018 - South African Journal of Philosophy 37 (3):361-378.
    Ian Hacking defines a “style of scientific thinking” loosely as a “way to find things out about the world” characterised by five hallmark features of a number of scientific template styles. Most prominently, these are autonomy and “self-authentication”: a scientific style of thinking, according to Hacking, is not good because it helps us find out the truth in some domain, it itself defines the criteria for truth-telling in its domain. I argue that Renaissance medicine, Mediaeval “demonology”, and magical thinking (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. A Formal Apology for Metaphysics.Samuel Baron - 2018 - Ergo: An Open Access Journal of Philosophy 5.
    There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Infinity and the Sublime.Karin Verelst - 2013 - Journal of Interdisciplinary History of Ideas 2 (4):1-27.
    In their recent work, L. Graham and J.-M. Kantor discuss a remarkable connection between diverging conceptions of the mathematical infinite in Russia and France at the beginning of the twentieth century and the religious convictions of their respective authors. They expand much more on the Russian side of the cultural equation they propose; I do believe, however, that the French (or rather ‘West European’) side is more complex than it seems, and that digging deeper into it is worthwhile. In this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. The Replication Crisis is Less of a “Crisis” in Lakatos’ Philosophy of Science than it is in Popper's.Mark Rubin - 2025 - European Journal for Philosophy of Science 15 (5):1-20.
    Popper’s (1983, 2002) philosophy of science has enjoyed something of a renaissance in the wake of the replication crisis, offering a philosophical basis for the ensuing science reform movement. However, adherence to Popper’s approach may also be at least partly responsible for the sense of “crisis” that has developed following multiple unexpected replication failures. In this article, I contrast Popper’s approach with that of Lakatos (1978) as well as with a related but problematic approach called naïve methodological falsificationism (NMF; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Caducitas and Śūnyatā: A Neoplatonist Reading of Nāgārjuna.Fabien Muller - 2023 - Comparative Philosophy 14 (1):76-97.
    In this paper I am addressing the question whether Nāgārjuna’s doctrine should be understood as a theory that describes reality itself (ontology) or as a theory of our relation to reality (epistemological, logical, psychological, etc.). To answer this question, I propose to compare Nāgārjuna’s concept of emptiness to that of ‘caducity’, a key element in the ontology of Renaissance Neoplatonist philosopher Francisco Patrizi. By showing that these concepts are similar, I argue that Nāgārjuna’s standpoint can be considered as that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Schelling’s Philosophy: Freedom, Nature, and Systematicity.G. Anthony Bruno (ed.) - 2020 - Oxford University Press.
    Despite F. W. J. Schelling’s relative exclusion from the ongoing German idealist renaissance in Anglophone scholarship, recent critical and historical engagement with idealist texts affords an unprecedented opportunity to discover the richness and value of his thinking. This volume provides a wide-ranging presentation of Schelling’s original contribution to and internal critique of the basic insights of German idealism, his role in shaping the course of post-Kantian thought, and his sensitivity and innovative responses to questions of lasting metaphysical, epistemological, ethical, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. L'etica del Novecento. Dopo Nietzsche.Sergio Cremaschi - 2005 - Roma RM, Italia: Carocci.
    TWENTIETH-CENTURY ETHICS. AFTER NIETZSCHE -/- Preface This book tells the story of twentieth-century ethics or, in more detail, it reconstructs the history of a discussion on the foundations of ethics which had a start with Nietzsche and Sidgwick, the leading proponents of late-nineteenth-century moral scepticism. During the first half of the century, the prevailing trends tended to exclude the possibility of normative ethics. On the Continent, the trend was to transform ethics into a philosophy of existence whose self-appointed task was (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Cień Boga w ogrodzie filozofa. Parc de La Villette w Paryżu w kontekście filozofii chôry.Wąs Cezary - 2021 - Wrocław: Wydawnictwo Uniwersytetu Wrocławskiego.
    The Shadow of God in the Philosopher’s Garden. The Parc de La Villette in Paris in the context of the philosophy of chôra I Bernard Tschumi’s project of the Parc de La Villette could have won the competition and was implemented thanks to the political atmosphere that accompanied the victory of the left-wing candidate in the French presidential elections in 1981. François Mitterand’s revision of the political programme and the replacement of radical reforms with the construction of prestigious architectural objects (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Apologetica Bisericii Primare.Apostolache Ionita - 2021 - Craiova, România: Mitropolia Olteniei.
    The confessional work of the Church has been from the very beginning a foundation and basis for the Divine Truth. Starting from this real necessity, the Apologetic Theology claims some important research directions, grounded on the Holy Scripture and the Holy Tradition. Given this historical and doctrinal context, we can highlight the next support coordinates of the Christian Apologetics background: “the truth of God’s existence, the reality of the supernatural world and man’s immortality. All of this are, as we can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Anachronism, Antiquarianism, and Konstellationsforschung: A Critique of Beiser.Ioannis Trisokkas - 2015 - Clio: A Journal of Literature, History, and the Philosophy of History 44 (1):87-113.
    In his Introduction to The Cambridge Companion to Hegel and Nineteenth-Century Philosophy (2008), entitled ‘The Puzzling Hegel Renaissance’, Frederick Beiser, the editor of the volume, claims that Anglophone Hegel research has been in the main deeply problematic and proceeds to offer a program of research for its rejuvenation. The paper argues that the reasons based on which he exercises his critique (antiquarianism and anachronism) fail on internal grounds and that, therefore, Hegelforschung should not be reduced to his proposed research (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Ramism.Andrea Strazzoni - 2022 - Encyclopedia of Renaissance Philosophy.
    The main aim of the French logician and philosopher Petrus Ramus was to provide a method of teaching the liberal arts enabling the completion of the undergraduate program of studies in 7 years. This method was based on a new logic, in which the complex structure of Aristotle’s Organon and of the Summulae logicales of Peter of Spain is reduced to two main doctrines: the invention of arguments, by which it is possible to find the notions for reasoning and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. The Art of Dialectic between Dialogue and Rhetoric: The Aristotelian Tradition. [REVIEW]Mehmet Karabela - 2014 - Journal of the History of Philosophy 52 (4):841-42.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Decolonising the Discourse on Resilience.Charles Amo-Agyemang - forthcoming - International Journal of African Renaissance Studies - Multi-, Inter- and Transdisciplinarity.
    This article presents a discursive critique of the Eurocentric paradigms of knowledge production that characterise much of the underlying logics in the age of neoliberal discourses on resilience, pointing out important areas not given sufficient attention. In particular, it highlights the limits of the modernist ontology of resilience, whereby extremely “vulnerable” African communities are encouraged “to become resilient” to climatic disruption and environmental catastrophe and to “bounce back” as rapidly as possible. The article moves the discussion forward, drawing from critical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality.Frederik J. Andersen - 2023 - Australasian Journal of Logic 20 (3):375-396.
    A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. La Structure Logique du Langage Ordinaire chez les Stoiciens.Ada Bronowski - 2014 - In Jean-Michel Counet, Philosophie et Langage Ordinaire de l'Antiquité a' la Renaissance. Louvain: Edition Peeters. pp. 83-96.
    Rather than considering ordinary language as deficient and incapable of grasping the structure of reality, the Stoics set out a theory, based on their notion of a lekton, by which ordinary language is a reflection of the structure of lekta which themselves are constitutive of reality.
    Download  
     
    Export citation  
     
    Bookmark  
  23. Sturm, Johann.Andrea Strazzoni - 2022 - Encyclopedia of Renaissance Philosophy.
    Johann Sturm was a Reformed pedagogic innovator, who established a teaching curriculum for gymnasia in order to provide an education based on the humanist ideals and on evangelical piety. This model described the contents and the method of learning for boys from 7 to 16 years and consisted mainly of the study of grammar, rhetoric, and dialectic (based on Cicero and on classic literature). His method of learning was based on memorization and imitation rather than on the understanding of formal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Anti-Exceptionalism about Logic.Stephen Read - 2019 - Australasian Journal of Logic 16 (7):298.
    Anti-exceptionalism about logic is the doctrine that logic does not require its own epistemology, for its methods are continuous with those of science. Although most recently urged by Williamson, the idea goes back at least to Lakatos, who wanted to adapt Popper's falsicationism and extend it not only to mathematics but to logic as well. But one needs to be careful here to distinguish the empirical from the a posteriori. Lakatos coined the term 'quasi-empirical' `for the counterinstances (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  25. LF: a Foundational Higher-Order Logic.Zachary Goodsell & Juhani Yli-Vakkuri - manuscript
    This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  26. On the translation from quantified modal logic to counterpart theory.Cristina Nencha - 2022 - Synthese 200 (5):1-15.
    Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...)
    Download  
     
    Export citation  
     
    Bookmark   126 citations  
  28. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2019 - 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   23 citations  
  29. What does nihilism tell us about modal logic?Christopher James Masterman - 2024 - Philosophical Studies 181:1851–1875.
    Brauer (2022) has recently argued that if it is possible that there is nothing, then the correct modal logic for metaphysical modality cannot include D. Here, I argue that Brauer’s argument is unsuccessful; or at the very least significantly weaker than presented. First, I outline a simple argument for why it is not possible that there is nothing. I note that this argument has a well-known solution involving the distinction between truth in and truth at a possible world. However, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. The Dutch Fates of Bacon’s Philosophy: Libertas Philosophandi, Cartesian Logic and Newtonianism.Andrea Strazzoni - 2012 - Annali Della Scuola Normale Superiore di Pisa – Classe di Lettere E Filosofia 4 (1):251-281.
    Bacon’s philosophy had a wide dissemination in Dutch Seventeenth Century context. This can be explained by the coeval diffusion of Cartesianism. Bacon’s project of a reformation of science was deemed by Heereboord and De Raey as the manifesto of a new philosophy. Along with Geulincx, moreover, De Raey borrowed Bacon’s arguments on the causes of error and on the replacement of Aristotelian natural history, aimed at integrating Descartes’s physics. Also in logic Bacon’s influence was noticeable, as the development of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Vagueness, Logic and Use: Four Experimental Studies on Vagueness.Phil Serchuk, Ian Hargreaves & Richard Zach - 2011 - Mind and Language 26 (5):540-573.
    Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  32. Adaptationism and the Logic of Research Questions: How to Think Clearly About Evolutionary Causes.Elisabeth A. Lloyd - 2015 - Biological Theory 10 (4):DOI: 10.1007/s13752-015-0214-2.
    This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  33. On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - 2024 - Review of Symbolic Logic 17 (3):682-704.
    Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. An essay in deontic logic and the general theory of action: with a bibliography of deontic and imperative logic.Georg Henrik von Wright (ed.) - 1968 - Amsterdam: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  35. What is the Normative Role of Logic?Hartry Field - 2009 - Aristotelian Society Supplementary Volume 83 (1):251-268.
    The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious (...)
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  36. New foundations for imperative logic I: Logical connectives, consistency, and quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.
    Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much (...)
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  37. Modus Ponens and the Logic of Decision.Nate Charlow - 2023 - Journal of Philosophical Logic 52 (3):859-888.
    If modus ponens is valid, then you should take up smoking.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Purism: The Inconceivability of Inconsistency within Space as the Basis of Logic.* Primus - 2019 - Dialogue 62 (1):1-24.
    I propose that an irreducible property of physical space — consistency — is the origin of logic. I propose that an inconsistent space is inconceivable and that this inconceivability can be recognized as the force behind logical propositions. The implications of this argument are briefly explored and then applied to address two paradoxes: Zeno of Elea’s paradox regarding the race between Achilles and the Tortoise, and Lewis Carroll’s paradox regarding the Tortoise’s conversation with Achilles after the race. I conclude (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  39. Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.
    This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. On the logic of the ontological argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
    In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  41. Gödel Mathematics Versus Hilbert Mathematics. II Logicism and Hilbert Mathematics, the Identification of Logic and Set Theory, and Gödel’s 'Completeness Paper' (1930).Vasil Penchev - 2023 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 15 (1):1-61.
    The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta, The development of modern logic. New York: Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  43. Indian logic.Jonardon Ganeri - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori, Handbook of the history of logic. Boston: Elsevier. pp. 1--309.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  44. Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
    In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  45. New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics.Risto Hilpinen (ed.) - 1981 - Dordrecht, Netherland: Wiley-Blackwell.
    The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts of obligation, permission (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  46. Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
    This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  48. Cognition, Thought and Object: A Reappraisal of Transcendental Logic’s Nature.Alan Daboin - manuscript
    In this article, I re-examine Kant’s many senses of cognition, thought, and object in order to better understand his account of logic, and, in particular, transcendental logic. In laying out the multiple and conflicting ways Kant defines each of those terms, the relation between transcendental logic and pure general logic can be revealed as analogous to, and, indeed, linked to, the isomorphism that exists between the categories of the understanding and the logical forms of judgment, which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. A cut-free sequent calculus for the bi-intuitionistic logic 2Int.Sara Ayhan - manuscript
    The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Traditional logic and the early history of sets, 1854-1908.José Ferreirós - 1996 - Archive for History of Exact Sciences 50 (1):5-71.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
1 — 50 / 980