Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2013 | 20 | suppl. 2 | 117 – 139
Tytuł artykułu

ODKUD SE BEROU AXIOMY LOGIKY?

Treść / Zawartość
Warianty tytułu
EN
Where do the axioms of logic come from?
Języki publikacji
CS
Abstrakty
EN
Systems of axioms for elementary logic we can find in textbooks are usually not very transparent; and the reader might well wonder how did precisely such a set of axioms come into being. In this paper we present a way of constituting one such non-transparent set of axioms, namely the one presented by E. Mendelson in his Introduction to Mathematical Logic, in a transparent way, with the aim of helping the reader to get an insight into the workings of the axioms.
Słowa kluczowe
Twórcy
  • Oddělení logiky, Filozofický ústav, Akademie věd České republiky, v.v.i., Jilská 1, 110 00 Praha 1, Czech Republic, jarda@peregrin.cz
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.cejsh-39311bb7-89ae-4384-a3d6-6b6ddcd8a120
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.