Admin: finalizován tvar zápisu autorů hesel

2017-12-11T16:02:36Z

finalizován tvar zápisu autorů hesel

Admin: import na produkční server

2017-12-10T16:54:20Z

import na produkční server

Nová stránka

logika – (z řec. logos = slovo, řeč) – ve vývoji evrop. myšlení je tento termín užíván v různých významech a kontextech, ale z hlediska terminologické tradice by se ''l.'' měla rozumět především analýza [[jazyk|jazyka]] a myšlení (usuzování, definování, klasifikování) s cílem podat taková pravidla, která by provádění těchto činností učinila co nejefektivnější. ''L.'' (v současném stadiu rozvoje nazývaná též formální ''l.'', symbolickou ''l.'', moderní ''l.'') je věd. disciplínou, která za své zformování vděčí ''Aristotelovi'' a která byla rozvíjena až do 19. st. v podobě tzv. tradiční ''l.'' Potom vstoupila do nového období, které je charakteristické širokým využíváním matem. aparátu, rozvíjením symbolické techniky, budováním axiomatických systémů a v souvislosti s tím obrovským rozšířením oblasti aplikací (v současnosti především ve výpočetní technice, informatice a umělé inteligenci). V návaznosti na hist. tradici je ''l.'' nejintenzívněji zkoumána jako prostředek ověřování správnosti [[důkaz|důkazů]], zejm. tzv. deduktivních důkazů (viz [[dedukce]]). Za předmět formální ''l.'' tak může být považována zejm. teorie správného odvozování a relace logického důsledku, na níž je toto odvozování založeno. V teorii odvozování formální logika uvažuje důkazy pouze vzhledem k jejich formě, a tedy nezávisle na obsahu a předmětné pravdivosti tvrzení, ze kterých se důkazy skládají (odtud název formální ''l.''). V posledních desetiletích se formální ''l.'' vnitřně diferencovala na tzv. klasickou ''l.'' a neklasické ''l.'', pro které je charakteristické, že popírají některý ze zákl. principů klasické ''l.'' (extenzionalitu, dvouhodnotovost). Mezi neklasické ''l.'' patří např. intuicionalistická ''l.'', vícehodnotová ''l.'', modální ''l.'', deontická ''l.'', fuzzy ''l.'' atd. Tzv. [[logika dialektická]] nepatří ani ke klasické, ani k neklasické větvi rozvíjení logiky.

<div class="translations">
logic
logique
Logik
logica
</div>

Literatura: ''Čechák, V.'' – ''Berka, K.'' – ''Zapletal, I.'': Co víte o moderní logice. Praha 1981; ''Berka, K.'': Stručné dějiny logiky. Praha 1994; ''Church, A.'': Introduction to Mathematical Logic. Princeton 1956; ''Tarski, A.'': Úvod do logiky a metodologie deduktivních věd. Praha 1966; ''Whitehead, A. N.'' – ''Russell, B.'': Principia Mathematica. Cambridge, Mass. 1910–1913.

-- ''[[:Kategorie:Aut: Svoboda Vladimír|Vladimír Svoboda]]'' 
[[Kategorie:Aut: Svoboda Vladimír]]
[[Kategorie:Příbuzné společenskovědní oblasti a disciplíny a jejich základní směry]]
[[Kategorie:Metodologie/obecná metodologie a logika]]
[[Kategorie:VSgS]]

@@ Řádek 10: / Řádek 10: @@
 <span class="section_title">Literatura:</span> ''Čechák, V.'' – ''Berka, K.'' – ''Zapletal, I.'': Co víte o moderní logice. Praha 1981; ''Berka, K.'': Stručné dějiny logiky. Praha 1994; ''Church, A.'': Introduction to Mathematical Logic. Princeton 1956; ''Tarski, A.'': Úvod do logiky a metodologie deduktivních věd. Praha 1966; ''Whitehead, A. N.'' – ''Russell, B.'': Principia Mathematica. Cambridge, Mass. 1910–1913.
--- ''[[:Kategorie:Aut: Svoboda Vladimír|Vladimír Svoboda]]''<br />
+''[[:Kategorie:Aut: Svoboda Vladimír|Vladimír Svoboda]]''<br />
 [[Kategorie:Aut: Svoboda Vladimír]]
 [[Kategorie:Příbuzné společenskovědní oblasti a disciplíny a jejich základní směry]]
 [[Kategorie:Metodologie/obecná metodologie a logika]]
 [[Kategorie:VSgS]]

Logika - Historie editací

Admin: finalizován tvar zápisu autorů hesel

Admin: import na produkční server