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

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: metalogic

Sortuj według:

Ogranicz wyniki do:

Ajdukiewicz’s Semantic Turn

100%

Brożek A.

Przegląd Filozoficzny. Nowa Seria

2023

nr 1

77-94

Ajdukiewicz called his article Problemat idealizmu transcendentalnego w sformułowaniu semantycznym [The Semantic Version of Transcendental Idealism], published in “Przegląd Filozoficzny” in 1937, a “turning point” of his philosophical development. The aim of the paper is to present various aspects of this turn. Firstly, the historical and philosophical background of the 1937 paper is sketched. It includes the metaphilosophical position of the Lvov‑Warsaw School, and the development of methods applied in this group. Secondly, Ajdukiewicz’s ideas up to 1937 are outlined in order to present what the semantic turn consisted in. Next, the program of the semantic theory of knowledge is sketched, and the steps of Ajdukiewicz’s argumentation against transcendental idealism, with an emphasis on the use of metalogical and semantic results, are presented. Finally, Ajdukiewicz’s proposal is discussed from the methodological point of view.

Znaczenie pojęcia odrzucania we współczesnej logice

59%

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.

On Four Types of Argumentation For Classical Logic

51%

Czernecka-Rej B.

2020

tom 68

nr 4

271-289

My goal of this article is to analyze the argumentation lines for the correctness of standard logic. I also formulate a few critical and comparative remarks. I focus on four the most coherent and complete argumentations which try to justify the distinguished position of classical logic. There are the following argumentations: Willard van O. Quine’s pragmatic-methodological argumentation, Jan Woleński’s philosophical-metalogical argumentation, Stanisław Kiczuk’s ontological-semantic argumentation, argumentation based on metalogic. In my opinion, the thesis concerning the correctness of classical logic is rationally justified by these argumentations. The problem remains whether the analyzed standard logic is the only proper logic.

O czterech typach argumentacji na rzecz logiki klasycznej Moim celem w tym artykule jest analiza argumentacji pod kątem poprawności standardowej logiki. Formułuję też kilka uwag krytycznych i porównawczych. Skupiam się na czterech najbardziej spójnych i kompletnych argumentach, które próbują uzasadnić wyróżnione stanowisko logiki klasycznej. Istnieją następujące argumenty: argumentacja pragmatyczno-metodologiczna Willarda van O. Quine’a, argumentacja filozoficzno-metalogiczna Jana Woleńskiego, argumentacja ontologiczno-semantyczna Stanisława Kiczuka, argumentacja metalogiczna. Moim zdaniem teza o poprawności logiki klasycznej jest racjonalnie uzasadniona tymi argumentacjami. Pozostaje problem, czy analizowana logika standardowa jest jedyną właściwą logiką.