Related categories

150 found
Order:
1 — 50 / 150
  1. added 2020-05-10
    The Emergence of Modern Dialectic.Mehmet Karabela - 2018 - Proceedings of the XXIII World Congress of Philosophy 8:101-106.
    This paper compares the trajectories and defining moments in the evolution of dialectic in Islamic and European civilizations in the early modern intellectual history. The paper begins with a discussion of the concept of contradiction in the history of dialectic, and traces the shifts in the meaning of contradiction in the pre- and post-Hegel periods by focusing on the works of Immanuel Kant, G.W.F. Hegel and Karl Marx to illuminate how Islamic intellectuals understood dialectic at the very moment in which (...)
    No categories
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2020-03-24
    ¿qué Tan Matemática Es La Lógica Matemática?Axel Barceló Aspeitia - 2003 - Dianoia 48 (51):3-28.
    La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea —tanto en su simbolismo como en su cálculo— se crearon originalmente para el desarrollo (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2020-01-06
    Oskari Kuusela, Wittgenstein on Logic as the Method of Philosophy: Re‐Examining the Roots and Development of Analytic Philosophy . Xi + 297, £55.00 Hb. [REVIEW]Alessio Persichetti - 2019 - Philosophical Investigations 42 (4):424-427.
  4. added 2019-12-20
    The Rest of Cajetan’s Analogy Theory: De Nominum Analogia, Chapters 4–11.Joshua P. Hochschild - 2005 - International Philosophical Quarterly 45 (3):341-356.
    The influence of Cajetan’s De Nominum Analogia is due largely to its first three chapters, which introduce Cajetan’s three modes of analogy: analogy of inequality, analogy of attribution, and analogy of proportionality. Interpreters typically ignore the final eight chapters, which describe further features of analogy of proportionality. This article explains this neglect as a symptom of a failure to appreciate Cajetan’s particular semantic concerns, taken independently from the question of systematizing the thought of Aquinas. After an exegesis of the neglected (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5. added 2019-11-27
    Para além das Colunas de Hércules, uma história da paraconsistência.Evandro Luis Gomes & Itala Maria Loffredo D'Ottaviano - 2017 - Campinas, Brazil: Editora da Unicamp.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2019-09-18
    On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.Urszula Wybraniec-Skardowska - 2019 - Axioms 2019 (Deductive Systems).
    The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. added 2019-06-05
    The Contemporary Relevance of Ancient Logical Theory.John Corcoran - 1982 - Philosophical Quarterly 32 (126):76.
    This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8. added 2019-05-22
    Towards a Historical Notion of ‘Turing—the Father of Computer Science’.Edgar G. Daylight - 2015 - History and Philosophy of Logic 36 (3):205-228.
    In the popular imagination, the relevance of Turing's theoretical ideas to people producing actual machines was significant and appreciated by everybody involved in computing from the moment he published his 1936 paper ‘On Computable Numbers’. Careful historians are aware that this popular conception is deeply misleading. We know from previous work by Campbell-Kelly, Aspray, Akera, Olley, Priestley, Daylight, Mounier-Kuhn, Haigh, and others that several computing pioneers, including Aiken, Eckert, Mauchly, and Zuse, did not depend on Turing's 1936 universal-machine concept. Furthermore, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9. added 2019-04-29
    Lydia Patton. Anti-Psychologism About Necessity: Friedrich Albert Lange on Objective Inference. History and Philosophy of Logic, Vol. 32 , Pp. 139–152. [REVIEW]Matthias Wille - 2011 - Bulletin of Symbolic Logic 17 (4):537-538.
  10. added 2019-04-22
    Is Every Deductively Valid Argument Circular?Danny Frederick - manuscript
    David Miller claims that every valid deductive argument begs the question. Other philosophers and logicians have made similar claims. I show that the claim is false. Its appeal depends on the existence of logical terminology, particularly concerning what a proposition 'contains' or its 'logical content,' that is best understood as metaphoric and that, given its aptness to mislead, would be better eschewed. I show how the terminology appears to derive from early modern theories of the nature of mind, ideas and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. added 2019-04-05
    Categoricity and Negation. A Note on Kripke’s Affirmativism.Constantin C. Brîncuș & Iulian D. Toader - 2018 - In The Logica Yearbook 2018. London: College Publications. pp. 57-66.
    We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  12. added 2019-04-02
    Rejection in Łukasiewicz's and Słupecki' Sense.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. added 2019-04-02
    Alfred Tarski - the Man Who Defined Truth.Urszula Wybraniec-Skardowska - 2008 - Filozofia, Scientific Works of Jan Długosz Academy, Częstochowa:67-71.
    This article is a translation of the paper in Polish (Alfred Tarski - człowiek, który zdefiniował prawdę) published in Ruch Filozoficzny 4 (4) (2007). It is a personal Alfred Tarski memories based on my stay in Berkeley and visit the Alfred Tarski house for the invitation of Janusz Tarski.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  14. added 2019-03-31
    Introduction. The School: Its Genesis, Development and Significance.U. Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), in: The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer. pp. 3-14.
    The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach towards philosophical studies (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. added 2019-03-14
    On the Arithmetical Truth of Self‐Referential Sentences.Kaave Lajevardi & Saeed Salehi - 2019 - Theoria 85 (1):8-17.
    We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16. added 2019-03-07
    Consideraciones sobre algunos aspectos lógicos del giro lingüístico.Eduardo Dib - 2007 - In Hugo Aguilar & Marisa Moyano (eds.), Sentido y performatividad: La construcción discursiva de lo real. Río Cuarto, Córdoba, Argentina: pp. 109-121.
    Regarding the linguistic turn in History of Ideas, there are logical topics to be considered in order to increase the accuracy of reconstruccions oriented to describe and explain conceptual formations of the past. This paper propose an overview of these topics and a methodological approach to deal with its difficulties.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. added 2019-01-06
    De Re and De Dicto Modality in Islamic Traditional Logic.Zia Movahed - 2010 - Sophia Perennis 2:5-14.
  18. added 2018-10-19
    The Totality of Predicates and the Possibility of the Most Real Being.Srećko Kovač - 2018 - Journal of Applied Logics - The IfCoLog Journal of Logics and Their Applications 5 (7):1523-1552.
    We claim that Kant's doctrine of the "transcendental ideal of pure reason" contains, in an anticipatory sense, a second-order theory of reality (as a second-order property) and of the highest being. Such a theory, as reconstructed in this paper, is a transformation of Kant's metatheoretical regulative and heuristic presuppositions of empirical theories into a hypothetical ontotheology. We show that this metaphysical theory, in distinction to Descartes' and Leibniz's ontotheology, in many aspects resembles Gödel's theoretical conception of the possibility of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. added 2018-09-19
    The Principle of Equivalence as a Criterion of Identity.Ryan Samaroo - forthcoming - Synthese:1-25.
    In 1907 Einstein had the insight that bodies in free fall do not “feel” their own weight. This has been formalized in what is called “the principle of equivalence.” The principle motivated a critical analysis of the Newtonian and special-relativistic concepts of inertia, and it was indispensable to Einstein’s development of his theory of gravitation. A great deal has been written about the principle. Nearly all of this work has focused on the content of the principle and whether it has (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20. added 2018-09-17
    Formality of Logic and Frege’s Begriffsschrift.Daniele Mezzadri - 2019 - Canadian Journal of Philosophy 49 (2):182-207.
    This paper challenges a standard interpretation according to which Frege’s conception of logic (early and late) is at odds with the contemporary one, because on the latter’s view logic is formal, while on Frege’s view it is not, given that logic’s subject matter is reality’s most general features. I argue that Frege – in Begriffsschrift – retained the idea that logic is formal; Frege sees logic as providing the ‘logical cement’ that ties up together the contentful concepts of specific sciences, (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. added 2018-08-06
    Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. added 2018-05-30
    Š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.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. added 2018-03-20
    Excerpt From the Doctrine of Reason by Georg Friedrich Meier.Lawrence Pasternack & Pablo Muchnik (eds.) - 2016 - Bloomsbury Academic.
    The aim of Kant’s Sources in Translation is to retrieve the rich intellectual world that influenced Kant’s philosophical development. In its first stage, the series makes available the most important textbooks Kant used throughout his long teaching career. Many of these textbooks are in Latin or in German and remain inaccessible to Anglophone readers. Lacking this material, however, it is difficult to appreciate Kant’s originality and process of philosophical maturation, for readers are unable to understand what prompted Kant to introduce (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  24. added 2018-03-05
    Husserl's Logical Grammar.Ansten Klev - 2018 - History and Philosophy of Logic 39 (3):232-269.
    Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. added 2018-02-16
    Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
    Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26. added 2018-01-31
    Frege on Dichtung and Elucidation.Gisela Bengtsson - 2018 - In Gisela Bengtsson, Simo Säätelä & Alois Pichler (eds.), New Essays on Frege: Between Science and Literature. Dordrecht: Springer. pp. 101-119.
    In this paper, I identify an assumption at play in anti-semantic interpretative approaches to Frege: the notion that translatability to Frege’s concept script functions as a criterion for deciding whether a thought is expressed in a sentence or utterance. I question the viability of this assumption by pointing to Frege’s accounts of the aim and character of his logical language and scientific discourse more generally, and by looking at his remarks on poetic forms of language, literature and fiction (Dichtung). Since (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  27. added 2018-01-18
    Introdução ao Sistema Beta dos Grafos Existenciais de C.S. Peirce.Lafayette de Moraes & João Queiroz - 2004 - Cognitio 5 (1):28-43.
    Os grafos existenciais (GE) são uma notação lógica de caráter topológico e estão entre as mais originais invenções de C.S. Peirce (1839-1914). Trata-se de um sistema gráfico de diagramas lógicos por meio do qual, segundo Peirce, “qualquer desenvolvimento do pensamento pode ser representado com precisão” (CP 4.530). Eles se dividem em três subsistemas – alfa, beta e gama –, aproximadamente equivalentes ao cálculo proposicional clássico, ao cálculo de predicados clássico de primeira ordem, e a um tipo de lógica modal. Nosso (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. added 2018-01-11
    The Sign of Consequence.Francesco Bellucci - 2016 - The Commens Encyclopedia: The Digital Encyclopedia of Peirce Studies.
    The “sign of consequence” is a notation for propositional logic that Peirce invented in 1886 and used at least until 1894. It substituted the “copula of inclusion” which he had been using since 1870.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. added 2018-01-11
    Introduction: Diagrammatical Reasoning and Peircean Logic Representations.João Queiroz & Frederik Stjernfelt - 2011 - Semiotica 2011 (186):1-4.
  30. added 2017-12-12
    The Logical Structure of Socrates’ Expert-Analogies.Petter Sandstad - 2017 - In Alessandro Stavru & Christopher Moore (eds.), Socrates and the Socratic Dialogue. Leiden: Brill. pp. 319-335.
    Socrates’ expert-analogies is frequent both in Plato’s dialogues and in the Socratic writings of Xenophon, and is also ascribed to Socrates by Aristotle and Aeschines. Socrates makes an analogy from a non-controversial expert (or an expertise) like the cobbler or ship-captain, to another (often controversial) expert (or expertise) like the statesman. This paper defends an interpretation of the expert-analogy as valid deductions. It infers from one type of expert (such as the ship-captain) to another type of expert (such as the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  31. added 2017-09-21
    Vreme, objasnjenje, modalnost (Time, Explanation, Modality).Vladimir Marko - 2004 - Novi Sad, Serbia: Futura.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  32. added 2017-08-09
    Perspectives on Universal Logic.Jean-Yves Béziau & Alexandre Costa-Leite (eds.) - 2007 - Milan, Italy: Polimetrica.
    Universal logic is to logic what universal algebra is to algebra. It is not a specific system of logic that would apply to everything but a general theory of all existing and possible logics. This new field has been slowly emerging through the new directions of research in logic of the past decades and the name was coined 15 years ago. In the Spring of 2005 was organized in Montreux, Switzerland, the First World Congress on Universal Logic. This exciting event (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. added 2017-03-05
    Future Determination of Entities in Talmudic Public Announcement Logic.M. Abraham, I. Belfer, D. M. Gabbay & U. Schild - 2013 - Journal of Applied Logic 11 (1):63-90.
  34. added 2017-02-16
    Logic Gallery.David Marans - 2015 - http://tinyurl.com/345bdwp.
  35. added 2017-02-07
    Sentido, significado y el principio de contexto en Frege.Kurt Wischin - 2012 - Disputatio. Philosophical Research Bulletin 1 (2):94--104.
    [ES] El principio de contexto que Frege establece en Fundamentos de la Aritmética no reaparece en sus escritos posteriores, hecho que podría sugerir que a consecuencia de la sustitución de la noción de contenido juzgable por las de sentido y significado Frege lo rechazara después de 1890. Dummett arguye en 1995 que el principio de contexto continúa formando una parte central de la filosofía de lenguaje de Frege, pero que las teorías establecidas a partir del tomo I de Leyes fundamentales (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. added 2017-01-18
    From the History of Chinese Logic.Henryk Greniewski - 1956 - Studia Logica 4 (1):241-243.
  37. added 2016-12-12
    Traditional Logic, Modern Logic and Natural Language.Wilfrid Hodges - 2009 - Journal of Philosophical Logic 38 (6):589-606.
    In a recent paper Johan van Benthem reviews earlier work done by himself and colleagues on ‘natural logic’. His paper makes a number of challenging comments on the relationships between traditional logic, modern logic and natural logic. I respond to his challenge, by drawing what I think are the most significant lines dividing traditional logic from modern. The leading difference is in the way logic is expected to be used for checking arguments. For traditionals the checking is local, i.e. separately (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. added 2016-01-11
    Review Of: Garciadiego, A., "Emergence Of...Paradoxes...Set Theory", Historia Mathematica (1985), in Mathematical Reviews 87j:01035.John Corcoran - 1987 - MATHEMATICAL REVIEWS 87 (J):01035.
    DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. added 2015-09-14
    Cronaca, preistoria e storia della logica.Dino Buzzetti - 1976 - Rivista di Filosofia 6:484-496.
    An evaluation of the historiography of logic is attempted.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. added 2015-09-04
    Frege on the Normativity and Constitutivity of Logic for Thought I.Daniele Mezzadri - 2015 - Philosophy Compass 10 (9):583-591.
    This two-part paper reviews a scholarly debate on an alleged tension in Frege ’s philosophy of logic. In Section 1 of Part I, I discuss Frege ’s view that logic is concerned with establishing norms for correct thinking and is therefore a normative science. In Section 2, I explore a different understanding of the role of logic that Frege seems to advance: logic is constitutive of the very possibility of thought, because it sets forth necessary conditions for thought. Hence, the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41. added 2015-08-10
    Bernard Bolzano-Apologist or Heretic?J. Louzil - 1998 - Filosoficky Casopis 46 (6):895-914.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  42. added 2015-06-14
    The Concept of Logical Consequence.Michael Detlefsen - 1993 - Philosophical Books 34 (1):1-10.
  43. added 2015-05-23
    Three Rules of Distribution: One Counterexample.John Corcoran - 1987 - Journal of Symbolic Logic 52:886-887.
    This self-contained one page paper produces one valid two-premise premise-conclusion argument that is a counterexample to the entire three traditional rules of distribution. These three rules were previously thought to be generally applicable criteria for invalidity of premise-conclusion arguments. No longer can a three-term argument be dismissed as invalid simply on the ground that its middle is undistributed, for example. The following question seems never to have been raised: how does having an undistributed middle show that an argument's conclusion does (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  44. added 2015-04-27
    Francis Bacon and the Laws of Ramus.Peter R. Anstey - 2015 - Hopos: The Journal of the International Society for the History of Philosophy of Science 5 (1):1-23.
    This article assesses the role of the laws of the French logician and educational reformer Petrus Ramus in the writings of Francis Bacon. The laws of Ramus derive from Aristotle’s grounds for necessary propositions. Necessary propositions, according to Aristotle, Ramus, and Bacon, are required for the premises of scientific syllogisms. It is argued that in Bacon’s Advancement of Learning and De augmentis scientiarum the only role for these laws is in the transmission of knowledge that has already been acquired. However, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45. added 2015-04-24
    Non-Euclidean Geometry and Relative Consistency Proofs.Alan Hausman - 1976 - In Peter K. Machamer & Robert G. Turnbull (eds.), Motion and Time, Space and Matter. Ohio State University Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  46. added 2015-04-07
    "Bolzano's" Theory of Science Proper".K. Berka - 1998 - Filosoficky Casopis 46 (6):931-947.
  47. added 2015-04-07
    Is Russell's Antinomy Derivable in Bolzano's Logic? In Bolzano-Studien.J. Berg - 1987 - Philosophia Naturalis 24 (4):406-413.
  48. added 2015-03-26
    Mill's System of Logic.David Godden - 2014 - In W. J. Mander (ed.), Oxford handbook of British philosophy in the nineteenth century. Oxford University Press. pp. 44-70.
    This chapter situates Mill’s System of Logic (1843/1872) in the context of some of the meta-logical themes and disputes characteristic of the 19th century as well as Mill’s empiricism. Particularly, by placing the Logic in relation to Whately’s (1827) Elements of Logic and Mill’s response to the “great paradox” of the informativeness of syllogistic reasoning, the chapter explores the development of Mill’s views on the foundation, function, and the relation between ratiocination and induction. It provides a survey of the Mill-Whewell (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. added 2015-03-14
    REVIEW OF 1988. Saccheri, G. Euclides Vindicatus (1733), Edited and Translated by G. B. Halsted, 2nd Ed. (1986), in Mathematical Reviews MR0862448. 88j:01013.John Corcoran - 1988 - MATHEMATICAL REVIEWS 88 (J):88j:01013.
    Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  50. added 2015-02-16
    Robert Leslie Ellis's Work on Philosophy of Science and the Foundations of Probability Theory.Lukas M. Verburgt - 2013 - Historia Mathematica 40 (4):423-454.
    The goal of this paper is to provide an extensive account of Robert Leslie Ellisʼs largely forgotten work on philosophy of science and probability theory. On the one hand, it is suggested that both his ‘idealist’ renovation of the Baconian theory of induction and a ‘realism’ vis-à-vis natural kinds were the result of a complex dialogue with the work of William Whewell. On the other hand, it is shown to what extent the combining of these two positions contributed to Ellisʼs (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 150