The Problem of Natural Representation of Reasoning in the Lvov-Warsaw School

History and Philosophy of Logic 45 (2):142-160 (2024)
  Copy   BIBTEX

Abstract

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 principles.

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2023.2271004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Stanisław Jaśkowski and Natural Deduction Systems.Andrzej Indrzejczak - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 465-483.
Jaśkowski and Gentzen approaches to natural deduction and related systems.Andrzej Indrzejczak - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. pp. 253--264.
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
The Lvov-Warsaw School. Past and Present.Urszula Wybraniec-Skardowska & Ángel Garrido (eds.) - 2018 - Cham, Switzerland: Springer- Birkhauser,.
Natural Deduction.Andrzej Indrzejczak - 2015
The man who defined truth and the lvov crisis.Miroslava Trajkovski - 2021 - In Nenad Cekić (ed.), Етика и истина у доба кризе. Belgrade: University of Belgrade - Faculty of Philosophy. pp. 97-110.
Ontology of Logic and Mathematics in Lvov-Warsaw School.Roman Murawski - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 645-661.
Carnap and the Members of the Lvov–Warsaw School. Carnap’s Warsaw Lectures in the Polish context.Anna Brożek - 2021 - In Christian Damböck & Gereon Wolters (eds.), Der Junge Carnap in Historischem Kontext: 1918–1935 / Young Carnap in an Historical Context: 1918–1935. Springer Verlag. pp. 205-221.
From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction.Jan Von Plato - 2017 - Bulletin of the Section of Logic 46 (1/2).
Putting analysis and construction of concepts into its righteous position.Ewelina Grądzka - 2021 - Philosophical Problems in Science 71:155-173.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Normal Proofs, Cut Free Derivations and Structural Rules.Greg Restall - 2014 - Studia Logica 102 (6):1143-1166.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.

Analytics

Added to PP
2024-04-26

Downloads
7 (#1,388,145)

6 months
7 (#431,507)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrzej Indrzejczak
University of Lodz

Citations of this work

No citations found.

Add more citations

References found in this work

Free logic.John Nolt - 2021 - Stanford Encyclopedia of Philosophy.
Symbolic logic.Frederic Brenton Fitch - 1952 - New York,: Ronald Press Co..
Methods of Logic.W. V. Quine - 1952 - Critica 15 (45):119-123.
Methods of Logic.P. L. Heath & Willard Van Orman Quine - 1955 - Philosophical Quarterly 5 (21):376.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.

View all 25 references / Add more references