Implikacja materialna

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Implikacja, implikacja materialna (w odróżnieniu od implikacji formalnej, tj. wynikania) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań (poprzednik implikacji) i (następnik implikacji) spójnikiem implikacji

Jerzy Słupecki (ur. 29 sierpnia 1904 w Harbinie (Mandżuria), zm. 15 stycznia 1987) – polski logik, związany ze szkołą lwowsko-warszawską.Andrzej Stanisław Mostowski (ur. 1 listopada 1913 we Lwowie, zm. 22 sierpnia 1975 w Vancouver, Kanada) – polski matematyk zajmujący się głównie podstawami matematyki, przedstawiciel warszawskiej szkoły matematycznej.

Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań.

gdzie: 1 – prawda 0 – fałsz.

Definicja[ | edytuj kod]

Znak „<” przyjęto nazywać znakiem implikacji, od łac. implico – wplatam, dla zaznaczenia, że następnik jest niejako wpleciony, uwikłany w poprzednik, skoro w prawdziwej implikacji poprzednik nie może być prawdziwy bez prawdziwości następnika. Samo zaś zdanie postaci „p < q”, czyli zdanie warunkowe, nazywa się częstokroć wprost implikacją. (T. Kotarbiński, Elementy teorii poznania, logiki formalnej i metodologii nauk, Warszawa, PWN, 1986 (1929), s. 140).
Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów – niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5.Tadeusz Marian Kotarbiński (ur. 31 marca 1886 w Warszawie, zm. 3 października 1981 w Aninie) – polski filozof, logik i etyk, twórca etyki niezależnej, przedstawiciel szkoły lwowsko-warszawskiej, nauczyciel i pedagog, członek Towarzystwa Naukowego Warszawskiego (1929–1951), prezes (1946–1966) i członek honorowy Łódzkiego Towarzystwa Naukowego, członek honorowy Towarzystwa Naukowego Płockiego, przewodniczący Towarzystwa Kultury Moralnej (1946), przewodniczący Polskiego Towarzystwa Filozoficznego (1927–1975), członek Polskiej Akademii Umiejętności (1946–1951), członek rzeczywisty (1953) i prezes (1957–1962) Polskiej Akademii Nauk, członek Towarzystwa Wiedzy Powszechnej (1956), przewodniczący Rady Naukowej Towarzystwa Naukowego Organizacji i Kierownictwa (1957–1968), wiceprzewodniczący Ogólnopolskiego Komitetu Frontu Jedności Narodu (1958–1968), przewodniczący Międzynarodowego Instytutu Filozoficznego (1960–1963).


Podstrony: 1 [2] [3] [4]




Warto wiedzieć że... beta

Fałsz – jedna z dwóch podstawowych wartości logicznych. Drugą jest prawda. Fałsz jest niezgodnością treści sądu (zdania) z tym, do czego się odnosi.
Prawo kontrapozycji (transpozycji) – równoważność implikacji prostej i przeciwstawnej, wynikająca z kwadratu logicznego twierdzeń:
Helena Rasiowa (ur. 20 czerwca 1917 w Wiedniu, zm. 9 sierpnia 1994 w Warszawie) – polska matematyk, profesor Uniwersytetu Warszawskiego i Polskiej Akademii Nauk; zajmowała się logiką, algebrą (w tym algebrami Boole’a), teorią mnogości oraz informatyką teoretyczną. Autorka książki Wstęp do matematyki współczesnej, omawiającej zagadnienia z zakresu podstaw logiki i teorii mnogości.
Dowód nie wprost (dowód apagogiczny, dowód sokratejski, łac. reductio ad absurdum - sprowadzenie do sprzeczności), to forma dowodu logicznego, w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym (założenie nieprawdziwości twierdzenia prowadzi do sprzeczności), co pozwala przyjąć że zaprzeczenie tezy jest fałszywe, a sama teza prawdziwa. Inaczej sposób dowodzenia twierdzeń przez wykazanie sprzeczności między zaprzeczeniem dowodzonej tezy a przyjętymi założeniami.
Zdanie w sensie logiki (zdanie logiczne) – wypowiedź, która stwierdza określony stan rzeczy. Zdanie z języka J stwierdza (na mocy reguł semantycznych J) stan rzeczy s zawsze i tylko wtedy, gdy na mocy reguł semantycznych języka J: zdanie z jest prawdziwe zawsze i tylko wtedy, gdy s a z jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że s.
Witold Marciszewski (ur. 18 listopada 1930 w Warszawie) – polski logik i filozof, redaktor kilku encyklopedii logicznych, wieloletni nauczyciel akademicki, założyciel czasopisma Studies in Logic, Grammar and Rhetoric, redaktor blogów akademickich.
Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich nazw staje się zdaniem.

Reklama