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ę "systemy założeniowe" wg kryterium: Wszystkie pola


Wyświetlanie 1-2 z 2
Tytuł:
On the Philosophical-Logical Views of Ludwik Borkowski
O poglądach filozoficzno-logicznych Ludwika Borkowskiego
Autorzy:
CZERNECKA-REJ, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/488523.pdf
Data publikacji:
2018-06
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Ludwik Borkowski
systemy założeniowe
zasada dwuwartościowości
modalności
definicja prawdy
natural deduction
principle of bivalence
modalities
definition of truth
Opis:
Dzięki zdobytej wiedzy filozoficznej Ludwik Borkowski widział problemy formalne w szerszym kontekście. Był w uprawianiu logiki kontynuatorem tradycji szkoły lwowsko-warszawskiej. Podejmował problemy podstawowe dla szeroko pojętej logiki oraz mające doniosłe konsekwencje filozoficzne, np. logiki nieklasyczne, teoria prawdy, metoda założeniowa, teoria konsekwencji, teoria definicji. Dbał o intuicyjną interpretację swych wyników logicznych, a samą logikę traktował jako naukę autonomiczną, która ma pełnić funkcję służebną wobec innych nauk. Choć nie pisał typowych dzieł filozoficzno-logicznych, dociekanie filozoficznych źródeł, inspiracji i konsekwencji wyników logiki towarzyszyło mu przez cały czas twórczej aktywności.
Ludwik Borkowski’s vast knowledge of philosophy allowed him to put his logical studies in a philosophical context. As a logician, he continued the tradition of the Lvov-Warsaw school. He dealt with the basic issues of the widely understood logic as well as with those having strong philosophical implications (e.g. non-classical logics, the theory of truth, natural deduction, the theory of consequence). He also worked on the theory of definition and the intuitive interpretation of logical results. For Borkowski, logic was an autonomous science whose function is supposed to be ancillary towards the other sciences. Although he did not write any typical philosophical-logical works, investigating philosophical sources, inspirations and the implications of logical results was something he did throughout the whole period of his creative activity.
Źródło:
Roczniki Filozoficzne; 2018, 66, 2; 149-171
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Założeniowe systemy normalnych logik modalnych
Natural Deduction Systems of Normal Modal Logics
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013342.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika modalna
normalna logika modalna
dedukcja naturalna
system założeniowy
modal logic
normal modal logic
natural deduction
Opis:
Most normal modal logics have been constructed as axiomatic systems rather than natural deduction. However, a lot of them have Gentzen-style or Kalish-Montague-style counterparts. Unfortunately, very few systems have Słupecki-Borkowski-style natural deduction counterparts. To fill in the gap is an aim of the present paper. The system K is developed as a Leśniewski-Borkowski-style natural deduction system in two ways. Equivalence of the systems is proved. A way is described to develop other normal systems beginning with the given system K.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 219-228
0035-7685
Pojawia się w:
Roczniki Filozoficzne
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