Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: logika algebraiczna

Sortuj według:

Ogranicz wyniki do:

Abstrakcyjna logika algebraiczna pomostem między algebrą a logiką

Czelakowski J.

Wiadomości Matematyczne

2016

T. 52, Nr 2

201--217

W zadziwiający sposób logika jest powiązana z algebrą. Z matematycznej perspektywy każdy język, czy to naturalny, czy sztuczny, posiada złożoną strukturę algebraiczną. Struktura ta wyraźnie ujawnia się w językach sztucznych, a zwłaszcza w językach logik zdaniowych. Abstrakcyjna logika algebraiczna jest współcześnie rozwijana w wielu ośrodkach na świecie. AAL zajmuje się nie tylko logikami protoalgebraicznymi i nie tylko logikami zdaniowymi. W jej polu widzenia są wszelkie systemy dedukcyjne. Istotną część AAL stanowią badania logik równościowych oraz, w szczególności, badania w zakresie teorii równościowo definiowanego komutatora.

The reception of logic in Poland: 1870‒1920

Woleński J.

Czasopismo Techniczne. Nauki Podstawowe

2014

R. 111, z. 1-NP

245--253

This paper presents the reception of mathematical logic (semantics and methodology of science are entirely omitted, but the foundations of mathematics are included) in Poland in the years 1870–1920. Roughly speaking, Polish logicians, philosophers and mathematicians mainly followed Boole’s algebraic ideas in this period. Logic as shaped by works of Gottlob Frege and Bertrand Russell became known in Poland not earlier than about 1905. The foundations for the subsequent rapid development of logic in Poland in the interwar period were laid in the years 1915–1920. The rise of Polish Mathematical School and its program (the Janiszewski program) played the crucial role in this context. Further details can be found in [8]. This paper uses the material published in [20‒24].

W artykule przedstawiono recepcję logiki matematycznej w Polsce w latach 1870–1920. Polscy logicy, zarówno filozofowie jak i matematycy, kontynuowali algebraiczne idee Boole’a w tym okresie. Logika w stylu Gottloba Fregego i Bertranda Russella stała się znana w Polsce około 1905 r. Podwaliny pod dalszy szybki rozwój logiki w okresie międzywojennym zostały położone w latach 1915–1920. Powstanie Polskiej Szkoły Matematycznej i jej program (program Janiszewskiego) odegrały kluczową rolę w tym kontekście. Dalsze szczegóły można znaleźć w [8, 12]. Niniejszy artykuł korzysta z materiału zawartego w [20‒24].