Výsledky hledání

Důležitou složkou šachu je šachová teorie, která má dnes charakter [[věda|vědy]]. [[Kompoziční šach]] rozvíj� Jiná teorie klade vznik šachu do Číny 2. stol. př. n. l. a tvrdí, že západní š

...[[Michael Žantovský]] pak na půdě Senátu uvedl, že „''[p]olitická logika se na úmysly neohlíží a ti, kdo půjdou příště cestou, kterou tento ...ní = Gerloch | jméno = Aleš | odkaz na autora = Aleš Gerloch | titul = Teorie práva | vydání = 3 | vydavatel = Aleš Čeněk | místo = Plzeň | rok =

...ilosofie|filozofii]] jako [[racionalita|racionální]] světový názor, [[teorie]] a [[metoda|metody]], [[metodologie]] a techniky, [[výzkum]] základní i ...roces vývoje vědy se liší. V současnosti je významná především [[teorie]] [[Thomas Samuel Kuhn|T.S. Kuhna]] o proměně vědeckého paradigmatu pro

...ontaktu s realitou a umožňuje jejich [[falzifikace|falzifikaci]], neboť teorie, jejíž důsledky jsou v rozporu s experimentem, bude falzifikována (tedy ...íprava hypotéz (návrh [[vysvětlení]] s obecnou platností, [[indukce (logika)|indukce]])

..., nejsou vědeckými zákony, i když mohou být součástí vědeckých [[teorie|teorií]]. ...t. Vědecký zákon popisuje pozorování v přírodě, zatímco vědecká teorie se jej snaží vysvětlit.

Přesnější (užší) chápání Occamovy břitvy se týká částí jedné teorie: :''Pokud nějaká část teorie není pro dosažení výsledků nezbytná, do teorie nepatří.''

* [[model (logika)]] – základní pojem [[matematika|matematické]] [[teorie modelů]]

...é službě (1959-[[1961]]) se stal vyučujícím filozofie a formální [[logika|logiky]] na Pedagogickém institutu ve Zlíně, věnoval se však i sociolo *''Sociometrie (teorie, metoda, techniky)''. Svoboda, Praha 1969

...a, která se zabývá [[metoda]]mi, jejich tvorbou a aplikací. Patří do teorie či [[filosofie vědy]] a obecněji do [[epistemologie]]. Pod vlivem [[angl * metodologie ''přírodních věd'', charakterizovaná [[indukce (logika)|induktivními]] postupy na základě [[hypotéza|hypotézy]] a [[experimen

...eho oborem je matematická [[logika]], především [[teorie modelů]] a [[teorie množin]].

...kolébku náboženských výzkumů zejména proto, že zde vznikaly první teorie o vzniku a původu náboženství, objevily se první filozofické úvahy o ...]] a [[Gottfried Wilhelm Leibniz|G. W. Leibnizem]], kdo položili základy teorie tzv. ''přirozeného náboženství'', které mělo existovat na počátku

'''Rasismus''' je teorie a [[ideologie]] hierarchizující sociální skupiny podle rasového klíč ...ého [[nacionalismus|nacionalismu]] a později se zneužitím [[evoluční teorie]] tzv. [[sociální darwinismus|sociálním darwinismem]].

...ského jednání ([[praxeologie]]) a striktní využívání [[deduktivní logika|deduktivní logiky]]. Zároveň odmítá využívání empirických metod v ...cky mluvících zemích, která v ekonomii prosazovala popisnou metodu bez teorie.

** obor ''Algebra, teorie čísel a [[matematická logika]]

...rmatika]] se mezi přirozená čísla počítá i [[nula]], což však v [[teorie čísel|Teorii čísel]] může vést k potížím. Tato čísla se označu Nejběžnější konstrukcí přirozených čísel v [[Teorie množin|teorii množin]] je následující postup:

'''Proměnná''' je v [[logika|logice]], [[matematika|matematice]] a [[programování]] způsob [[symbol]] ...razy obsahující proměnné. Platnost dané formule v nějakém [[model (logika)|modelu]] pak závisí na tom, jaké je zvoleno [[ohodnocení proměnných]

== Teorie pravdy == Pravdě se věnuje [[neformální logika]] a [[epistemologie]]. Pravdivé mohou být [[výrok]]y, [[premisa|premisy]

...eré opakovaný či hromadný výskyt nemá smysl. Viz též [[Bayesovská teorie pravděpodobnosti]]. Jako předobraz [[metoda maximální entropie|metody m ...kontextu oblastí jako [[statistická fyzika]], [[kvantová mechanika]], [[teorie chaosu]], [[informační fyzika]], atd. Rozvoj poznatků o teorii pravděpo

...ii. I výsledky pokusu se musí interpretovat, a to právě v rámci dané teorie. Podle Quina je tak kritériem vědecké pravdivosti kvalifikovaný souhlas

... přijímán jako pravdivý. Jeho pravdivost přitom není v rámci dané teorie logicky dokazována ani dokazatelná. Pojem postulátu je často užíván ...láty navzájem logicky slučitelné či konzistentní, lze rozšířením teorie studovat či diskutovat též pravdivost samotných postulátů. Obvykle ve

...ací v oboru [[teorie množin]]. Je zakladatalem takzvané [[alternativní teorie množin]]. Jeho filozofické dílo se věnuje filozofickým otázkám vědy ...h letech založil a společně se svými studenty rozvinul [[alternativní teorie množin|alternativní teorii množin]]. V letech osmdesátých se začal za

...publika|český]] světově uznávaný [[vědec]] v oblasti [[matematická logika|matematické logiky]]<ref>http://www.radio.cz/cz/clanek/91701 Český rozhl ... inteligence|umělé inteligenci]]. Položil matematické základy [[fuzzy logika|fuzzy logiky]].<ref>http://www.avcr.cz/thirdlevel/press/ostat_show.php?ID=2

*[[Paradoxy naivní teorie množin]] [[Kategorie:Logika]]

*[[paradox (logika)]] - formálně správný [[úsudek]], jehož výsledkem je [[spor]] **[[paradoxy naivní teorie množin]]

...tace, implementace interaktivních systémů, výukové využití [[APL]], teorie a praxe programovacích jazyků | [[1983]] || [[Ken Thompson]] a [[Dennis M. Ritchie]] || obecná teorie [[operační systém|operačních systémů]], implementace operačního sy

...ákladní úkony rozumu. Jedním je spojování a rozdělování v [[soud (logika)|soud]]u, druhým přechod od neznámého ke známému v [[úsudek|úsudku] ... z [[názor]]ů a z forem myšlení, které může analyzovat [[formální logika]]. Strukturu poznání by pak bylo možné chápat ve smyslu [[logický emp

...uhý=pojmu [[matematická logika|matematické logiky]]|stránka=formální teorie}} ...sledky experimentů a byl vnitřně [[konzistence|konzistentní]]. Opakem teorie je [[praxe]], [[empirie]].

'''Teorie množin''' je [[Matematika|matematická]] teorie, která se zabývá množinami. Z formálního pohledu jsou veškeré objek ...itý, ale zároveň „logický“, aby v něm mohly ostatní matematické teorie ([[algebra]], [[matematická analýza]]) smysluplně existovat, a zároveň

... vztahem k pojmům [[axiom]]atické [[teorie (logika)|teorie]] a [[důkaz (logika)|dokazatelnosti]]. ''Hlavní článek: [[Model (logika)]]''

'''Teorie pravděpodobnosti''' ('''počet pravděpodobnosti''') je [[matematika|matem Rozvoj této teorie probíhal od 17. století, zpočátku inspirován hlavně [[hazardní hra|h

... struktura]], která zobecňuje vlastnosti [[množina|množinových]] a [[logika|logických]] operací. Je nazvána podle irského matematika George&nbsp;Bo ...ra obsahuje pouze jeden prvek, neboli 0&nbsp;=&nbsp;1 (zde nejde o [[spor (logika)|spor]], nýbrž o dvojí značení jednoho [[prvek množiny|prvku]]). Vše

...čujeme jako '''axiomatickou''' a takto vytvořenou teorii za [[Formální teorie|teorii formální]]. Pro prokazování tvrzení ve formálních teoriích s ...ě byla axiomatizována i [[logika]] a došlo k vytvoření axiomatické [[teorie množin]], která se stala teorií zahrnující celou tehdejší matematiku

V [[teorie množin|teorii množin]] a v moderní [[logika|logice]] se antinomie často ztotožňují s [[paradox]]y. * [[Paradoxy naivní teorie množin]]

...mény]] neexistuje nevyhnutelná souvislost. Ekonomické výklady dějin a teorie modernizace jsou podle něj nedostatečné - je třeba zohlednit i další ...ějin) v důsledku nějaké civilizační katastrofy, nicméně podle něj logika technologického vývoje a mechanismus moderní přírodovědy, poháněný

'''[[Logika]]''' rozlišuje * [[transformátor (teorie systémů)|Transformátor]] převádí jedno úsilí na druhé úsilí a to

...vědy]] a [[filosofie]]. Jeho vědecká činnost je zastoupena i na poli [[logika|logiky]], [[fyzika|fyziky]], [[biologie]], [[sociologie]] a [[politologie]] ...ní verifikace (potvrzení), ale ''[[falzifikace|falsifikace]]''. Pouze ta teorie, kterou je možné podrobit falsifikaci, tedy vystavit ji možnosti vyvrác

V roce [[1930]] publikoval větu o úplnosti [[predikátová logika prvního řádu|predikátové logiky prvního řádu]] a v roce [[1931]] z� === Matematická logika ===

... [[literární teorie|literární teoretik]], jeden ze zakladatelů tzv. [[teorie fikčních světů]]. ...j. americkou [[Analytická filosofie|analytickou filosofií]], [[modální logika|modální logikou]] a [[Leibniz]]ovou teorií [[možný svět|možných sv�

...hna McCarthse '''advice taker''' (rádce) [1958]. V tomto návrhu slouží logika pro čistě deklarativní reprezentaci jazyka a dokazovač vět (theorem-pr Častěji se však logické programování chápe v užším smyslu, kdy se logika používá na deklarativní i procedurální reprezentaci jazyka. Vychází

...vá ve smyslu ''myšlenková cesta, která vedla k daným závěrům''. '''Logika''' je také formální [[věda]], zkoumající právě onen způsob vyvozov ...i, jinak řečeno je to disciplína studující relaci „vyplývání“. Logika také nezkoumá úplně obecně poznání – to je předmětem filosofick�

...)|model]], [[bezespornost]], [[úplná teorie|úplnost]], [[rozhodnutelná teorie|rozhodnutelnost]]. ...spolu úzce souvisejí. Jsou to [[teorie důkazu]], [[teorie modelů]] a [[teorie aritmetiky]].

... světě. Některé obory čisté matematiky se nacházejí na pomezí s [[logika|logikou]] či [[Filosofie|filozofií]]. ...ec 19. a [[20. století]], kdy vznikla [[teorie množin]] a [[matematická logika]] a matematika se formalizovala a axiomatizovala.

...řem" a "odborným literárním kritikem," ale také kritizoval, že její logika v knize [[Payback: Debt and the Shadow Side of Wealth]] není na stejné ú ...y, které oběť deptají. V ''[[Přežití]]'' Atwoodové je patrný vliv teorie o "posádkové mentalitě" ([[garrison mentality]]) [[Northrop Frye|Northro

** [[Karnaughova mapa]] v [[logika|logice]], ** [[logistická mapa]] v [[teorie chaosu|teorii chaosu]],

...onální|čistě funkcionálními]] jazyky, které striktně vycházejí z teorie (např. FP, Haskell, Miranda, Hope), tak i s hybridními jazyky, které moh ... k dosažení čistšího přístupu k základům matematiky. Kombinační logika je obecně chápána víc abstraktně něž [[Lambda kalkul]] a ve vývoji

* [[logika]] – nauka o správném myšlení, řeči a argumentování; * [[logika]] – o správném myšlení, vyvozování a argumentování;

...mi specializovanými katedrami (např. Katedra [[kulturologie]], Katedra [[logika|logiky]]); takto specializovaná výuka nemá často na jiných školách v ...ských studií, Ústav srovnávací jazykovědy, Ústav českého jazyka a teorie komunikace, Ústav české literatury a literární vědy, Ústav bohemisti

Na povrchu ''GEB'' zkoumá [[logika]] [[Kurt Gödel|Kurta Gödela]], [[umělec|umělce]] [[M. C. Escher]]a a [[ ...sebe sama (rekurze, sebe-reference). Například takzvaná ''typografická teorie čísel'' (anglicky ''Typographical Number Theory'', ''TNT'') ilustruje [[G

...říklad vznik [[neeukleidovská geometrie|neeukleidovské geometrie]] a [[teorie množin]]. ...atiku staří Řekové, především Eukleidés, autor první axiomatické teorie. Geometrických útvarů se týká řada jejich poznatků a úvah. Jmenovat

...šla uplatnění jako model [[časoprostor]]u v [[Einstein]]ově [[obecná teorie relativity|obecné teorii relativity]]. ...] našla později uplatnění v [[Albert Einstein|Einsteinov]]ě [[obecná teorie relativity|obecné teorii relativity]], kde se fyzikální čas a [[časopr

|znám_jako = tvůrce [[Quicksort]]<br />[[Floyd–Hoare logika]] ...ena muzea za vývoj algoritmu [[Quicksort]] a za celoživotní přínos do teorie [[programovací jazyk|programovacích jazyků]].

V [[matematika|matematice]] znamená teorie diskrepance studium odchylek od žádoucího, například rovnoměrného ro * [[Logika]]

...rávně pochopit smysl tvrzení a odpovídat na ně v souladu s pravidly [[logika|logiky]]. Když marxismus jako praktická teorie společnosti během [[20. století]] ztrácel přesvědčivost a socialisti

...s se v ''Základech'' věnuje nejen geometrii, ale také [[měření]] a [[teorie čísel|teorii čísel]]. Geometrie však byla jeho axiomatickým přístup ...uvádí 5 [[postulát|postulátů]], z nichž lze všechny další pojmy [[logika|logicky]] odvodit. Jedná se o následující postuláty.

...r odvozuje od zkušenosti i principy poznání, za opak této filozofické teorie se pak považuje [[racionalismus]]. ...td., pokud používají sběr a zpracování dat. Naopak [[matematika]], [[logika]] a velká část společenských věd pracují jinými metodami.

* [[Ekvivalence (logika)]] – v [[Logika|logice]] je '''ekvivalence''' jedním z logických [[operátor]]ů. ... – v [[Matematika|matematice]], konkrétněji v [[Algebra|algebře]] a [[teorie množin|teorii množin]] je '''ekvivalence''' jedním z typů [[binární r

** [http://logicizer.townhall.com/g/c5ecb3cf-2712-4f5a-ad89-7ae03da99280 Logika lafferovy křivky (anglicky)] [[Kategorie:Ekonomické teorie]]

...ch nesouměřitelnosti, nemůže probíhat krok za krokem, jak požaduje [[logika]] a přírodovědecká zkušenost. To zakládá ideu holistické koncepce, ... diskuse jsou na denním pořádku ([[kvantová mechanika]], [[evoluční teorie]] ad.). Samotné tvrzení o nesouměřitelnosti předpokládá jisté srovn

... jevů a procesů stala '''[[kybernetika]]''' a matematicko-statistická [[teorie informace]] jako její součást.<ref name="CEJPEK"/> ...aktický obor '''[[dokumentace (informační věda)|dokumentace]]''' (jako teorie též jako [[dokumentalistika]]), který, oproti původní '''[[Bibliografi

...m případem [[struktura (logika)|struktury]] definované v [[matematická logika|matematické logice]]. ...resp. její různé disciplíny – [[teorie grup]], [[teorie okruhů]], [[teorie těles]],…