15 found

View year:

  1.  17
    (1 other version)Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism, by J. Warren, Oxford, Oxford University Press, 2020, xx + 385 pp., $ 94, ISBN 9780190086152. [REVIEW]M. Rescorla - 2024 - History and Philosophy of Logic 45 (3):380-384.
    Conventionalism about logic claims that logical truth has its source in linguistic convention. Conventionalism about mathematics claims the same for mathematical truth. Conventionalism was popular...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  11
    The Problem of Natural Representation of Reasoning in the Lvov-Warsaw School.Andrzej Indrzejczak - 2024 - History and Philosophy of Logic 45 (2):142-160.
    The problem of precise characterisation of traditional forms of reasoning applied in mathematics was independently investigated and successfully resolved by Jaśkowski and Gentzen in 1934. However, there are traces of earlier interests in this field exhibited by the members of the Lvov-Warsaw School. We focus on the results obtained by Jaśkowski and Leśniewski. Jaśkowski provided the first formal system of natural deduction in 1926. Leśniewski also demonstrated in some of his papers how to construct proofs in accordance with intuitively correct (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    Russell's Theories of Events and Instants from the Perspective of Point-Free Ontologies in the Tradition of the Lvov-Warsaw School.Andrzej Pietruszczak - 2024 - History and Philosophy of Logic 45 (2):161-195.
    We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in ‘The World of Physics and the World of Sense’ (Lecture IV in Our Knowledge of the External World of 1914). Based on this theory, Russell sketched ways to construct instants as collections of events. This paper formalizes Russell's approach from 1914. We will also show that in such a reconstructed theory, we obtain all axioms of Russell's (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    Mathematical Logic in the History of Logic: Łukasiewicz’s Contribution and Its Reception.Zuzana Rybaříková - 2024 - History and Philosophy of Logic 45 (2):98-108.
    AbstractŁukasiewicz introduced a new methodological approach to the history of logic. It consists of the use of modern formal logic in the research of the history of logic. Although he was not the first to use formal logic in his historical research, Łukasiewicz was the first who used it consistently and formulated it as a requirement for a historian of logic. The aim of this paper is to present Łukasiewicz's contribution and the history of its formulation. In addition, the paper (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  16
    Logic and Its History in the Lvov-Warsaw School.Kordula Świętorzecka & Marcin Łyczak - 2024 - History and Philosophy of Logic 45 (2):93-97.
    We take into account two areas of the logical research of the Lvov-Warsaw School. First, we consider a new approach to research in the history of logic introduced and practiced by Łukasiewicz and some of his followers. In this style of doing history of logic, the knowledge of original philosophical and logical texts was combined with competence in modern logic. This method resulted in many important discoveries both in history and in logic and philosophy. At the same time, we pay (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  11
    Are Ancient Logics Explosive?Marcin Tkaczyk - 2024 - History and Philosophy of Logic 45 (2):109-123.
    The twentieth-century logical mainstream, derived from works by Łukasiewicz and Scholz, pictures the history of logic for the most part as the prehistory of Boolean–Fregean mathematical logic. Particularly, with respect to classical propositional calculus, the Stoic logic has been pictured as an early stage of it and Aristotle's or the Peripatetics' logic as a theory that assumes it. Although it was not emphasised, it follows that the ancient logics contain the principle of explosion. In the endmost quarter of the twentieth (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Czeżowski's Theory of Reasoning and Mediaeval Biblical Exegesis.Marcin Trepczyński & Marcin Będkowski - 2024 - History and Philosophy of Logic 45 (2):196-218.
    We present how the theory of reasoning developed by Tadeusz Czeżowski, a Polish logician and a member of the Lvov-Warsaw School (LWS) can be applied to the mediaeval texts which interpret the Bible, which we collectively call as Biblical exegesis (BE). In the first part of the paper, we characterise Czeżowski's theory of reasoning with some modifications based on remarks of Kazimierz Ajdukiewicz. On these grounds, we discuss the nature of reasoning and its different types, as well as the problem (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. The Pioneering Proving Methods as Applied in the Warsaw School of Logic – Their Historical and Contemporary Significance.Urszula Wybraniec-Skardowska - 2024 - History and Philosophy of Logic 45 (2):124-141.
    Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only method of justifying theorems in deductive disciplines. It is based on the notion of proof, thus it is a method of proving theorems. In the Warsaw School of Logic (WSL) – the famous branch of the Lvov-Warsaw School (LWS) – two types of the method: axiomatic deduction method (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  32
    The Birth of Logic Out of the Spirit of Democracy.Franca D’Agostini - 2024 - History and Philosophy of Logic 45 (1):58-69.
    This paper advances a version of the theory whereby logic had deep origins in democracy, by re-reading Gorgias’ Encomium of Helen. Democracy, ‘the government by debate’, called political (and scientific) attention to the inferential abilities of citizens and to politicians’ ability of taking advantage of them. Sophists, in particular, discovered that people’s inferences follow constant repeatable forms, that these forms have impact on choices and decisions concerning public good, and then by dominating them you dominate politics in democracy. With the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  23
    Politics, History and Logic in Max Weber.Maurizio Ferrera - 2024 - History and Philosophy of Logic 45 (1):4-19.
    The article illustrates the different meanings of the term “logic” in Weber's work and then proceeds to discuss his approach to the explanation of historical events and in particular to counterfactual analysis. Weber's epistemology is first situated within the neo-Kantian debates of his time as well as legal positivism and historical jurisprudence. The article then focuses on this author's conception of science as a value sphere, on the aims and methods of explanation in the social and historical sciences and on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  46
    Logic and Discrimination.Elena Ficara - 2024 - History and Philosophy of Logic 45 (1):46-57.
    The paper is about the connection between logic and discrimination, with special focus on Plumwood’s ideas in her groundbreaking article ‘The Politics of Reason. Towards a Feminist Logic’ (1993). Although Plumwood’s paper is not focused on the notion of discrimination, what she writes is useful for illuminating some basic mechanisms of thought that are at the basis of discriminatory practices. After an introductory section about the concepts of logic and discrimination and their possible interconnections, I present Plumwood’s ideas in 1993 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  31
    Rethinking Logical and Political Normativity.Sebastiano Maffettone - 2024 - History and Philosophy of Logic 45 (1):81-91.
    The focus of the article is the notion of normativity in logic and politics and their possible intersections. The twentieth-century divide between the analytical and the continental idea of logic is explored, by noting that they both – with significant differences – can be seen as proposing a ‘bottom-up normativity’, which may have immediate political effects. Logical normativity postulates universality, and a connection between reality and reason able to orient actions universalistically. For a bottom-up conception (as specifically advanced by Deleuze’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. (What) Is Feminist Logic? (What) Do We Want It to Be?Catharine Saint-Croix & Roy T. Cook - 2024 - History and Philosophy of Logic 45 (1):20-45.
    ‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  34
    Polish Logicians on Social Functions of Logic.Jan Woleński - 2024 - History and Philosophy of Logic 45 (1):70-80.
    The paper examines the interplays between logic and politics in the Polish School of Logic starting from 1914. The Polish School of Logic flourished between 1920 and 1939. Philosophically, it was influenced by Kazimierz Twardowski (1866–1938). For Twardowski logic is fundamental for every kind of human activity, professional and private and this means that every argument should be formulated and proceed by correct inferential rules. These rules involve semiotics, formal logic and methodology of science. The paper shows how this position (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  42
    Meditating and Inquiring with Imagination: Leibniz, Lambert, and Kant on the Cognitive Value of Diagrams.Lucia Oliveri - 2024 - History and Philosophy of Logic 45:1-19.
    Reasoning with diagrams is considered to be a peculiar form of reasoning. Diagrams are often associated with imagistic representations conveyed by spatial arrangements of lines, points, figures, or letters that can be manipulated to obtain knowledge on a subject matter. Reasoning with diagrams is not just ‘peculiar’ because reasoners use spatially arranged characters to obtain knowledge – diagrams apparently have cognitive surplus: they enable a quasi-intuitive form of knowledge. The present paper analyses the issue of diagrams’ cognitive value by enquiring (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues