Szybszy dostęp niż przeglądarce!
61 kontakty: Alfred Tarski, Alonzo Church, Analiza logiczna, Andrzej Kisielewicz (matematyk), Arystoteles, Automatyczne dowodzenie twierdzeń, Bertrand Russell, David Hilbert, Filozofia, Filozofia języka, Filozofia Zachodu, Funkcja boolowska, George Boole, Gottlob Frege, Historia logiki, Jan Łukasiewicz, Język grecki, Kazimierz Ajdukiewicz, Klasyczny rachunek zdań, Kurt Gödel, Kwantyfikator, Logika filozoficzna, Logika intuicjonistyczna, Logika matematyczna, Logika modalna, Logika prawnicza, Logika rozmyta, Logika wielowartościowa, Logika wolna, Logizowanie, Mała encyklopedia logiki, Metamatematyka, Nauki formalne, Poznanie, Prawa logiczne, Prawa rachunku kwantyfikatorów, Prawa rachunku zdań, Predykat, Programowanie logiczne, Rachunek predykatów pierwszego rzędu, Rachunek zdań, Retoryka, Rozum, Rozumowanie, Rozumowanie dedukcyjne, Schemat wnioskowania, System ekspertowy, Sztuczna inteligencja, Tadeusz Kotarbiński, Technika informatyczna, ..., Teoria modeli, Twierdzenia Gödla, Warszawa, Wartość logiczna, Witold Marciszewski, Wnioskowanie, Wydawnictwo Naukowe PWN, Złożoność obliczeniowa, Zdanie logiczne, Zmienna (matematyka), Zmienna zdaniowa. Rozwiń indeks (11 jeszcze) »
Alfred Tarski
Alfred Tarski, dawniej Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley w stanie Kalifornia) – polski logik, członek Szkoły Lwowsko-Warszawskiej.
Nowy!!: Logika i Alfred Tarski · Zobacz więcej »
Alonzo Church
Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson) – amerykański logik i matematyk.
Nowy!!: Logika i Alonzo Church · Zobacz więcej »
Analiza logiczna
Analiza logiczna – metoda polegająca na zastosowaniu środków logicznych do kontroli sensowności lub prawdziwości twierdzeń, do kontroli poprawności rozumowań lub do wyjaśniania pojęć w terminach zaczerpniętych z logiki (szeroko pojętej).
Nowy!!: Logika i Analiza logiczna · Zobacz więcej »
Andrzej Kisielewicz (matematyk)
Andrzej Marian Kisielewicz (ur. 15 maja 1953 w Jeleniej Górze) – polski matematyk, specjalizujący się w algebrze, kombinatoryce i logice; nauczyciel akademicki związany z uczelniami we Wrocławiu i w Opolu; działacz opozycyjny.
Nowy!!: Logika i Andrzej Kisielewicz (matematyk) · 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 i Arystoteles · Zobacz więcej »
Automatyczne dowodzenie twierdzeń
Automatyczne dowodzenie twierdzeń (ang. automated theorem proving) – proces, w którym komputer rozstrzyga czy dane twierdzenie jest dowodliwe w jakiejś teorii, często przy okazji generując jego dowód.
Nowy!!: Logika i Automatyczne dowodzenie twierdzeń · Zobacz więcej »
Bertrand Russell
Bertrand Russell w roku 1893 Bertrand Russell w roku 1907 Bertrand Arthur William Russell, 3.
Nowy!!: Logika i Bertrand Russell · Zobacz więcej »
David Hilbert
problemów Hilberta w tle. David Hilbert (ur. 23 stycznia 1862 w Królewcu (Prusy Wschodnie), zm. 14 lutego 1943 w Getyndze) – niemiecki matematyk.
Nowy!!: Logika i David Hilbert · Zobacz więcej »
Filozofia
Herrada z Landsbergu, ''Hortus deliciarum'', ''Philosophia et septem artes liberales'' Rembrandt, ''Medytujący filozof'', 1632 Auguste Rodin, ''Myśliciel'', 1902 Filozofia (od: – „miły, ukochany” i – „mądrość”, tłumaczone jako „umiłowanie mądrości”) – różnie definiowany element kultury umysłowej.
Nowy!!: Logika i Filozofia · Zobacz więcej »
Filozofia języka
Filozofia języka – dział filozofii podejmujący problem natury, pochodzenia oraz użycia języka.
Nowy!!: Logika i Filozofia języka · Zobacz więcej »
Filozofia Zachodu
Filozofia Zachodu lub filozofia europejska – myśl filozoficzna cywilizacji zachodniej.
Nowy!!: Logika i Filozofia Zachodu · Zobacz więcej »
Funkcja boolowska
Funkcja boolowska (funkcja logiczna) – dowolne odwzorowanie f\colon X \to Y, gdzie B.
Nowy!!: Logika i Funkcja boolowska · Zobacz więcej »
George Boole
George Boole (ur. 2 listopada 1815 w Lincoln, Anglia, zm. 8 grudnia 1864 w Ballintemple, hrabstwo Cork, Irlandia) – angielski matematyk i filozof, najbardziej znany z wprowadzenia metod algebraicznych do logiki, współtworząc logikę matematyczną.
Nowy!!: Logika i George Boole · Zobacz więcej »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (ur. 8 listopada 1848 w Wismarze, zm. 26 lipca 1925 w Bad Kleinen) – niemiecki matematyk, logik i filozof, profesor matematyki w Jenie.
Nowy!!: Logika i Gottlob Frege · Zobacz więcej »
Historia logiki
Szeroko rozpowszechniony był niegdyś pogląd uważający za twórcę logiki Sokratesa.
Nowy!!: Logika i Historia logiki · Zobacz więcej »
Jan Łukasiewicz
III Zjazd Filozofów w Krakowie 24 września 1936. Od lewej: Zygmunt Zawirski, NN, Witold Rubczyński, Władysław Tatarkiewicz, Tadeusz Garbowski, Jan Łukasiewicz, Tadeusz Czeżowski, sekretarz zjazdu Marian Heitzman Jan Leopold Łukasiewicz (ur. 21 grudnia 1878 we Lwowie, zm. 13 lutego 1956 w Dublinie) – polski naukowiec i polityk; logik i filozof, rektor Uniwersytetu Warszawskiego, minister.
Nowy!!: Logika i Jan Łukasiewicz · Zobacz więcej »
Język grecki
Wyraz „Grecja” napisany po nowogrecku Wyraz „Cypr” napisany po nowogrecku Język grecki, greka (Hellenikè glõtta; nowogr. ελληνική γλώσσα, ellinikí glóssa lub ελληνικά, elliniká) – język indoeuropejski z grupy helleńskiej, w starożytności ważny język basenu Morza Śródziemnego.
Nowy!!: Logika i Język grecki · Zobacz więcej »
Kazimierz Ajdukiewicz
Starych Powązkach cmentarzu Łyczakowskim we Lwowie Kazimierz Ajdukiewicz (ur. 12 grudnia 1890 w Tarnopolu, zm. 12 kwietnia 1963 w Warszawie) – polski filozof i logik, reprezentant szkoły lwowsko-warszawskiej, profesor Uniwersytetu Jana Kazimierza, Uniwersytetu im. Adama Mickiewicza i Uniwersytetu Warszawskiego, członek rzeczywisty Polskiej Akademii Nauk, członek Polskiej Akademii Umiejętności.
Nowy!!: Logika i Kazimierz Ajdukiewicz · Zobacz więcej »
Klasyczny rachunek zdań
Klasyczny rachunek zdań – najpopularniejszy system formalny logiki matematycznej, w którym formuły reprezentujące zdania logiczne mogąbyć tworzone z formuł atomowych za pomocąwymienionego niżej zbioru aksjomatów.
Nowy!!: Logika i Klasyczny rachunek zdań · Zobacz więcej »
Kurt Gödel
Kurt Gödel (wym. niem., ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacko-amerykański naukowiec: matematyk, fizyk teoretyk i filozof, specjalizujący się w logice matematycznej i teorii mnogości, zajmujący się również teoriąwzględności i filozofiąmatematyki.
Nowy!!: Logika i Kurt Gödel · Zobacz więcej »
Kwantyfikator
Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążącym zmienne w formułach.
Nowy!!: Logika i Kwantyfikator · Zobacz więcej »
Logika filozoficzna
Logika filozoficzna to dział filozofii zajmujący się.
Nowy!!: Logika i Logika filozoficzna · Zobacz więcej »
Logika intuicjonistyczna
Logika intuicjonistyczna (konstruktywna) – system logiczny oparty na filozoficznej koncepcji intuicjonizmu.
Nowy!!: Logika i Logika intuicjonistyczna · Zobacz więcej »
Logika matematyczna
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
Nowy!!: Logika i Logika matematyczna · Zobacz więcej »
Logika modalna
Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów.
Nowy!!: Logika i Logika modalna · Zobacz więcej »
Logika prawnicza
Logika prawnicza – dyscyplina pomocnicza nauk prawnych, zajmująca się prawniczymi zastosowaniami logiki.
Nowy!!: Logika i Logika prawnicza · Zobacz więcej »
Logika rozmyta
Logika rozmyta (ang. fuzzy logic) – jedna z logik wielowartościowych, stanowi uogólnienie klasycznej dwuwartościowej logiki.
Nowy!!: Logika i Logika rozmyta · Zobacz więcej »
Logika wielowartościowa
Logika wielowartościowa – rodzaj rachunku zdań, w którym przyjmuje się więcej niż dwie wartości logiczne.
Nowy!!: Logika i Logika wielowartościowa · Zobacz więcej »
Logika wolna
Logika wolna (ang. free logic) – logika wolna od założeń ontologicznych, takich jak założenie niepustości dziedziny.
Nowy!!: Logika i Logika wolna · Zobacz więcej »
Logizowanie
Logizowanie – postawa językowa charakteryzująca się dążeniem do uzgodnienia zjawisk językowych z powszechnie przyjętąlogiką(nie chodzi tu jednak o logikę naukową, ale o tzw. logikę potoczną).
Nowy!!: Logika i Logizowanie · Zobacz więcej »
Mała encyklopedia logiki
Mała encyklopedia logiki – polska encyklopedia wydana w roku 1970, wznowiona w zmienionej i rozszerzonej formie w roku 1988 przez Zakład Narodowy im. Ossolińskich,.
Nowy!!: Logika i Mała encyklopedia logiki · Zobacz więcej »
Metamatematyka
Metamatematyka (lub meta-matematyka) – bardzo rygorystyczne badanie podstaw matematyki i pewnych aspektów logiki matematycznej z użyciem zaawansowanych środków samej matematyki.
Nowy!!: Logika i Metamatematyka · Zobacz więcej »
Nauki formalne
Nauki formalne, także: nauki aprioryczne, nauki dedukcyjne – w klasyfikacji nauk grupa nauk wyróżniona ze względu na kryterium przedmiotowe.
Nowy!!: Logika i Nauki formalne · Zobacz więcej »
Poznanie
Poznanie – termin filozoficzny oznaczający odkrywanie (przedmiotu czy zagadnienia).
Nowy!!: Logika i Poznanie · Zobacz więcej »
Prawa logiczne
Prawa logiczne – twierdzenia logiki, zdania prawdziwe w każdym modelu, tj.
Nowy!!: Logika i Prawa logiczne · Zobacz więcej »
Prawa rachunku kwantyfikatorów
Bez opisu.
Nowy!!: Logika i Prawa rachunku kwantyfikatorów · Zobacz więcej »
Prawa rachunku zdań
Bez opisu.
Nowy!!: Logika i Prawa rachunku zdań · Zobacz więcej »
Predykat
Predykat – wieloznaczny termin mogący oznaczać.
Nowy!!: Logika i Predykat · Zobacz więcej »
Programowanie logiczne
Programowanie logiczne (nazywane także programowaniem w logice lub programowaniem w języku logiki) – metoda programowania, będąca odmianąprogramowania deklaratywnego, w której program podawany jest jako pewien zestaw zależności, a obliczenia sądowodem pewnego twierdzenia w oparciu o te zależności.
Nowy!!: Logika i Programowanie logiczne · Zobacz więcej »
Rachunek predykatów pierwszego rzędu
Rachunek predykatów pierwszego rzędu – system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów.
Nowy!!: Logika i Rachunek predykatów pierwszego rzędu · 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 i Rachunek zdań · Zobacz więcej »
Retoryka
Justynian. Napis głosi: ''Retoryka (...) jest najcudowniejsząze wszystkich umiejętności''. Retoryka – sztuka budowania artystycznej, perswazyjnej wypowiedzi ustnej lub pisemnej, nauka o niej, refleksja teoretyczna, jak również wiedza o komunikacji słownej, obrazowej i zachowawczej pomiędzy autorem wypowiedzi a jej odbiorcami.
Nowy!!: Logika i Retoryka · Zobacz więcej »
Rozum
Francisco de Goya, ''Gdy rozum śpi, budząsię demony'' Rozum – zdolność do operowania pojęciami abstrakcyjnymi lub zdolność analitycznego myślenia i wyciągania wniosków z przetworzonych danych.
Nowy!!: Logika i Rozum · Zobacz więcej »
Rozumowanie
Rozumowanie – proces myślowy polegający na uznaniu za prawdziwe danego przekonania lub zdania na mocy innego przekonania lub zdania uznanego za prawdziwe już uprzednio.
Nowy!!: Logika i Rozumowanie · Zobacz więcej »
Rozumowanie dedukcyjne
Dedukcja – rodzaj rozumowania logicznego, mającego na celu dojście do ścisłego wniosku na podstawie wcześniej założonego zbioru przesłanek.
Nowy!!: Logika i Rozumowanie dedukcyjne · Zobacz więcej »
Schemat wnioskowania
Schemat wnioskowania, schemat inferencyjny - układ wyrażeń powstający z wnioskowania przez zastąpienie w nim przesłanek i wniosku zmiennymi zdaniowymi.
Nowy!!: Logika i Schemat wnioskowania · Zobacz więcej »
System ekspertowy
System ekspertowy (również system ekspercki) – pojęcie z zakresu sztucznej inteligencji, oznacza system komputerowy, który emuluje proces podejmowania decyzji przez człowieka-eksperta.
Nowy!!: Logika i System ekspertowy · Zobacz więcej »
Sztuczna inteligencja
Wielkiej Brytanii Sztuczna inteligencja, SI (AI) – inteligencja wykazywana przez urządzenia sztuczne (w przeciwieństwie do inteligencji naturalnej).
Nowy!!: Logika i Sztuczna inteligencja · Zobacz więcej »
Tadeusz Kotarbiński
Cmentarzu Wojskowym na Powązkach w Warszawie (23 lipca 2008) Tadeusz Marian Kotarbiński (ur. 31 marca 1886 w Warszawie, zm. 3 października 1981 tamże) – polski filozof, logik i etyk, czołowy przedstawiciel szkoły lwowsko-warszawskiej, autor koncepcji reizmu, twórca etyki niezależnej oraz koncepcji opiekuna spolegliwego.
Nowy!!: Logika i Tadeusz Kotarbiński · Zobacz więcej »
Technika informatyczna
Technika informatyczna, technika informacyjna, technologia informatyczna, technologia informacyjna, TI (od ang. information technology, IT) – dyscyplina informatyczna i branża na rynku pracy zajmująca się stosowaniem technologii obliczeniowych (oprogramowanie i sprzęt komputerowy) w biznesie, instytucjach państwowych, opiece zdrowotnej, szkołach i innych typach organizacji.
Nowy!!: Logika i Technika informatyczna · Zobacz więcej »
Teoria modeli
Teoria modeli (nazywana też '''semantykąlogiczną''') – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi.
Nowy!!: Logika i Teoria modeli · Zobacz więcej »
Twierdzenia Gödla
Twierdzenia Gödla – wspólna nazwa dwóch rezultatów logiki matematycznej i metamatematyki.
Nowy!!: Logika i Twierdzenia Gödla · Zobacz więcej »
Warszawa
Hejnał warszawski Warszawa, miasto stołeczne WarszawaUstawa z dnia 15 marca 2002 r. o ustroju miasta stołecznego Warszawy.
Nowy!!: Logika i Warszawa · Zobacz więcej »
Wartość logiczna
Wartość logiczna – podstawowa cecha zdania określająca jego stosunek do faktów.
Nowy!!: Logika i Wartość logiczna · 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 i Witold Marciszewski · Zobacz więcej »
Wnioskowanie
Wnioskowanie – jedna z najbardziej podstawowych odmian rozumowania obok sprawdzania, dowodzenia i wyjaśniania.
Nowy!!: Logika i Wnioskowanie · Zobacz więcej »
Wydawnictwo Naukowe PWN
Wydawnictwo Naukowe PWN (WN PWN), w latach 1951–1991 Państwowe Wydawnictwo Naukowe (PWN) – polskie wydawnictwo naukowe założone w 1951 w Warszawie jako Państwowe Wydawnictwo Naukowe.
Nowy!!: Logika i Wydawnictwo Naukowe PWN · Zobacz więcej »
Złożoność obliczeniowa
Teoria złożoności obliczeniowej – dział teorii obliczeń, którego głównym celem jest określanie ilości zasobów potrzebnych do rozwiązania problemów obliczeniowych.
Nowy!!: Logika i Złożoność obliczeniowa · Zobacz więcej »
Zdanie logiczne
Zdanie logiczne – podstawowa kategoria syntaktyczna, będąca jednocześnie formąwypowiedzi, mającej na celu określenie stanu faktycznego danej rzeczy.
Nowy!!: Logika i Zdanie logiczne · Zobacz więcej »
Zmienna (matematyka)
Zmienna – symbol oznaczający wielkość, która może przyjmować rozmaite wartości.
Nowy!!: Logika i Zmienna (matematyka) · Zobacz więcej »
Zmienna zdaniowa
Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań.
Nowy!!: Logika i Zmienna zdaniowa · Zobacz więcej »
Przekierowuje tutaj:
Logik, Logika formalna, Logika praktyczna.
