Informacja

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

Wyszukujesz frazę "Chlebowski, Szymon" wg kryterium: Autor


Wyświetlanie 1-2 z 2
Tytuł:
Frege i Łukasiewicz o wartościach logicznych
Frege and Łukasiewicz on logical values
Autorzy:
Jastrzębski, Hubert
Chlebowski, Szymon
Powiązania:
https://bibliotekanauki.pl/articles/18695409.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Opis:
Our article regards the connections between the views on semantics of Gottlob Frege and Jan Łukasiewicz. We are especially focused on the problem of logical values and their ontological interpetation. The paper is composed of three parts. In the first section we point out the general tendencies in the reception of Frege’s logical theory in the Lvov-Warsaw Philosophical School. The second section is dedicated to Frege’s semantics, especially his analysis of sense and meaning of propositions. In the third section we reconstruct Łukasiewicz’s propositional semantics from the period when he was inspired by Frege’s semantics. We also critically examine the widespread opinion, according to which the ontological interpretation of logical values proposed by Łukasiewicz is entirely consistent with Frege’s concept.
Źródło:
Internetowy Magazyn Filozoficzny Hybris; 2014, 27, 4; 121-135
1689-4286
Pojawia się w:
Internetowy Magazyn Filozoficzny Hybris
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Investigation into Intuitionistic Logic with Identity
Autorzy:
Chlebowski, Szymon
Leszczyńska-Jasion, Dorota
Powiązania:
https://bibliotekanauki.pl/articles/750046.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Non-Fregean logics
intuitionistic logic
admissibility of cut
propositional identity
congruence
Opis:
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    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