Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

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

Ograniczanie wyników

1 Diametros

1 2014

1 Rożko K.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Słupecki

Sortuj według:

Ogranicz wyniki do:

Znaczenie pojęcia odrzucania we współczesnej logice

100%

Rożko K.

Diametros

2014

nr 41

115-126

Głównym celem artykułu jest pokazanie, jak pojęcie odrzucania zmieniało się na gruncie logiki w ciągu ostatnich kilkunastu lat. Idea odrzucania była znana już Arystotelesowi, ale do logi-ki formalnej zastała wprowadzona przez Jana Łukasiewicza. Następnie pojęcie to było wnikliwie analizowane przez polskich logików skoncentrowanych wokół Jerzego Słupeckiego. W ostatnim czasie ukazało się kilka interesujących artykułów, które rzucają nowe światło na tę problematykę. W tym artykule zarysowana zostanie historia pojęcia odrzucania oraz pokazane zostaną nowe zastosowania systemów odrzucania zarówno na gruncie teoretycznym, jak i praktycznym.

The main aim of this article is to show how the notion of refutation has been changing in logic for the last few years. The idea of refutation was known to Aristotle, but the formal concept was introduced by Jan Łukasiewicz. Afterwards this notion was investigated by the Polish group of logicians headed by Jerzy Słupecki. Several interesting articles about refutation have appeared in the last years. In this article, I present in outline the history of the notion of refutation and I discuss recent applications of refutation systems both in the theoretical and practical approach.