logika

Fenomenologie (filozofie)

Toto je základní článek. Pro použití termínu v psychologii viz Fenomenologie. Fenomenologie (z řečtiny phainómenon „to, co se jeví“, a lógos „studium“) je filozofické hnutí. Bylo založeno v prvních letech 20. století Edmundem Husserlem, rozšířilo se spolu s okruhem svých následovníků na univerzitách v Göttingenu a Mnichově v Německu a rozšířilo se do Francie, Spojených […]

Fenomenologie (filozofie) Read More »

Vaiššika

Vaisheshika, také Vaisesika, (sanskrt: वैशॆषिक, IAST Vaiśeṣika)je jednou ze šesti hinduistických filozofických škol (ortodoxních védských systémů) Indie. Historicky byla úzce spojena s hinduistickou logickou školou Nyaya. Vaisesika zastává určitou formu atomismu a postuluje, že všechny objekty ve fyzickém vesmíru jsou redukovatelné na konečný počet atomů. Původně navržené mudrcem Kanādou (nebo Kana-bhukem, doslova, pojídačem atomů) z

Vaiššika Read More »

Úvod do logiky

Logika, z klasického řeckého λόγος logos (slovo), je studium principů a kritérií platné inference a demonstrace. Logika jako formální věda zkoumá a klasifikuje strukturu výroků a argumentů, a to jak studiem formálních systémů odvozování, tak studiem argumentů v přirozeném jazyce. Rozsah logiky je proto velký, od stěžejních témat, jako je studium omylů a paradoxů, přes

Úvod do logiky Read More »

Předpoklad otevřeného světa

Ve formální logice je předpoklad otevřeného světa předpokladem, že pravdivostní hodnota výroku je nezávislá na tom, zda je či není jednotlivým pozorovatelem nebo činitelem známa jako pravdivá. Je to opak předpokladu uzavřeného světa, který tvrdí, že jakýkoli výrok, o němž není známo, že je pravdivý, je nepravdivý. Předpoklad otevřeného světa (OWA) se používá v reprezentaci

Předpoklad otevřeného světa Read More »

Ateismus

Francouzský spisovatel baron d’Holbach z 18. století byl jedním z prvních svérázných ateistů. Ateismus je stav nevíry nebo nevíry v existenci božstva nebo božstev. Běžně je definován jako pozitivní popření teismu (tj. tvrzení, že božstva neexistují), nebo záměrné odmítnutí teismu (tj. odmítnutí uvěřit v existenci božstev). Nicméně jiní – včetně většiny ateistických filozofů a skupin

Ateismus Read More »

Socionics

Socionika je teorie zpracování informací a osobnostního typu, odlišující se informačním modelem psychiky (nazývaným Model A) a modelem mezilidských vztahů. Zahrnuje práci Carla Junga na Psychologických typech s teorií Antoniho Kępińského o metabolismu informací. Socionika je modifikací Jungovy teorie osobnostního typu, která využívá osm psychických funkcí, na rozdíl od Jungova modelu, který používal pouze čtyři.

Socionics Read More »

Datový model

Datový model je abstraktní model, který popisuje, jak jsou data reprezentována a používána. Termín datový model má dva obecně uznávané významy: Teorie datového modelu má tři hlavní složky: Například v relačním modelu je strukturální část založena na modifikovaném konceptu matematického vztahu; integritní část je vyjádřena v logice prvního řádu a manipulační část je vyjádřena pomocí

Datový model Read More »

Metodika měkkých systémů

Soft Systems Methodology (SSM) je systémový přístup pro řešení problematických situací v reálném světě. Soft Systems Methodology je výsledkem pokračujícího akčního výzkumu, který Peter Checkland, Brian Wilson a mnoho dalších prováděli po dobu 30 let, aby poskytli uživatelům rámec pro řešení takových zapeklitých problémových situací, které postrádají formální definici problému. Je častým nedorozuměním, že SSM

Metodika měkkých systémů Read More »

Nejednoznačnost

Nejednoznačnost je vlastnost slov, pojmů, notací a pojmů (v rámci určitého kontextu) jako nedefinovatelných, nedefinovatelných, nebo bez zřejmé definice, a tudíž s nejasným významem. Slovo, fráze, věta nebo jiná komunikace se označují jako „nejednoznačné“, pokud je lze interpretovat více než jedním způsobem. Nejednoznačnost se liší od neurčitosti, která vzniká, když jsou hranice významu nezřetelné. Nejednoznačnost

Nejednoznačnost Read More »

Alan Turing

Alan Turing je často považován za otce moderní informatiky. Alan Mathison Turing (23. června 1912 – 7. června 1954) byl britský matematik, logik a kryptograf. Turing je často považován za otce moderní informatiky. S Turingovým testem Turing významně a charakteristicky provokativně přispěl k debatě o umělé inteligenci: zda bude někdy možné říci, že stroj je

Alan Turing Read More »