Łukasiewicz, Jan (1878–1956)

2018 ◽  
Author(s):  
Jan Wolenski
Keyword(s):  
Mathematical Logic ◽  
Broad Sense ◽  
History Of Logic ◽  
Logical Investigations ◽  
History Of ◽  
Propositional Calculi ◽  
Favourite Topic

Before 1918, Łukasiewicz’s interests centred on logic (in the broad sense) and philosophy, and he worked on induction and probability. He also wrote an important historical book on the principle of contradiction in Aristotle. After 1918, Łukasiewicz concentrated almost entirely on mathematical logic and was the main organizer of the Warsaw School of Logic. The discovery of many-valued systems of logic is perhaps the most important result he achieved. He also invented an ingenious logical symbolism in which brackets (or other punctuation signs) are not necessary (bracket-free or Polish notation). Propositional calculi became a favourite topic of Łukasiewicz’s logical investigations. The history of logic was another subject in which Łukasiewicz achieved important results.

Logic in Poland after 1945 (until 1975)

2015 ◽  
Vol 23 (1) ◽  
pp. 159-171
Author(s):  
Jan Woleński ◽  
Victor Marek
Keyword(s):  
Mathematical Logic ◽  
Second World War ◽  
Foundations Of Mathematics ◽  
World War ◽  
History Of Logic ◽  
General Logic ◽  
Logical Investigations ◽  
History Of ◽  
Second World ◽  
Methodology Of Science

This paper summarizes logical investigations in Poland in the years 1945–1975 conducted by logicians living and working in the country. We concentrate on mathematical logic and the foundations of mathematics. Thus, we omit works in semantics (except logical model theory) and methodology of science; that is, other branches of general logic (logicsensu largo). We also skip investigations into the history of logic, one of the favorites of Polish logicians, except for mentioning reconstructions of some earlier systems. We also try to outline sociological circumstances relevant for the development of logic after the Second World War.

scholarly journals Image of Soviet and Russian logic in the West. Latter Half of the XXth Century

2021 ◽  
Vol 27 (2) ◽  
pp. 133-152
Author(s):  
Valentin A. Bazhanov ◽  
Irving H. Anellis
Keyword(s):  
Mathematical Logic ◽  
20Th Century ◽  
Scientific Knowledge ◽  
Russian Language ◽  
History Of Logic ◽  
The West ◽  
Xxth Century ◽  
History Of ◽  
Publishing Houses ◽  
The Russian Language

The article attempts to overview Western scientific knowledge of research in mathematical logic and its history in the USSR and Russia in the first half of the 20th century. We claim that Western scholars followed and were generally aware of the main works of their Soviet and Russian colleagues on mathematical logic and its history. It was possible, firstly, due to the fact that a number of Western scientists knew the Russian language, and, secondly, because Soviet and Russian logicians published their works in English (sometimes in German) in the original journals of mathematical logic or Soviet publishing houses (mainly Mir Publishers) translated Soviet authors into English. Thus, the names of A.G. Dragalin, Yu.L. Ershov, A.S. Karpenko, A.N. Kolmogorov, Z.A. Kuzicheva, Yu.I. Manin, S.Yu. Maslov, F.A. Medvedev, G.E. Mints, V.N. Salii, V.A. Smirnov, A.A. Stolyar, N.I. Styazhkin, V.A. Uspensky, I.M. Yaglom, S.A. Yanovskaya, A.P. Yushkevich, A.A. Zinov’ev were quite known to their Western counterparts. With the dawn of perestroika, contacts of Soviet / Russian logicians expanded significantly. Nevertheless, the analysis of Western works on mathematical logic and the history of logic suggests that by the end of the 20th century the interest of Western scientists in the works of their Russian colleagues had noticeably waned.

Kant and a Philosophical History of Logic

2018 ◽  
Author(s):  
Huaping Lu-Adler
Keyword(s):  
Eighteenth Century ◽  
Historical Narrative ◽  
History Of Logic ◽  
Philosophical Discourse ◽  
Systematic Philosophy ◽  
History Of ◽  
Early Eighteenth Century ◽  
Kantian Theory

This chapter discusses certain exegetical challenges posed by Kant’s logic corpus, which comprises the Logic compiled by Jäsche, Kant’s notes on logic, transcripts of his logic lectures, and remarks about logic in his own publications. It argues for a “history of philosophical problems” method by which to reconstruct a Kantian theory of logic that is maximally coherent, philosophically interesting, and historically significant. To ensure a principled application of this method, the chapter considers Kant’s conception of history against the background of the controversy between eclecticism and systematic philosophy that shaped the German philosophical discourse during the early eighteenth century. It thereby looks for an angle to make educated decisions about how to select materials from each of the periods considered in the book and builds a historical narrative that can best inform our understanding of Kant’s theory of logic.

scholarly journals Um Passeio pelo Labirinto da Lógica Matemática em companhia de Malba Tahan

2018 ◽  
Vol 15 (19) ◽  
pp. 247-264
Author(s):  
Inocêncio Fernandes Balieiro Filho
Keyword(s):  
Mathematical Logic ◽  
Euclidean Geometry ◽  
History Of Mathematics ◽  
Logical Structure ◽  
Deductive System ◽  
Axiomatic Method ◽  
Concept Definition ◽  
History Of ◽  
Contemporary Approach

O presente artigo tem por objetivo discutir numa perspectiva contemporânea os conteúdos de Lógica, Matemática, Filosofia da Matemática e História da Matemática presentes no livro A Lógica na Matemática, escrito por Malba Tahan. Para isso, mediante o uso da historiografia, foram selecionados temas concernentes com os assuntos da pesquisa. Foram tratados os seguintes temas: a base lógica da Matemática, a definição de conceito, os princípios para se definir um objeto, as definições e a natureza dos axiomas em Matemática, o método axiomático e as diversas axiomáticas para a geometria euclidiana, a estrutura lógica de um sistema dedutivo, os métodos de demonstração em Matemática, a indução, analogia e dedução em Matemática.   Palavras-chave: Lógica Matemática; História da Matemática; Filosofia da Matemática.   A TOUR BY THE LABYRINTH OF MATHEMATICAL LOGIC IN THE COMPANY OF MALBA TAHAN   Abstract   In this paper we discuss the Mathematics, the Logic of Mathematics, the Philosophy and History of Mathematics that presents in the book A Lógica na Matemática of the Malba Tahan, in a contemporary approach. For that, we use the historiography to select matters in adherence with the research. Are treated this topics: the basis of the Logic of Mathematics; the concept definition; principles to define an object; definitions and nature of the axioms in Mathematics; the axiomatic method and the diverse axiomatic to the Euclidean Geometry; the logical structure of a deductive system; demonstration methods in mathematics; the induction, analogy and deduction in mathematics.  

Sign in / Sign up

Export Citation Format

Share Document