Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Universality of Logic

100%

Woleński J.

Bulletin of the Section of Logic

2017

tom 46

nr 1/2

This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity (truth in all models). All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic. The categorical approach to logic is presented as associated with the last understanding of universality. The author concludes that two senses of universality should be sharply discriminated and defends the first-order thesis.

Logic and the foundations of mathematics in Lvov (1900-1939)

100%

Woleński J.

Banach Center Publications

2009

tom 87

nr 1

27-44

Mathematical logic in Poland 1918–1939

100%

Woleński J.

Antiquitates Mathematicae

2018

tom 12

Poland in the years 1918–1939 became one of the main centres of mathematical logic in the entire Word. This paper describes the rise of this field in Poland, Polish logical circles, organizations, journals and the main achievements of Polish logicians.

Ograniczanie wyników

1 Antiquitates Mathematicae

1 Banach Center Publications

1 Bulletin of the Section of Logic

3 Woleński J.

1 2018

1 2017

1 2009

Wyniki wyszukiwania

Universality of Logic

Logic and the foundations of mathematics in Lvov (1900-1939)

Mathematical logic in Poland 1918–1939