Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

W stronę Łukasiewicza

Tytuł:
W stronę Łukasiewicza
Towards Łukasiewicz
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/968460.pdf
Data publikacji:
2000-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 2000, 8, 1; 73-83
1230-6894
2657-5868
Język:
polski
Prawa:
CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:
Biblioteka Nauki
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie
The paper contains an attempt at formulating the project of logic comprised in Jan Łukasiewicz's article „On determinism” and a construction of a logic which would realise this project. Such a logic consists of three consequence-operations build upon a four-element algebra. The values of the algebra have been defined by means of the following set of sentences: true and true today, true but not true today, false but not false today and false and false today. It turns out that only one of the consequences is different from the classical consequence and all of them are logically two-valued. It is proved moreover, that the assumption that tautologies consists of sentences-forms which are „always” true today, results in the non-existence of such tautologies.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies