21 kontakty: Absolutne i relacyjne pojęcia modalne, Arystoteles, Diodor Kronos, Filon z Megary, Funktor zdaniotwórczy, Implikacja ścisła, Implikacja materialna, Logika, Logika temporalna, Metajęzyk, Negacja, Prawda, Rachunek zdań, Routledge Encyclopedia of Philosophy, Stała logiczna, Stanford Encyclopedia of Philosophy, Uniwersytet Stanforda, Witold Marciszewski, Wypowiedź apodyktyczna, Wypowiedź problematyczna, Zmienna zdaniowa.
Absolutne i relacyjne pojęcia modalne
Absolutne i relacyjne pojęcia modalne – pojęcia modalne, jak możliwość i konieczność, gdy opatrzone sąpewnymi kwalifikatorami, określa się jako relatywne pojęcia modalne; do pojęć tego rodzaju należą"możliwy/konieczny fizycznie", "możliwy/konieczny biologicznie", "z natury możliwy/konieczny" itp.
Nowy!!: Logika modalna i Absolutne i relacyjne pojęcia modalne · Zobacz więcej »
Arystoteles
Arystoteles (starogr., Aristotelēs, ur. 384 p.n.e. w Stagirze, zm. 322 p.n.e. w Chalkis) – filozof, jeden z trzech – obok Sokratesa i Platona – najsławniejszych filozofów starożytnej Grecji.
Nowy!!: Logika modalna i Arystoteles · Zobacz więcej »
Diodor Kronos
Diodor Kronos (gr., III w p.n.e.) – starogrecki filozof, przedstawiciel szkoły megarejskiej.
Nowy!!: Logika modalna i Diodor Kronos · Zobacz więcej »
Filon z Megary
Filon z Megary, Filon Dialektyk (IV-III w.p.n.e.) – filozof starożytny, logik, należący do sokratyków mniejszych.
Nowy!!: Logika modalna i Filon z Megary · Zobacz więcej »
Funktor zdaniotwórczy
Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
Nowy!!: Logika modalna i Funktor zdaniotwórczy · Zobacz więcej »
Implikacja ścisła
W logice ścisły tryb warunkowy (symbol: \Box, lub ⥽) jest implikacjązarządzanąprzez operator modalny, czyli spójnik logiki modalnej.
Nowy!!: Logika modalna i Implikacja ścisła · Zobacz więcej »
Implikacja materialna
Implikacja, implikacja materialna (w odróżnieniu od implikacji formalnej, tj. wynikania) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań p (poprzednik implikacji) i q (następnik implikacji) spójnikiem implikacji p \to q. Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań.
Nowy!!: Logika modalna i Implikacja materialna · Zobacz więcej »
Logika
Logika (gr. λόγος, logos – rozum, słowo, myśl) – nauka formalna o jasnym i ścisłym formułowaniu myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń.
Nowy!!: Logika modalna i Logika · Zobacz więcej »
Logika temporalna
Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite.
Nowy!!: Logika modalna i Logika temporalna · Zobacz więcej »
Metajęzyk
Metajęzyk – dowolny język służący do opisu innego języka.
Nowy!!: Logika modalna i Metajęzyk · Zobacz więcej »
Negacja
Negacja (z łac. negatio), zaprzeczenie – pojęcie logiki i językoznawstwa o kilku znaczeniach.
Nowy!!: Logika modalna i Negacja · Zobacz więcej »
Prawda
Alegoria prawdy, marmurowa rzeźba w Ogrodzie Letnim, Sankt-Petersburg Prawda – według klasycznej definicji właściwość sądów polegająca na ich zgodności z faktycznym stanem rzeczy, których dotyczą.
Nowy!!: Logika modalna i Prawda · Zobacz więcej »
Rachunek zdań
Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.
Nowy!!: Logika modalna i Rachunek zdań · Zobacz więcej »
Routledge Encyclopedia of Philosophy
Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.
Nowy!!: Logika modalna i Routledge Encyclopedia of Philosophy · Zobacz więcej »
Stała logiczna
Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń słownika teorii logicznej.
Nowy!!: Logika modalna i Stała logiczna · Zobacz więcej »
Stanford Encyclopedia of Philosophy
Stanford Encyclopedia of Philosophy (SEP) – ogólnie dostępna encyklopedia internetowa filozofii opracowana przez Stanford University.
Nowy!!: Logika modalna i Stanford Encyclopedia of Philosophy · Zobacz więcej »
Uniwersytet Stanforda
Stanford University Stanford University Main Quad Uniwersytet Stanforda, The Leland Stanford Junior University (ang. Stanford University) – prywatna uczelnia w Stanfordzie, w Dolinie Krzemowej, w Stanach Zjednoczonych, jeden z najbardziej prestiżowych uniwersytetów świata.
Nowy!!: Logika modalna i Uniwersytet Stanforda · Zobacz więcej »
Witold Marciszewski
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.
Nowy!!: Logika modalna i Witold Marciszewski · Zobacz więcej »
Wypowiedź apodyktyczna
Wypowiedź apodyktyczna – w logice modalnej wypowiedź zbudowana z funktora modalnego „musi” (lub równoważnego, np. „powinien”) stwierdzającego konieczność oraz z argumentu w postaci zdania albo jego negacji.
Nowy!!: Logika modalna i Wypowiedź apodyktyczna · Zobacz więcej »
Wypowiedź problematyczna
Wypowiedź problematyczna – w logice modalnej wypowiedź zbudowana z funktora modalnego może (lub równoważnego, np. "dopuszczalne jest") stwierdzającego możliwość oraz z argumentu w postaci zdania albo jego negacji.
Nowy!!: Logika modalna i Wypowiedź problematyczna · Zobacz więcej »
Zmienna zdaniowa
Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań.
Nowy!!: Logika modalna i Zmienna zdaniowa · Zobacz więcej »