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ę "logika trójwartościowa" wg kryterium: Temat


Wyświetlanie 1-4 z 4
Tytuł:
A three-valued doxastic logic based on Kleene’s and Bochvar’s ideas
Autorzy:
Wesserling, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/1068978.pdf
Data publikacji:
2019-12-30
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
logika doksastyczna
silne przekonanie
silna logika trójwartościowa Kleene'a
łączniki wewnętrzne
łączniki zewnętrzne
twierdzenie o zupełności
doxastic logic
strong belief
Kleene’s strong three-valued logic
internal connectives
external connectives
completeness theorem
Opis:
W tym artykule zaproponuję konstrukcję trójwartościowej logiki przekonań, którą nazywam: LSB3_1 (skrót od: logika trójwartościowa dla typu silnej wiary). Podam również i udowodnię kompletność LSB3_1 w odniesieniu do danej semantyki. LSB3_1 opiera się na preformalnych założeniach i intuicjach, które przedstawiono w sekcji 1. Sekcja 2 zawiera składnię i podział instrukcji LSB3_1 na wewnętrzne i zewnętrzne. Rozdział 3 przedstawia semantykę LSB3_1, a także szereg tautologii i formuł nietautologicznych w LSB3_1 wraz z ich intuicyjną interpretacją. System aksjomatyczny dla LSB3_1 i jego porównanie z silną logiką Kleene'a są przedstawione w sekcji 4. Twierdzenie o kompletności dla LSB3_1 jest przedstawione w rozdziale 5. Zdefiniuję termin koniunkcyjna forma normalna i przedstawię lematy, które prowadzą do udowodnienia redukcji języka LSB3_1 wzory przed udowodnieniem twierdzenia o zupełności.
In this paper, I shall propose the construction of a three-valued logic of beliefs, which I call: LSB3_1 (short for: Three-valued Logic for a type of Strong Belief). I shall also state and prove the completeness of LSB3_1 with respect to a given semantics. LSB3_1 is based on preformal assumptions and intuitions, which are stated in section 1. Section 2 includes the syntax and division of LSB3_1 statements into internal and external. Section 3 presents the semantics of LSB3_1, as well as a number of tautologies and non-tautological formulae in LSB3_1 with their intuitive interpretation. The axiomatic system for LSB3_1 and its comparison to Kleene’s strong logic are provided in section 4. The completeness theorem for LSB3_1 is presented in section 5. I shall define the term conjunctive normal form and provide lemmas which lead to proving the reduction of the LSB3_1 language formulae before proving the completeness theorem.
Źródło:
Studia Philosophiae Christianae; 2019, 55, 4; 89-113
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Postprawda w dyskursie publicznym w kontekście logiki klasycznej i logiki rozmytej
Post-truth in public discourse in the context of classical logic and fuzzy logic
Autorzy:
Lakomy, Mirosław
Powiązania:
https://bibliotekanauki.pl/articles/520986.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:
postprawda
logika klasyczna
logika trójwartościowa
logika rozmyta
kontraktualizm
post-truth
classical logic
trivalent logic
fuzzy logic
counter-actuality
Opis:
W pracy zaprezentowano dwa nurty dyskusji na temat postprawdy. Pierwszy konserwatywno-krytyczny, zasadzający się na konieczności odrzucenia tego pojęcia jako nienaukowego i szkodliwego. W tym kontekście uznano bowiem, iż termin ten jest sprzeczny z dorobkiem filozofii, logiki klasycznej i nauki społecznej Kościoła katolickiego. Drugi z kolei nurt–liberalno-kontraktualistyczny – poszukuje uzasadnienia dla zjawiska postprawdy w logice nieklasycznej, trójwartościowej i rozmytej.
The work presents two trends of discussion on post-truth. The first is conservatively critical, based on the necessity of rejecting this concept as unscientific and harmful. In this context, it was recognized that this term contradicts the achievements of philosophy, classical logic and the social teaching of the Catholic Church. The second in the current – liberal – countercurrent – seeks to justify the phenomenon of post-truth in non-classical, trivalent and fuzzy logic.
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura; 2019, 11, 1 "Postprawda. Nowe narracje i praktyki społeczne w epoce sfingowanych informacji i gatunków hybrydycznych"; 5-14
2083-7275
Pojawia się w:
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
Autorzy:
Tomza, Anna
Powiązania:
https://bibliotekanauki.pl/articles/595977.pdf
Data publikacji:
2020
Wydawca:
Łódzkie Towarzystwo Naukowe
Tematy:
classification of reasoning, formal logic, two and three-valued logic, definitions
klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje
Opis:
Background: The article analyzes the rarely raised issue of Kazimierz Ajdukiewicz, Polish logician, supporter of two-valued logic, and critic of the classification of reasoning by Jan Łukasiewicz, creator of trivalent logical calculus. Research purpose: The purpose of the article is an attempt to elucidate how Ajdukiewicz’s cri-ticism of Łukasiewicz’s reasoning system concerns the issue of the role and place of definition in logic. Ajudkiwicz was a student of Łukasiewicz, who was a world-renowned genius of logic, and did not get into a scientific dispute with his master. While using the cover of criticizing a fragment of Łukasiewicz’s research, he expresses a contradictory stance towards, in his opinion, the erroneous ways of defining by the terms used by Łukasiewicz in his classification of reasoning. Ajdukiewicz considered the issues related to the definition important. In his work, he emphasizes, as contemporary researchers of Ajdukiewicz’s thinking point out, that certain aspects of definition theory go beyond formalized definition procedures. An analysis of his views shows that he himself aspired to create a new science of definitions in logic. In the criticism he makes about Jan Łukasiewicz’s classification of reasoning, he emphasizes that it concerns the definition, not the process of reasoning. According to Ajdukiewicz, the definitions of alogical system must be meaningful and expressed in the sentence of the given logic language L, while to Łukasiewicz definitions presented in the classification are meaningless and contain an equivocation error. Fragmentary criticism of the problem of defining by Łukasiewicz is the beginning of in-depth research on understanding and the role of definition in logic. Methods: In the article, analytical methods demonstrate different approaches of logicians to the role of definitions in logic. The juxtaposition of Kazimierz Ajdukiewicz’s views on the classification of reasoning, with the views of the author of the classification – Jan Łukasiewicz, reveal differences in logic’s positions within the methodology of logical systems. In this way, Ajdukiewicz’s opinion, rarely raised in science and didactics, is presented about how Łukasiewicz’s methodology is incorrect, as it was created based on definitions bearing the equivocation error. According to Ajdukiewicz, Łukasiewicz, contrary to the principles of classical logic methodo- logy, gave existing definitions a new meaning, thus creating an incorrect logic system. Conclusions: The issue of how to define is often taken up, both in science and in the teaching process. The classification of reasoning by Jan Łukasiewicz in didactics is given today. It is different than the criticism by Kazimierz Ajdukiewicz, which is rarely undertaken in literature. The analysis of the views of the leading Polish logicians presented in the article regarding the classification of reasoning is a valuable contribution to the development of the subject of reasoning in logic. The analysis of Ajdukiewicz’s criticism presented in the article indicates a new face of his views regarding the dispute over definitions in logic. This new perspective may result in the extension of research on the meaning of definitions in two- and three-valued logic.
Przedmiot badań: Artykuł analizuje rzadko poruszaną kwestię wyrażanej przez Kazimierza Ajdukiewicza, polskiego logika, zwolennika logiki dwuwartościowej, krytyki klasyfikacji rozumowań autorstwa Jana Łukasiewicza, twórcy trójwartościowego rachunku logicznego. Cel badawczy: Celem artykułu jest próba wykazania, że podjęta przez Ajdukiewicza krytyka systemu rozumowań Łukasiewicza dotyczy problematyki roli i miejsca definicji w logice. Ajdukiewicz, który był uczniem Łukasiewicza, uznawanego na całym świcie za geniusza logiki, nie wdawał się w naukowy spór ze swoim mistrzem. Korzystając z płaszcza krytyki pewnego fragmentu badań Łukasiewicza, wyraża jednak odmienne stanowisko wobec, jego zdaniem, błędnych sposobów definiowania przez Łukasiewicza terminów użytych w klasyfikacji rozumowań. Ajdukiewicz problematykę dotyczącą definicji uważał za bardzo ważną. W swoich pracach podkreśla, co zauważają współcześni badacze myśli Ajdukiewicza, że pewne aspekty teorii definicji wykraczają poza sformalizowane procedury definicyjne. Analiza jego poglądów świadczy o tym, że on sam aspirował do utworzenia nowej nauki o definicjach w logice. W krytyce, której się podejmuje wobec klasyfikacji rozumowań Jana Łukasiewicza, sam podkreśla, że dotyczy ona definicji, nie zaś procesu rozumowań. Zdaniem Ajdukiewicza definicje systemu logicznego muszą być sensowne i wyrażone w zdaniu danego języka logiki L, natomiast definicje Łukasiewicza prezentowane w klasyfikacji są sensu pozbawione oraz zawierają błąd ekwiwokacji. Fragmentaryczne ujęcie w krytyce problemu definiowania stanowi początek jego pogłębionych badań nad rozumieniem i rolą definicji w logice. Metoda badawcza: W artykule metodą analityczną wykazuje się odmienne podejścia logików do roli definicji w logice. Zestawienie poglądów Kazimierza Ajdukiewicza na temat klasyfikacji rozumowań z poglądami autora klasyfikacji – Jana Łukasiewicza wykazuje różnice w stanowiskach logików, co do metodologii systemów logicznych. W ten sposób prezentowane jest rzadko podnoszone w nauce i dydaktyce zdanie Ajdukiewicza, iż metodologia Łukasiewicza jest nieprawidłowa, gdyż utworzona została w oparciu o definicje opatrzone błędem ekwiwokacji. Zdaniem Ajdukiewicza Łukasiewicz, wbrew zasadom metodologii logiki klasycznej, nadał definicjom istniejącym nowe znaczenie, tworząc przez to nieprawidłowy system logiki. Wyniki: Problematyka definicji podejmowana jest często zarówno w nauce, jak i procesie dydaktycznym. Klasyfikacja rozumowań autorstwa Jana Łukasiewicza w dydaktyce podawana jest do dziś. Inaczej z jej krytyką autorstwa Kazimierza Ajdukiewicza, która jest podejmowana w literaturze niezwykle rzadko. Prezentowana w artykule analiza poglądów czołowych polskich logików wobec klasyfikacji rozumowań stanowi cenny wkład w rozwój tematyki o rozumowaniach w logice. Prezentowana w artykule analiza krytyki Ajdukiewicza wskazuje na nowe oblicze jego poglądów dotyczące sporu o definicje w logice. Ta nowa perspektywa może zaowocować rozszerzeniem badań dotyczących znaczenia definicji w logice dwu- i trójwartościowej.
Źródło:
Studia Prawno-Ekonomiczne; 2020, 115; 133-148
0081-6841
Pojawia się w:
Studia Prawno-Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Status możliwości w logice trójwartościowej Jana Łukasiewicza
The status of possibility in Jan Łukasiewicz’s trivalent logic
Autorzy:
Balcerak, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/2233278.pdf
Data publikacji:
2022-12-22
Wydawca:
Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
Tematy:
możliwość
determinizm
ontologia możliwości
Łukasiewicz
logika trójwartościowa
possibility
determinism
ontology of possibility
trivalent logic
Opis:
W artykule przeanalizowane zostaną motywacje odrzucenia przez Jana Łukasiewicza zasady dwuwartościowości. W szczególności badanie dotyczyć będzie relacji między kategorią możliwości a wartością logiczną sądów. Kategoria ta jednoznacznie łączy się ze spojrzeniem na kontrowersję determinizm/indeterminizm prezentowanym przez Łukasiewicza. Pracę zamkną uwagi o statucie możliwości i próba odpowiedzi na pytanie, czy podejście Łukasiewicza może być traktowane jako coś więcej niż tylko intelektualne ćwiczenie w konstruowaniu narzędzi formalnych odpowiadających pewnym konwencjom.
This paper will examine the motivations behind Jan Łukasiewicz’s rejection of the principle of bivalence. In particular, the relationship between the category of possibility and the logical value of judgements will be examined. This category is clearly linked to the view of the determinism/ indeterminism controversy presented by Łukasiewicz. The paper will close with remarks on the statute of possibility and an attempt to answer the question whether Łukasiewicz’s approach can be treated as something more than an intellectual exercise in constructing formal tools corresponding to certain conventions.
Źródło:
Galicja. Studia i materiały; 2022, 8: "Filozofia w Galicji III"; 169-178
2450-5854
Pojawia się w:
Galicja. Studia i materiały
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-4 z 4

    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