Výsledky vyhľadávania
z Wikipédie, slobodnej encyklopédie
Hľadali ste „Logika“ (všetky stránky začínajúce na „Logika” | všetky stránky odkazujúce na „Logika”)
Pozor! Vyhľadávanie je indexové, teda neprebieha v reálnom čase. Index sa v súčasnej dobe aktualizuje každých 30-48 hodín. Skúste použiť aj externú vyhľadávaciu službu (napr. Google - požiadavku v tvare site:sk.wikipedia.org "hľadaný výraz").
Pre viac informácií o vyhľadávaní vo Wikipédii pozri Pomoc:Vyhľadávanie.
Zobrazujú sa výsledky 1 - 405 z 405
Zobraziť (predošlých 5 000) (ďalších 5 000) (20 | 50 | 100 | 250 | 500).
- Logika '''Logika''' je veda o zákonoch správneho myslenia. ''Logika'' ([[gréčtina|gr.]] λόγος (logos)) znamená: myslenie, idea, tvrden ...7 KB (1123 slov) - 16:23, 20. november 2008
- Matematická logika ... ''' (alebo z pohľadu filozofie '''moderná logika''' alebo '''symbolická logika''' alebo '''logistika''') je matematická disciplína zaoberajúca sa št ... ... a je moderná forma [[logika|logiky]], ktorá sa od staršej, [[tradičná logika|tradičnej logiky]] odlišuje predovšetkým jej formalizáciou a kalkuliz ...5 KB (643 slov) - 07:33, 6. november 2008
- Antická logika '''Antická logika''' je [[logika]] starogrécka a logika starorímska. * {{filit|fvl/logika_anticka.html}}998 B (163 slov) - 22:32, 21. september 2006
- Predikátová logika ... ú výroky pomocou [[kvantifikátor]]ov a logických spojok. Predikátová logika sa zaoberá tak otázkami dokázateľnosti, ako aj pravdivosti. Okrem bež ... Predikátová logika obsahuje okrem výrazov [[výroková logika|výrokovej logiky]] individuové premenné, individuové konštanty, predi ...1 KB (170 slov) - 17:42, 2. november 2008
- Tradičná logika '''Tradičná logika''' je [[formálna logika]], ktorá skúma všeobecné ľudské zákony správneho budovania a spáj ... ... logika je logika, ktorá vznikla v stredoveku na základe [[Aristotelova logika|Aristotelovej logiky]].863 B (126 slov) - 10:00, 30. september 2008
- Modálna logika ... ýroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok ... edeliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Modálna logika ide hlbšie a rozlišuje v tomto výroku dve komponenty: takzvanú '''logi ...4 KB (601 slov) - 21:11, 17. september 2008
- Deontická logika ... ýroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok ... eliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Deontická logika ide hlbšie a rozlišuje v tomto výroku dve komponenty: takzvaný '''deon ...3 KB (535 slov) - 15:40, 27. máj 2007
- Logika existencie '''Logika existencie''' sa dnes podľa [[Scruton, R.|Scrutona]] volá [[logika kvantifikácie]]. Touto oblasťou logiky sa inšpiroval [[Frege]]. [[Kant] ... ... avdivé zovšeobecnenie "všetko je červené". Tradičná aristotelovská logika nevedela, akým spôsobom predstaviť tento vzťah.725 B (110 slov) - 18:10, 1. jún 2008
- A (tradičná logika) '''A''' v tradičnej [[tradičná logika|logike]] je symbol pre kladný všeobecný výrok tvaru: 'Všetky S sú P ... * {{filit|fva/a_logika_tradicna.html}}254 B (44 slov) - 10:41, 9. august 2007
- Aletická logika ... ''' alebo '''logika nevyhnutnosti a možnosti''' je neklasická [[modálna logika]], ktorá skúma [[úsudok|úsudky]], v ktorých vystupujú aletické moda ... * {{filit|fvl/logika_aleticka.html}}310 B (42 slov) - 01:34, 26. apríl 2007
- Kalkul (logika) ... odobe kalkulov budovaných na základe metód, ktoré vypracovala moderná logika, je najdôslednejšou formou formalizácie danej oblasti poznania. Efektiv ... Podľa [[moderná logika|modernej logiky]] je kalkul systém znakov a pravidiel operovania s týmit ...3 KB (438 slov) - 23:53, 1. november 2006
- Epistemická logika '''Epistemická logika''' alebo '''logika poznania''' je [[neklasická logika]], ktorá sa zaoberá [[poznanie|poznaním]]. . * {{filit|fvl/logika_epistemicka.html}}253 B (29 slov) - 09:07, 28. apríl 2007
- Konštruktivistická logika ... a dajú (podľa určitých pravidiel) skonštruovať. Konštruktivistická logika neuznáva [[nepriamy dôkaz]] * {{filit|fvl/logika_konstruktivisticka.html}}398 B (59 slov) - 19:05, 22. máj 2008
- Znak (logika) '''Znak (logika)''' ([[logika|logika]]) je jednoduchý [[výraz|výraz]];213 B (28 slov) - 18:06, 5. august 2006
- Premenná (logika) '''Premenná (logika)''' je obsadzovač miesta, ktorý sa môže nahradiť nejakou hodnotou z p ... * {{filit|fvp/premenna_logika.html}}228 B (33 slov) - 16:18, 3. november 2008
- Súd (logika) '''Súd (logika)''' ([[logika|logika]]) je akt tvrdenia alebo popierania, v ktorom sa usúvzťažňujú pojmy: ...275 B (46 slov) - 21:25, 6. august 2006
- Syntéza (logika) '''Syntéza (logika)''' ([[logika|logika]]) je myšlienkové spojenie do jedného celku.193 B (28 slov) - 21:33, 6. august 2006
- Trieda (logika) '''Trieda (logika)''' ([[logika|logika]]) je konečný alebo nekonečný súhrn predmetov vyčlenených podľa ur ...309 B (48 slov) - 22:13, 6. august 2006
- Pravdepodobnostná logika '''Pravdepodobnostná logika''' je [[logika]], ktorej [[predmet]]om sú pravdepodobnostné výroky, nezávisle od toho ... ... pravdepodobnosti (pozri: [[teória pravdepodobnosti]]). Prvadepodobnostná logika je teda jednou z interpretácii tohto počtu. V súčasnosti sa aparát pr ...2 KB (245 slov) - 06:25, 7. november 2008
- Implikácia [[Kategória:Logika]] * [http://hlavolamy.szm.sk/pravda.htm Výroková logika] Logické hádanky, na ktorých riešenie je potrebné využiť logické o ...3 KB (524 slov) - 12:55, 17. november 2008
- Konjunkcia (logika) * [[Disjunkcia (logika)|Disjunkcia]] * [[Implikácia (logika)|Implikácia]]2 KB (198 slov) - 01:37, 9. september 2008
- Filozofická logika ... kých problémov, napr. v [[filozofia analytická|analytickej filozofii]]; logika zameraná na analýzu prirodzeného jazyka. * {{filit|fvl/logika_filozoficka.html}}288 B (37 slov) - 20:31, 17. júl 2007
- Interrogatívna logika '''Logika interrogatívna''' je [[logika]] [[otázka|otázok]]. * {{filit|fvl/logika_interrogativna.html}}152 B (19 slov) - 19:08, 19. júl 2008
- Formálna logika ... |správnosti]]. Ako dodatočné hovorenie o jazyku predpokladá formálna logika [[prirodzený jazyk|každodenný, bežný jazyk]], a to v dvojakom zmysle: * Bežný jazyk je koniec koncov jazyk, o ktorom logika hovorí. [[Logická analýza]] je [[analýza|analýza]] vždy už daného ...2 KB (402 slov) - 09:49, 11. november 2008
- Výroková logika ... oková algebra|výroková algebra]]), ktorá sa zaoberá tvorbou [[Výrok (logika)|výrokov]], ich vzájomným spájaním, zisťovaním logickej pravdivosti ... Výroková logika zahrnuje skúmanie týkajúce sa logického spájania výrokov, najmä tie ...2 KB (178 slov) - 03:07, 6. november 2008
- Právna logika '''Logika právna''' [[logika|logika]] právna je formálnologický výskum pravidiel, ktorými sa riadi [[mysl ...241 B (35 slov) - 22:45, 31. október 2006
- Stoická logika '''Logika stoická''' [[logika|logika]] stoická je súčasť učenia [[stoicizmus|stoicizmu]], zahrnujúca teó ...244 B (34 slov) - 22:46, 31. október 2006
- Disjunkcia (logika) * [[Konjunkcia (logika)|Konjunkcia]] * [[Implikácia (logika)|Implikácia]]2 KB (251 slov) - 21:17, 4. november 2008
- Svet možný (logika) '''Svet možný (logika)''' ([[logika|logika]]) je je situácia, do ktorej môže vstúpiť isté indivíduum. Napríkl ...1 KB (214 slov) - 21:30, 6. august 2006
- Výrok (logika) ... o rozumne povedať, že je pravdivé, alebo že je nepravdivé. Výroková logika rozlišuje [[jednoduchý výrok|jednoduché výroky]] a [[zložený výrok ... * {{filit|fvv/vyrok_logika.html}}2 KB (279 slov) - 15:50, 18. september 2008
- Negácia '''Negácia''' (z [[latinčina|lat.]]) je popretie, [[logika|logické]] prevrátenie hodnoty alebo výroku. [[Kategória:Logika]]1 023 B (125 slov) - 18:19, 1. október 2008
- Fuzzy logika ... avdivé, alebo nepravdivé — v binárnom vyjadrení ako 1 alebo 0. Fuzzy logika je vhodnejšia pre množstvo reálnych rozhodovacích úloh. Používa sa ... Fuzzy logika bola formulovaná roku [[1965]] [[Lotfi Asker Zadeh|Lotfim Zadehom]] z [[K ...7 KB (1231 slov) - 13:30, 28. november 2008
- Viachodnotová logika '''Viachodnotová logika''' je [[logický systém]], ktorého výrazy nadobúdajú v interpretácii ... logické spojky. Łukasiewiczova logika je rozšírením klasickej logiky v tom smere,2 KB (314 slov) - 02:37, 8. január 2007
- Neklasická logika ... kých systémov]], ktoré sa nejakým spôsobom odchyľujú od [[klasická logika|klasickej logiky]]. * {{filit|fvl/logika_neklasicka.html}}245 B (35 slov) - 08:52, 28. november 2006
- Erotetická logika ... tická logika''' alebo '''erotamatická logika''' alebo '''interrogatívna logika''' je časť logiky, ktorá skúma [[veta|vety]], pomocou ktorých vyjadru ... Podľa spôsobu postavenia otázky delí erotetická logika otázky na voľné (rámcové) a prísne (piame).913 B (142 slov) - 23:16, 24. apríl 2007
- Doxastická logika ... ýroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok ... Niektorí logici považujú doxastickú logiku za variantu [[epistemická logika|epistemickej logiky]].4 KB (671 slov) - 00:26, 21. december 2006
- Formula (logika) * {{filit|fvf/formula_logika.html}} [[Kategória:Logika]]647 B (93 slov) - 13:02, 18. november 2008
- Názov (logika) * {{filit|fvn/nazov_logika.html}} [[Kategória:Logika]]206 B (34 slov) - 22:39, 5. jún 2008
- Temporálna logika ... ýroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok ... liteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Temporálna logika ide hlbšie a rozlišuje v tomto výroku dve komponenty: takzvaný '''temp ...1 KB (192 slov) - 19:11, 4. október 2007
- Klasická logika ... odernizuje. Takto chápaná klasická logika sa kladie proti [[neklasická logika|neklasickej logike]]. * {{filit|fvl/logika_klasicka.html}}445 B (55 slov) - 20:34, 5. august 2008
- Predikát (logika tradičná) '''Predikát (logika tradičná)''' ([[logika tradičná|logika tradičná]]) je druhý člen subjekt-predikátových výrokov, ktorý tvr ...574 B (85 slov) - 19:21, 6. august 2006
- Dialektická logika '''Dialektická logika''' je výskum vývinu a zmien formálnej stránky poznávacích procesov v ... E.V. Iljenkov, Miroslav Řehák: Dialektická logika. Pravda : Bratislava, 1977407 B (57 slov) - 09:31, 24. apríl 2007
- Dvojhodnotová logika ... hodnota|pravdivostné hodnoty]], a síce pravda a nepravda. Dvojhodnotová logika je najdôležitejšia časť logiky z hľadiska praktického a filozofick ... * {{filit|fvl/logika_dvojhodnotova.html}}409 B (62 slov) - 12:21, 4. december 2006
- Logika vedy '''Logika vedy''' je [[filozofická disciplína]], ktorej cieľom je aplikácia ide ... [[moderná logika|modernej logiky]] na [[vedecké poznanie]]. Logika vedy skúma logickú štruktúru789 B (119 slov) - 18:35, 1. jún 2008
- Argument (logika) '''Argument (logika)''' je [[súd]] (alebo systém súdov) uvádzaný na potvrdenie pravdivost ... * {{filit|fva/argument_logika.html}}363 B (60 slov) - 06:12, 27. august 2006
- Americká logika '''Americká logika ''' je [[smer]] a [[koncepcia]] [[moderná logika|modernej logiky]] rozvíjanej v [[USA]] od konca [[19. storočie|19. stor. ... * {{filit|fvl/logika_americka.html}}255 B (33 slov) - 01:38, 26. apríl 2007
- Elementárna logika ... ]] o [[pojem|pojme]],[[súd]]e a [[úsudok|úsudku]] - časť [[tradičná logika|tradičnej logiky]]; časti logiky, ktoré sa vyučujú na [[stredná ško ... * {{filit|fvl/logika_elementarna.html}}325 B (48 slov) - 06:55, 16. jún 2007
- Podmienka (logika) '''Podmienka (logika)''' je [[výpoveď]], od ktorej závisí iná výpoveď takým spôsobom, ... * {{filit|fvp/podmienka_logika.html}}466 B (74 slov) - 13:23, 23. február 2007
- Logika vzťahov '''Logika vzťahov''' (''[[teória relácií]]'') je časť [[matematická logika|matematickej logiky]], skúmajúca [[vzťah]]y. * {{filit|fvl/logika_vztahov.html}}211 B (31 slov) - 18:37, 1. jún 2008
- Logika tried '''Logika tried''' je odvetvie [[logika|logiky]], ktoré skúma [[trieda|triedy]]. * {{filit|fvl/logika_tried.html}}162 B (21 slov) - 18:33, 1. jún 2008
- Induktívna logika '''Induktívna logika''' je v [[tradičná logika|tradičnej logike]] disciplína, ktorá skúma logické procesy usudzovani ... ... ročí]] [[anglicko|anglický]] logik [[William Whewell]] a v súčasnej [[logika vedy|logike vedy]] sa značne875 B (127 slov) - 14:57, 15. júl 2008
- Aristotelovská logika '''Aristotelovská logika''' je časť [[tradičná logika|tradičnej logiky]] rozpracovaná [[Aristoteles|Aristotelom]] a jeho nasle ... * {{filit|fvl/logika_aristotelovska.html}}672 B (75 slov) - 20:41, 18. október 2008
- A (logika) V [[moderná logika|modernej logike]] sa symbolicky zapisuje napr. takto: "(Ax)(Px je ... * {{filit|fva/a_logika.html}}403 B (58 slov) - 20:57, 2. august 2006
- Dôkaz (logika) * {{filit|fvd/dokaz_logika.html}} [[Kategória:Logika]]896 B (146 slov) - 23:40, 6. február 2007
- Meno (logika) * {{filit|fvm/meno_logika.html}} [[Kategória:Logika]]653 B (104 slov) - 13:04, 18. november 2008
- Modalita (logika) * {{filit|fvm/modalita_logika.html}} [[Kategória:Logika]]373 B (61 slov) - 01:37, 10. jún 2008
- Predikát (logika moderná) '''Predikát (logika moderná)''' ([[logika moderná|logika moderná]]) je [[výraz jazykový|jazykový výraz]], ktorý označuje vla ...309 B (44 slov) - 19:21, 6. august 2006
- Kvantová logika '''Kvantová logika''' je súbor pravidiel, prevzatých z klasickej [[logika|logiky]] a modifikovaných po objavení [[princíp superpozície|princípu ...244 B (36 slov) - 21:52, 19. jún 2006
- Analógia (logika) [[Kategória:Logika]]2 KB (406 slov) - 14:06, 21. august 2006
- Dokazovanie (logika) [[Kategória:Logika]]321 B (40 slov) - 07:26, 23. apríl 2007
- Kvantifikátor (logika) ... ú vlastnosť alebo vzťah. Kvantifikátor je [[operátor]] [[matematická logika|matematickej logiky]], ktorý sa uplatňuje na logický výraz a ktorý kv ... [[Kategória:Logika]]592 B (88 slov) - 02:57, 26. január 2007
- Predikát (logika) [[Kategória:Logika]]328 B (52 slov) - 01:46, 20. november 2006
- Ekvivalencia (logika) ... ]; často sa vyjadruje pomocou [[implikácia|implikácie]] a [[Konjunkcia (logika)|konjunkcie]]. Symbolicky označuje znakom <math>\leftrightarrow</math>, k ... [[Kategória:Logika]]507 B (69 slov) - 16:32, 19. september 2007
- Dosadenie (logika) [[Kategória:logika]]320 B (56 slov) - 13:54, 17. apríl 2008
- Funktor (logika) ... á|modernej logike]] a [[lingvistika|lingvistike]] inšpirovanej takouto [[logika|logikou]] [[výraz]] bližšie určovaný inými výrazmi ([[argument funk ... [[Kategória:Logika]]489 B (67 slov) - 08:16, 19. august 2008
- Obkjektívna logika '''Objektívna logika''' je podľa [[Hegel]]a časť [[logika|logiky]], ktorá skúma [[pojem]]. * {{filit|fvl/logika_obkjektivna_hegel_g_w_f.html}}194 B (29 slov) - 18:31, 1. jún 2008
- Kombinatorická logika '''Kombinatorická logika''' je jeden zo [[smer]]ov [[matematická logika|matematickej logiky]], zaoberajúci sa [[analýz]]ou pojmov, ktoré sa v r ... * {{filit|fvl/logika_kombinatoricka.html}}573 B (84 slov) - 11:37, 6. august 2008
- Odvodzovanie (logika) [[Kategória:Logika]]561 B (77 slov) - 20:58, 8. august 2008
- Logika a veda '''Logika a veda''' je každá [[veda]] predpokladá logiku. Vedecký systém musí ... * {{filit|fvl/logika_a_veda.html}}499 B (76 slov) - 09:06, 2. jún 2008
- Nepriamy dôkaz (logika) [[Kategória:Logika]]812 B (146 slov) - 03:45, 20. apríl 2007
- Meno (matematická logika) * {{filit|fvm/meno_logika_matematicka.html}} [[Kategória:Logika]]341 B (50 slov) - 13:06, 18. november 2008
- Jazykový výraz (logika) ... jazykový''' v [[logika|logike]] je [[výrok (logika)|výrok]], [[názov (logika)|názov]], [[logická spojka]], [[kvantifikátor]], [[logická forma]], [[ ... * {{filit|fvv/vyraz_jazykovy_logika.html}}276 B (38 slov) - 09:56, 23. júl 2008
- Klasická výroková logika * {{filit|fvl/logika_vyrokova_klasicka_szomolanyi_j.html}} [[Kategória:Logika]]1 KB (243 slov) - 20:47, 5. august 2008
- Filozofia |[[logika]] ... sa v rámci filozofie rozvíjajú (napr. [[axiológia]], epistemológia, [[logika]]) môžu (za určitých okolností) nadobudnúť vedecký charakter.54 KB (8694 slov) - 08:52, 21. november 2008
- Klasifikácia (logika)
314 B (39 slov) - 16:49, 1. január 2008
- Výrokotvorný funktor '''Funktor výrokotvorný (logika výroková)''' ... výroková]]) je je nesamostatný výraz, ktorým z [[výrok jednoduchý (logika výroková)|jednoduchých výrokov (výr. log.)]] vytvárame608 B (89 slov) - 03:38, 2. november 2006
- Logický kalkul Ak sú oblasti logiky ako [[výroková logika]], [[predikátová logika]] prvého stupňa atď. tak exaktne budované, že spĺňajú podmienky kl ... [[Kategória:Logika]]1 KB (159 slov) - 18:56, 30. máj 2008
- Pravdivý výrok '''Pravdivý výrok''' ([[matematická logika|logika matematická]]) je [[výrok]], ktorý má [[pravdivostná hodnota|pravdivo ... * {{filit|fvv/vyrok_pravdivy_logika_matematicka.html}}264 B (30 slov) - 07:34, 6. november 2008
- Meno *v logike: pozri [[meno (logika)]] *v matematickej logike: pozri [[meno (matematická logika)]]610 B (83 slov) - 12:04, 13. jún 2008
- Kanonika ... a ([[logika]]); v období helenizmu súčasť filozofie, pozri [[kanonika (logika)]]256 B (39 slov) - 15:44, 1. október 2006
- Gödelova veta * veta, podľa ktorej je predikátový kalkul (s identitou), alebo [[logika]] prvého rádu, sémanticky úplný [[Kategória:Logika]]1 KB (225 slov) - 09:55, 2. júl 2006
- Jazyk logiky '''Jazyk logiky''' je [[jazyk]], pomocou ktorého [[logika]] vyjadruje [[logické významové útvary|významové útvary logiky]], n ... [[Kategória:Logika]]251 B (33 slov) - 09:44, 23. júl 2008
- Nahrádzanie ... ačenie pre dosadenie a premenu, pozri [[dosadenie (logika)]] a [[premena (logika)]]507 B (67 slov) - 13:56, 17. apríl 2008
- Teória relácií = [[logika vzťahov|logika vzťahov]] je jedno z najrozvinutejších odvetví [[logika matematická|matematickej logiky]], v ktorom sa1 KB (176 slov) - 21:36, 6. august 2006
- Jazykový výraz {{pozri|jazykovom výraze v logike|jazykový výraz (logika)}} Jazykové výrazy sú predmetom skúmania rôznych disciplín (napr. [[logika|logiky]], [[lingvistika|lingvistiky]], atď.) a pri ich skúmaní sa použ ...675 B (107 slov) - 19:19, 6. november 2008
- Intenzionálny ... h vzťahov medzi [[výrok]]mi, [[pojem|pojmami]] atď., ktoré [[formálna logika]] v dôsledku svojho špecifického spôsobu abstrakcie [[Kategória:Logika]]2 KB (344 slov) - 20:20, 18. júl 2008
- Zoznam matematických článkov/A [[A = A]] · [[A (logika)]] · [[A (tradičná logika)]] [[Alebo]] · [[Aletická logika]] · [[Algebra]] · [[Algebra logiky]] · [[Algebrická nezávislosť]] · ...2 KB (181 slov) - 09:07, 21. november 2008
- Zoznam matematických článkov/K [[Kalkul (logika)]] · [[Karteziánska sústava súradníc]] · [[Karteziánsky súčin]] ... [[Klasická logika]] · [[Klasická výroková logika]] · [[Kleinova fľaša]]1 KB (150 slov) - 09:09, 21. november 2008
- Scholastika ... ktika'' sa už aj v teologických otázkach čoraz častejšie používa [[logika]]. V [[11. storočie|11. storočí]] dochádza k vážnemu sporu medzi dia ...4 KB (597 slov) - 20:02, 18. október 2008
- Zoznam matematických článkov/D ... ] · [[Dilema]] · [[Dilematický]] · [[Diracova miera]] · [[Disjunkcia (logika)]] · [[Disjunktné pojmy]] · [[Dismutácia (matematika)]] ... nalé číslo]] · [[Domnienka]] · [[Doplnok (množiny)]] · [[Dosadenie (logika)]] · [[Dostatočné zdôvodnenie]]1 KB (176 slov) - 09:08, 21. november 2008
- Zoznam matematických článkov/L ... eda]] · [[Logika existencie]] · [[Logika tried]] · [[Logika vedy]] · [[Logika vzťahov]] · [[Logistická metóda]] · [[Logocentrizmus]] · [[Longitudi ...2 KB (189 slov) - 09:09, 21. november 2008
- Zákon ... kon), pozri napr. [[prírodný zákon]], [[fyzikálny zákon]], [[zákon (logika)]] ([[matematický zákon]])2 KB (328 slov) - 22:59, 16. máj 2008
- Fakt ... rá fixuje empirické poznanie alebo výsledok empirického poznávania. [[Logika]] alebo [[metodológia]] vedy potom pojem faktu kontraponuje pojmu [[teór ...2 KB (357 slov) - 22:45, 14. september 2008
- Výrok *v logike: pozri [[výrok (logika)]]640 B (88 slov) - 00:22, 3. apríl 2008
- Štruktúra **[[model (logika)]]3 KB (406 slov) - 11:53, 28. september 2008
- George Boole ... ] – † [[8. december]] [[1864]], [[Cork]]) bol [[Anglicko|anglický]] [[logika|logik]] a [[matematika|matematik]]. Vymyslel systém na ohodnotenie pravdi ... ... al spis '''Matematická analýza logiky''' ([[1847]]), kde ukazoval, že [[logika]] by mala byť súčasťou [[Matematika|matematiky]], pretože môže mať ...5 KB (670 slov) - 15:05, 16. august 2008
- Dôkaz ... že sú pravdivé, alebo výrokov, ktoré sa nedokazujú, pozri [[dôkaz (logika)]]1 KB (171 slov) - 08:37, 19. október 2008
- Wilhelm Windelband ... ntovstvo|novokantovstva]]. Predmetom jeho záujmu boli dejiny filozofie, [[logika]], [[etika]] a [[axiológia]].1 KB (125 slov) - 20:49, 16. máj 2008
- Njája ... [filozofia|filozofických]] škôl), v ktorom mala veľkú úlohu [[logika|logika]] a [[gnozeológia]]. Podľa tohto učenia jestvuje hmotný vesmír, ktor ...2 KB (272 slov) - 14:23, 9. september 2008
- Veta **logike: výrok, ktorého pravdivosť bola dokázaná, pozri [[veta (logika)]]852 B (130 slov) - 03:37, 21. marec 2006
- Predikátorový výraz [[výraz|výraz]] predikátorový je [[logika|logika]]: výraz, ktorý vyjadruje [[predikát|predikát]].222 B (32 slov) - 02:42, 29. október 2006
- Neorealizmus (filozofia) Stredobodom pozornosti neorealizmu je [[logika]], [[teória poznania]], [[biológia]] a [[fyzika]].1 KB (170 slov) - 19:38, 15. júl 2007
- Johann Friedrich Herbart * [[Logika]] sa usiluje o zreteľnosť týchto pojmov.2 KB (258 slov) - 08:21, 10. jún 2008
- Filozofia ľudského subjektu ... ológia]]) a [[teória poznania]] ([[gnozeológia]], [[hermeneutika]]) a [[logika]].646 B (91 slov) - 20:41, 25. jún 2008
- Predikát *v logike: pozri [[predikát (logika)]]467 B (64 slov) - 05:46, 18. marec 2008
- Analógia ... znakov alebo niektorých spoločných charakteristík, pozri [[analógia (logika)]]1 KB (200 slov) - 20:19, 18. september 2008
- Kalkul ... formalizovaná sústava - pravidlá operácií so znakmi, pozri [[kalkul (logika)]]225 B (32 slov) - 07:02, 21. september 2008
- Premenná * [[premenná (logika)]]490 B (50 slov) - 22:10, 23. september 2008
- Syntax ... gike: náuka o spájaní pojmov, symbolov do viet, súdov, pozri [[syntax (logika)]]814 B (119 slov) - 13:36, 30. október 2008
- Závislosť ... auzálne súvisí ("a závisí od b vzhľadom na c"), pozri [[závislosť (logika)]]1 KB (172 slov) - 10:10, 28. september 2008
- Rovnosť ... jedna druhú, alebo že dva pojmy majú rovnaký rozsah, pozri [[rovnosť (logika)]]699 B (106 slov) - 22:45, 1. september 2006
- Paradox ... e správny úsudok, ktorého výsledkom je logický spor, pozri [[paradox (logika)]]1 KB (153 slov) - 07:42, 7. apríl 2008
- Relácia ... alebo viacmiestny predikát, synonymum vzťah, pozri [[relácia (formálna logika)]]1 KB (183 slov) - 22:25, 28. október 2006
- Argument **dôkazový prostriedok, dôkaz, pozri [[argument (logika)]]824 B (104 slov) - 02:24, 11. november 2008
- Kvantita ... logike: rozdiel všeobecných a čiastkových úsudkov, pozri [[kvantita (logika)]]572 B (84 slov) - 14:02, 28. máj 2008
- Názov *v logike: pozri [[názov (logika)]]155 B (23 slov) - 22:40, 5. jún 2008
- Odvodzovanie *v logike: pozri [[odvodzovanie (logika)]]234 B (29 slov) - 21:12, 8. august 2008
- Zjednotenie (matematika) [[Kategória:Logika]]2 KB (336 slov) - 15:09, 16. august 2008
- Modalita *v logike: pozri [[modalita (logika)]]914 B (119 slov) - 10:25, 28. november 2008
- Výroková algebra ... sčítanie]] je [[disjunkcia]] a operácia [[násobenie]] je [[Konjunkcia (logika)|konjunkcia]]. [[Kategória:Logika]]320 B (45 slov) - 19:13, 24. október 2008
- Identita ... ktoré sa zhodujú vo všetkých svojich vlastnostiach, pozri [[identita (logika)]]1 KB (173 slov) - 01:46, 9. december 2006
- Poznanie vedecké (aristoteles) [[logika (Aristoteles)|logika (29)]]. Vedecké poznanie sa odlišuje od [[mienenie (Aristoteles)|mieneni ...783 B (101 slov) - 19:45, 6. august 2006
- Funktor ... jazykovede: výraz bližšie určovaný inými výrazmi, pozri [[funktor (logika)]]309 B (47 slov) - 12:35, 7. marec 2007
- Logistika *v matematike a filozofii: [[matematická logika]]478 B (72 slov) - 03:31, 29. október 2006
- Permutácia **v logike: pozri [[permutácia (logika)]]728 B (115 slov) - 01:09, 18. november 2006
- Kvantifikátor ... ať (predikovať) nejakú vlastnosť alebo vzťah, pozri [[kvantifikátor (logika)]]361 B (55 slov) - 02:57, 26. január 2007
- Disjunkcia **jednu z výrokových spojok, pozri [[Disjunkcia (logika)]]409 B (62 slov) - 17:38, 15. júl 2007
- Dokazovanie ... matematike a podobne: procesuálna stránka dôkazu, pozri [[dokazovanie (logika)]]330 B (51 slov) - 17:45, 4. október 2007
- Ekvivalencia ***logická spojka, pozri [[ekvivalencia (logika)]]684 B (72 slov) - 14:51, 24. november 2008
- Klasifikácia *v logike: pozri [[klasifikácia (logika)]]556 B (81 slov) - 16:57, 1. január 2008
- Formula ... ovej, predikátovej) logiky, synonymum: logická formula, pozri [[formula (logika)]]2 KB (262 slov) - 09:06, 10. apríl 2008
- Obsah pojmu ... sah pojmu spolu s [[rozsah pojmu|rozsahom pojmu]] tématizuje [[tradičná logika]].411 B (63 slov) - 18:52, 24. jún 2008
- Regresia ... dmieneného k podmienke, opak progresie, synonymum regres, pozri [[regres (logika)]]2 KB (277 slov) - 21:13, 20. september 2008
- Reductio ad absurdum **veľmi nepresne: nepriamy dôkaz, pozri [[nepriamy dôkaz (logika)]]284 B (45 slov) - 03:46, 20. apríl 2007
- Nepriamy dôkaz *v logike: pozri [[nepriamy dôkaz (logika)]]150 B (25 slov) - 03:50, 20. apríl 2007
- Formálna veda ... , iba štruktúru súvislostí. Príkladom formálnej vedy je [[formálna logika]].300 B (50 slov) - 04:04, 22. december 2005
- Konzekvent * v logike: druhý člen implikácie, pozri [[konzekvent (logika)]]243 B (29 slov) - 01:04, 21. september 2006
- Regres * v logike: spätný postup, synonymum regresia, pozri [[regres (logika)]]239 B (37 slov) - 11:14, 3. august 2007
- Antecedent * v logike: prvý člen implikácie, pozri [[antecedent (logika)]]356 B (46 slov) - 12:48, 9. november 2008
- Explikácia ... up, pri ktorom sa nepresný pojem nahrádza presným, pozri [[explikácia (logika)]]547 B (87 slov) - 19:52, 17. február 2008
- Explanácia ... etlení alebo chápaní nejakého javu alebo procesu, pozri [[explanácia (logika)]]432 B (69 slov) - 19:58, 17. február 2008
- Anticipácia ... e propozície, ktorá bude zdôvodnená až neskôr, pozri [[anticipácia (logika)]]2 KB (361 slov) - 00:00, 25. júl 2008
- Substitúcia *v modernej logike: dosadenie, pozri [[dosadenie (logika)]]2 KB (360 slov) - 12:31, 14. august 2008
- Port-Royal ... nica logiky od [[Antoine Arnauld|Arnaulda]] a Nicola (tzv. [[portroyalská logika]]), napísaná v duchu [[karteziánstvo|karteziánskeho]] [[racionalizmus| ...860 B (112 slov) - 21:40, 26. november 2008
- Klauzula *v logike: disjunkčný term, pozri [[klauzula (logika)]]624 B (89 slov) - 08:15, 21. september 2008
- Konjunkcia *v logike a matematike: jednu z výrokových spojok, pozri [[Konjunkcia (logika)]]679 B (83 slov) - 09:02, 21. september 2008
- Alternatíva ... uje aspoň implicitne v tvare ''buď…, alebo…'', pozri [[alternatíva (logika)]]913 B (127 slov) - 01:50, 1. október 2008
- Wittgensteinova filozofia ... dey nastupuje úplne tautologická [[logika (Wittgenstein, L. I)|formálna logika (Wittg. I)]]. A preto sú redukovane vystihnuté aj obidva ďalšie 'vrcho ...815 B (112 slov) - 02:43, 2. november 2006
- Zoznam matematických článkov/M ... a mentis]] · [[Meno (logika)]] · [[Meno (matematická logika)]] · [[Metalogika]] · [[Metrická geometria]] [[Mocnina]] · [[Modalita (logika)]] · [[Model (logická sémantika)]] · [[Modulo]] · [[Modus (najčastej ...1 KB (142 slov) - 09:09, 21. november 2008
- Tautológia výrokovej logiky *[[tautológia (logika matematická)]] *[[tautológia (logika tradičná)]]682 B (96 slov) - 16:25, 23. apríl 2007
- Učenie abélarda, p. poznáva). Prostriedkom na to má byť dialektika a logika ako vedy odvodené z Logika môže systematizovať aj teológiu a umožniť, aby sa v nej dali využí ...6 KB (1023 slov) - 22:25, 6. august 2006
- Stredný stoicizmus logika (148)1 KB (160 slov) - 08:39, 6. november 2008
- Zoznam matematických článkov/E [[Ekvivalencia (logika)]] · [[Ekvivalentná transformácia formúl]] · [[Ekvivalentnosť výrok ... [[Elementárna logika]] · [[Elementárny]] · [[Elementárny výrok]]906 B (112 slov) - 09:08, 21. november 2008
- Zoznam matematických článkov/N [[Násobenie]] · [[Názov (logika)]] ... · [[Neostrá množina]] · [[Neprázdna množina]] · [[Nepriamy dôkaz (logika)]] · [[Neprotirečivosť]] · [[Neprotirečivosť axiomatickej teórie]] ...1 KB (151 slov) - 09:09, 21. november 2008
- Zoznam matematických článkov/F ... a výrazu]] · [[Formálna logika]] · [[Formálny systém]] · [[Formula (logika)]] · [[Fourierov rad]] [[Funktor (logika)]] · [[Funktor nutnosti]]735 B (98 slov) - 09:08, 21. november 2008
- Jednoduchý výrok '''Jednoduchý výrok (výroková logika)''' je [[výrok]], ktorý neobsahuje zložky, ktoré by samy boli výrokmi ... * {{filit|fvv/vyrok_jednoduchy_logika_vyrokova.html}}222 B (32 slov) - 09:36, 26. júl 2008
- Matematika ... omaticky definovaných formálnych [[štruktúra|štruktúr]] použitím [[logika|logiky]] a matematického označenia. Matematiku možno chápať jednoduch ... [[Teória množín]], [[matematická logika]] a [[teória modelov]] vznikli za účelom skúmať základy matematiky.20 KB (3028 slov) - 20:10, 23. november 2008
- Aristoteles ===Aristotelova logika=== ... sporu a vylúčenia tretieho a rozborom procesu usudzovania. Aristotelova logika predstavuje prvý logický systém, ktorého jadrom je náuka o kategorick ...16 KB (2520 slov) - 21:50, 30. november 2008
- Logická operácia ... ., v [[matematická logika|matematickej logike]] ide napr. o [[Konjunkcia (logika)|konjunkciu]], [[disjunkcia|disjunkciu]] a i… * [http://hlavolamy.szm.sk/pravda.htm Výroková logika] Logické hádanky, na ktorých riešenie je potrebné využiť logické o ...567 B (87 slov) - 18:39, 9. marec 2007
- Psychologizmus V [[logika|logike]] znmená psychologizmus nahradzovanie logických postupov mysle. Kedže myslenie a jazyk nie sú totožné, logika ako veda o technike990 B (150 slov) - 20:14, 6. august 2006
- Súd (veda právna) [[súd (logika)|súd (logika)]] [[logika elementárna|logika elementárna]]1 KB (263 slov) - 21:25, 6. august 2006
- Albína Dratvová * Logika (s F. Pelikánom), [[1926]] * Logika a lidé, [[1944]]1 KB (179 slov) - 22:26, 7. júl 2007
- Jedinečný názov ... v''' v [[matematická logika|matematickej logike]] je [[meno (matematická logika)|meno]]. * {{filit|fvn/nazov_jedinecny_logika_matematicka.html}}238 B (29 slov) - 06:44, 7. november 2007
- Oblasť úvahy * {{filit|fvo/obor_uvahy_logika.html}} [[Kategória:Logika]]2 KB (418 slov) - 02:21, 17. marec 2008
- Programovateľný logický obvod ... né obvody boli nazvané PAL (Programmable Array Logic, programovateľná logika v tvare poľa) a v ich označení sa odzrkadľoval počet možných vstupo ... ... prechádzať veľkým množstvom buniek. Naopak, aj zložitá sekvenčné logika sa implemntuje pomerne jednoducho. Keďže väčšina aplikácií si vyža ...8 KB (1358 slov) - 10:50, 16. máj 2008
- Logické vyplývanie * [http://hlavolamy.szm.sk/pravda.htm Výroková logika Logické hádanky, na ktorých riešenie je potrebné využiť logické op ... [[Kategória:Logika]]435 B (77 slov) - 10:30, 31. máj 2008
- Zoznam matematických článkov/V [[Viachodnotová logika]] · [[Vietove vzťahy]] [[Výrok (logika)]] · [[Výroková algebra]] · [[Výroková spojka]]956 B (126 slov) - 09:11, 21. november 2008
- Karl Raimund Popper ... filozofia|filozofie]]. Jeho vedecká činnosť je zastúpená aj na poli [[logika|logiky]], [[fyzika|fyziky]], [[biológia|biológie]], [[sociológia|sociol ... * ''Logika vedeckého bádania'' – ''Logik der Forschung'' (1934, nemecky), ''The L ...10 KB (1484 slov) - 13:27, 22. november 2008
- Kategorický sylogizmus *[[Aristotelovská logika]] [[Kategória:Logika]]1 KB (136 slov) - 19:12, 27. august 2008
- Zoznam matematických článkov/O [[Objektový jazyk]] · [[Objem (matematika)]] · [[Obkjektívna logika]] · [[Oblasť úvahy]] · [[Obor hodnôt]] ... odnenosť]] · [[Odvesna]] · [[Odvodzovacie pravidlo]] · [[Odvodzovanie (logika)]]893 B (111 slov) - 09:09, 21. november 2008
- Zoznam matematických článkov/I ... onálny]] · [[Interpretácia (logická sémantika)]] · [[Interrogatívna logika]] · [[Inverzné zobrazenie (funkcia)]] · [[Inverzný prvok]] · [[Invol ...954 B (117 slov) - 09:08, 21. november 2008
- Podmienka * [[Podmienka (logika)]] [[Kategória:Logika]]600 B (91 slov) - 20:52, 23. september 2008
- Čínska filozofia ... j štruk-túry možno pochopiť, prečo čínskej filozofii nedominovala [[logika]] [[antika|antického]] typu. ... gramatikou indoeurópskych jazykov rozlišujúcich subjekt a [[predikát (logika)|predikát]], tak v čínskych podmienkach nemohla vzniknúť. Taktiež ro ...24 KB (3875 slov) - 18:51, 3. august 2008
- Grécka filozofia '''Zenón z Eley''' bol žiakom Parmenida a vytýčil si za cieľ [[logika|logicky]] dokázať nepremenlivosť božskej [[kozmos|kozmickej]] jednoty, ... ... za klamlivé, zatiaľ čo [[Herakleitos]] videl aj v meniacom sa svete [[logika|logický]], racionálny princíp („''[[logos]]''“). Empedoklove názor ...58 KB (9177 slov) - 19:44, 22. november 2008
- Slovo božie ... v širšom zmysle znamená ''dôvod'', ''princíp'', ''štandard'' alebo ''logika''.417 B (67 slov) - 19:33, 14. november 2005
- Analytická veta '''Analytická veta''' je [[veta]] určitého [[logika|logicky]] usporiadaného [[systém]]u poznania, zafixovaného v bežnom [[ ... [[Kategória:Logika]]532 B (84 slov) - 11:45, 29. jún 2006
- Logická pravda ... ciu o mimojazykovej skutočnosti. Logické pravdy tvoria obsah [[formálna logika|formálnej logiky]]. [[Kategória:Logika]]367 B (53 slov) - 06:04, 21. marec 2006
- Pozorovacia veta [[Kategória:Logika]]662 B (113 slov) - 13:18, 28. január 2007
- Syntetická veta [[Kategória:Logika]]478 B (80 slov) - 06:12, 21. marec 2006
- Tautológia *v tradičnej logike: pozri [[tautológia (tradičná logika)]]228 B (33 slov) - 19:46, 10. november 2008
- A = A '''A = A''' je v [[tradičná logika|tradičnej logike]] symbolický spôsob [[zápis|zápisu]] pre [[zákon to ... [[Kategória:Logika]]214 B (36 slov) - 03:15, 26. január 2007
- Abstrahovať [[Kategória:Logika]]297 B (41 slov) - 14:40, 10. august 2006
- Afirmatívny V [[tradičná logika|tradičnej logike]] sa kladné všeobecné vyroky formy ''Všetky S s ... [[Kategória:Logika]]420 B (67 slov) - 14:51, 21. august 2006
- Akt (filozofia) ... vislosti (v zmysle ideálnych zákonitostí) chce vypracovať čistá logika a ktorých vyjasnenie chce podať [[teória poznania]]. Akt je zážitok, ...2 KB (340 slov) - 20:11, 18. jún 2007
- Algebra logiky [[Kategória:Logika]]403 B (58 slov) - 16:28, 26. august 2006
- Alogizmus * nelogické spojenie myšlienok, prehrešok proti pravidlám [[Logika|logiky]]; názor, ktorý sa prieči [[rozum|rozumu]]; názor, ku ktorému ... [[Kategória:Logika]]563 B (76 slov) - 00:25, 6. august 2006
- Amfibólia *v [[tradičná logika|tradičnej logike]]: paralogizmus, ktorý vzniká použitím mnohozna ... [[Kategória:Logika]]501 B (80 slov) - 23:16, 26. august 2006
- Analogický [[Kategória:Logika]]202 B (29 slov) - 09:51, 31. august 2006
- Analogizmus [[Kategória:Logika]]158 B (21 slov) - 14:43, 21. august 2006
- Analytickosť [[Kategória:Logika]]452 B (68 slov) - 14:07, 23. január 2007
- Logická analýza kategórie [[logika|logiky]], ako napríklad logický pojem pojmu, logický pojem výrazu, [[Kategória:Logika]]3 KB (455 slov) - 03:24, 29. október 2006
- Antitetika [[Kategória:Logika]]137 B (17 slov) - 15:49, 20. august 2006
- Argument funktoru [[Kategória:Logika]]241 B (34 slov) - 01:11, 21. september 2006
- Axióma sylogizmu [[Kategória:Logika]]427 B (60 slov) - 20:37, 20. september 2006
- Claviov zákon [[Kategória:Logika]]334 B (44 slov) - 20:14, 8. máj 2007
- Zákon Dunsa Scota [[Kategória:Logika]]168 B (24 slov) - 16:04, 23. apríl 2007
- Zákon sporu [[Kategória:Logika]]184 B (27 slov) - 15:17, 23. apríl 2007
- Zámienka [[Kategória:Logika]]248 B (31 slov) - 22:17, 21. apríl 2007
- Definičný znak [[Kategória:Logika]]212 B (29 slov) - 08:52, 24. apríl 2007
- Znak (semiotika)
414 B (67 slov) - 06:13, 7. november 2008
- Consensus omnium [[Kategória:Logika]]638 B (104 slov) - 22:58, 21. apríl 2007
- Logická dedukcia [[Kategória:Logika]]197 B (25 slov) - 14:42, 2. október 2006
- Progresívna dedukcia [[Kategória:Logika]]322 B (48 slov) - 14:22, 2. október 2006
- Regresívna dedukcia [[Kategória:Logika]]320 B (48 slov) - 14:28, 2. október 2006
- Definiendum [[Kategória:Logika]]237 B (28 slov) - 02:42, 28. máj 2007
- Definiens [[Kategória:Logika]]199 B (25 slov) - 02:43, 28. máj 2007
- Definovanie [[Kategória:Logika]]297 B (41 slov) - 04:30, 28. september 2006
- Dilematický [[Kategória:Logika]]137 B (17 slov) - 10:47, 25. apríl 2007
- Elementárny [[Kategória:Logika]]314 B (42 slov) - 06:57, 16. jún 2007
- Episylogizmus [[Kategória:Logika]]165 B (17 slov) - 18:10, 6. máj 2007
- Logická funkcia [[Kategória:Matematika]] [[Kategória:Logika]]270 B (36 slov) - 12:38, 31. január 2007
- Pravdivostná hodnota '''Pravdivostná hodnota''' je v [[logika|logike]] zovšeobecnenie a spresnenie pojmov pravdy (pravdivého), nepravd ... [[Kategória:Logika]]414 B (58 slov) - 12:22, 4. december 2006
- Výrokový kalkul [[kalkul (logika moderná)|kalkul (logika moderná)]]831 B (121 slov) - 06:06, 28. september 2006
- Všeobecný kvantifikátor [[Kategória:Logika]]1 KB (161 slov) - 16:30, 26. október 2008
- Mathesis universalis '''Mathesis universalis''' je exaktná jednotná veda; logika ako zovšeobecnená matematika, ktorá sa756 B (94 slov) - 10:02, 9. september 2006
- Deduktívna metóda [[Kategória:Logika]]268 B (42 slov) - 17:35, 21. apríl 2007
- Deduktívne myslenie [[Kategória:Logika]]271 B (37 slov) - 18:01, 21. apríl 2007
- Vedecké myslenie [[logika|logika]]4 KB (480 slov) - 21:54, 10. november 2006
- Východisková podmienka [[podmienka (logika)|podmienka (logika)]]1 KB (152 slov) - 14:21, 8. november 2006
- Paradox analýzy [[Kategória:Logika]]918 B (165 slov) - 14:11, 28. apríl 2007
- Paralogizmus [[Kategória:Logika]]379 B (53 slov) - 12:49, 16. marec 2007
- Binárna opozícia [[Kategória:Logika]]297 B (47 slov) - 17:16, 19. apríl 2007
- Polysylogizmus ... asledujúcich sylogizmov ([[episylogizmus|episylogizmov]]). Vo [[formálna logika|formálnej logike]] sa formulujú niektoré všeobecné podmienky, ktoré ... [[Kategória:Logika]]538 B (67 slov) - 18:10, 6. máj 2007
- Predmet filozofie ... y všetkých sfér bytia (zmyslami postihnuteľného i transcendentného), logika celostnosti javu i sveta ako takého.3 KB (487 slov) - 19:44, 2. november 2008
- Dokazovací prostriedok [[Kategória:Logika]]180 B (21 slov) - 11:55, 22. apríl 2007
- Protirečenie [[Kategória:Logika]]539 B (78 slov) - 17:11, 20. august 2006
- Logická pravdivosť [[Kategória:Logika]]181 B (25 slov) - 12:48, 16. marec 2007
- Logické pravidlo [[Kategória:Logika]]230 B (30 slov) - 14:08, 2. október 2006
- Odvodzovacie pravidlo ... ladný [[dokazovací prostriedok]], s pomocou ktorého možno z [[formula (logika)|formulí]], o ktorých je známe, že sú dokázateľné, [[odvodzovanie| ... [[Kategória:Logika]]619 B (92 slov) - 13:54, 2. október 2006
- Psychologizmus (černík, v.)-e [[logika (psychologizmus)|logika (560)]]1 KB (149 slov) - 20:15, 6. august 2006
- Analytický súd ... Za analytické súdy sa považujú všetky [[matematika|matematické]] a [[logika|logické]] tvrdenia odvodené z [[axióma|axióm]] alebo základných [[pr ... [[Kategória:Logika]]741 B (122 slov) - 01:41, 26. apríl 2007
- Asertorický súd [[Kategória:Logika]]419 B (74 slov) - 17:01, 8. jún 2007
- Deskriptívny súd [[Kategória:Logika]]178 B (25 slov) - 17:01, 8. jún 2007
- Veľká neoklasická syntéza [[syntéza (logika)|syntéza (logika)]]728 B (115 slov) - 13:47, 7. november 2006
- Deduktívna teória [[Kategória:Logika]]369 B (51 slov) - 08:47, 24. apríl 2007
- Sylogizmus [[Kategória:Logika]]386 B (54 slov) - 18:12, 6. máj 2007
- Transcendentalizmus-e štruktúrovanosť sa do skutočnosti vnáša vedomím, že logika skutočnosti je663 B (95 slov) - 21:55, 6. august 2006
- Ekvivalentná transformácia formúl [[Kategória:Logika]]223 B (34 slov) - 19:52, 22. apríl 2007
- Slobodné umenie [[logika|logika]]809 B (104 slov) - 14:17, 3. november 2006
- Bezprostredný úsudok [[Kategória:Logika]]423 B (60 slov) - 02:42, 28. október 2006
- Elementárny výrok [[Kategória:Logika]]227 B (34 slov) - 13:06, 25. apríl 2007
- Všeobecný výrok [[Kategória:Logika]]327 B (52 slov) - 05:32, 26. január 2007
- Vzájomný vzťah [[Kategória:Logika]]220 B (39 slov) - 18:13, 29. október 2006
- Dôkaz v kruhu [[Kategória:Logika]]339 B (52 slov) - 00:25, 6. november 2006
- Definícia v kruhu [[Kategória:Logika]]370 B (54 slov) - 00:26, 6. november 2006
- Konzervatívne rozšírenie [[Teória (logika)|Teória]] <math>T_{2}</math> je '''konzervatívnym rozšírením''' teór ... *[[Jazyk (logika)|jazyk]] teórie <math>T_{2}</math> je nadjazykom jazyka teórie <math>T_{ ...1 KB (223 slov) - 05:19, 11. apríl 2007
- Syntaktická skratka ... nštrukciu v [[jazyku (logika)|jazyku]] [[logika|logiky]] alebo [[teória (logika)|teórie]]. Syntaktická skratka sama o sebe nie je súčastou jazyka ani ... Jeden z možných prístupov k výstavbe [[výroková logika|výrokovej logiky]] vychádza z logických spojok implikácie <math>\right ...2 KB (305 slov) - 20:34, 17. február 2007
- Reductio ad absurdum (zákon) [[Kategória:Logika]]1 KB (178 slov) - 16:27, 26. november 2008
- Logická správnosť [[Kategória:Logika]]835 B (130 slov) - 19:11, 15. júl 2007
- Univerzálna trieda *[[trieda (logika)]]668 B (99 slov) - 20:39, 15. júl 2007
- Slovník formalizovaného jazyka výrokovej logiky ... vne) symboly výrokových premenných a logických konštánt [[výroková logika|výrokovej logiky]]. [[Kategória:Výroková logika]]333 B (49 slov) - 21:56, 1. december 2008
- Alogický '''Alogický''' ([[Gréčtina|gr.]]) je nelogický, odporujúci [[Logika|logickým]] zákonom. [[Kategória:Logika]]202 B (28 slov) - 10:08, 28. august 2007
- Antilogizmus '''Antilogizmus''' je [[Logika|logický]] [[princíp]] vyjadrujúci nezlučiteľnosť premís [[Kategóri ... [[Kategória:Logika]]328 B (45 slov) - 11:30, 28. august 2007
- Dialela [[Kategória:Logika]]246 B (37 slov) - 21:49, 9. september 2007
- Dostatočné zdôvodnenie [[Kategória:Logika]]377 B (61 slov) - 21:52, 9. september 2007
- Disjunktné pojmy [[Kategória:Logika]]383 B (61 slov) - 07:42, 11. september 2007
- Ekvivalentnosť výrokov [[Kategória:Logika]]252 B (34 slov) - 11:44, 11. september 2007
- Faktuálna veta [[Kategória:Logika]]92 B (13 slov) - 14:54, 23. september 2007
- Cyclone3 * Oddelený design, logika a obsah.4 KB (524 slov) - 07:25, 1. október 2007
- Výroková spojka ... napríklad [[negácia]], [[disjunkcia (logika)|disjunkcia]], [[konjunkcia (logika)|konjunkcia]], [[implikácia]], [[ekvivalencia]], [[non-ekvivalencia]]. [[Kategória:Logika]]1 020 B (106 slov) - 16:43, 26. október 2008
- Domnienka [[Kategória:Logika]]593 B (81 slov) - 17:31, 10. november 2007
- Dôvod [[Kategória:Logika]]472 B (71 slov) - 17:39, 10. november 2007
- Dôsledok [[Kategória:Logika]]184 B (27 slov) - 17:34, 10. november 2007
- Alebo ... orou sa v matematike obvykle označuje [[výroková spojka]] [[disjunkcia (logika)|disjunkcia]]. V hovorovom jazyku sa však väčšinou zvykne používať ... [[Kategória:Logika]]282 B (39 slov) - 19:20, 21. november 2007
- František Gahér ... išek Gahér''' (* [[20. január]] [[1957]]) je [[Slovensko|slovenský]] [[logika|logik]], autor učebnice logiky a rektor [[Univerzita Komenského|Univerzi ... * [[2003]] ''Logika pre každého'' - 3. prepracované vydanie584 B (82 slov) - 20:41, 11. december 2007
- Ivan Lazarov ... sochár, profesor, akademik ([[1941]]). V jeho tvorbe sa prelína prísna logika súčasných priestorových vyjadrení so špecifickým, po stáročia for ...826 B (134 slov) - 15:58, 29. október 2008
- Objektový jazyk [[Kategória:Logika]]237 B (33 slov) - 17:09, 16. december 2007
- Vylučujúce alebo [[Kategória:Logika]]1 KB (164 slov) - 15:25, 23. január 2008
- Faktová pravda [[Kategória:Logika]]210 B (30 slov) - 20:43, 17. február 2008
- Faktová pravdivosť [[Kategória:Logika]]217 B (31 slov) - 08:46, 18. február 2008
- Sémantická antinómia [[Kategória:Logika]]218 B (33 slov) - 18:08, 19. február 2008
- Marburská škola novokantovstva ... a podľa nich nemôže byť poznaním o svete; filozofia je metodológia a logika špeciálnych vied. Poznanie je logický proces konštruovania pojmov. V o ...815 B (96 slov) - 14:42, 23. február 2008
- Oblasť uvažovania ... ajú rôzne oblasti uvažovania, čo uvažovaniu uberá z presnosti. Preto logika vytvorila pojem oboru úvahy (porov. [[oblasť úvahy]]).424 B (66 slov) - 02:23, 17. marec 2008
- Willard Van Orman Quine v Cambridgi v Bostone: venuje sa predovšetkým [[logika matematická|matematickej logike]], ale čím ďalej, tým viac inklinuje ... ... dizertácie 'Logic of Sequences: Generalization of Principia Mathematica (Logika sekvencií: zovšeobecnenie Principia Mathematica)'5 KB (607 slov) - 19:02, 28. november 2008
- Formálny systém [[Kategória:Logika]]468 B (79 slov) - 02:56, 31. marec 2008
- Úsudok [[Kategória:Logika]]465 B (76 slov) - 01:23, 10. apríl 2008
- Vyššia premisa [[Kategória:Logika]]325 B (48 slov) - 00:15, 10. apríl 2008
- Výroková premenná výrokovej logiky [[logika výroková|výrokovej logiky]] je symbol výroku, ktorý vyjadrujeme, ako ... [[premenná (logika)]]934 B (139 slov) - 01:51, 10. apríl 2008
- Nižší termín [[Kategória:Logika]]210 B (26 slov) - 00:19, 10. apríl 2008
- Figúra sylogizmu [[Kategória:Logika]]774 B (150 slov) - 00:17, 10. apríl 2008
- Stredný termín [[Kategória:Logika]]409 B (60 slov) - 00:17, 10. apríl 2008
- Funktor nutnosti [[Kategória:Logika]]186 B (23 slov) - 15:01, 12. apríl 2008
- Analytická filozofia ... , ktoré sa zúčastňujú na našich súdoch o svete. Ani matematika, ani logika neslúžia na odhaľovanie štruktúry mimojazykového sveta, avšak umož ...4 KB (502 slov) - 15:46, 20. november 2008
- Teória hier ... i používajú hry na modelovanie interaktívnych výpočtov. Výpočtová logika sa snaží vyvinúť komplexnú formálnu teóriu (logiku) interaktívnych ...8 KB (1339 slov) - 17:13, 29. november 2008
- Existenčný kvantifikátor [[Kategória:Logika]]2 KB (218 slov) - 18:19, 9. máj 2008
- Vyplývanie * [http://hlavolamy.szm.sk/pravda.htm Výroková logika] Logické hádanky, na ktorých riešenie je potrebné využiť logické o ...627 B (106 slov) - 12:44, 12. máj 2008
- Denotát [[Kategória:Logika]]505 B (77 slov) - 22:34, 14. máj 2008
- Epicheiréma [[Kategória:Logika]]219 B (31 slov) - 05:45, 15. máj 2008
- Interpretácia (logická sémantika) [[Kategória:Logika]]649 B (101 slov) - 21:09, 17. máj 2008
- Konštanta Konštanta v [[logika|logike]] je znak označujúci [[súvislosť logická|logickú súvislosť] ... [[Kategória:Logika]]419 B (66 slov) - 18:38, 22. máj 2008
- Konštruktívna metóda [[Kategória:Logika]]763 B (121 slov) - 19:09, 22. máj 2008
- Konštanta výrokovej logiky [[Kategória:Logika]]788 B (126 slov) - 12:00, 24. máj 2008
- Rekreačná chata (Senec) Logika prevádzky je tu premyslená a jasná. Dole vpredu k vode je priestor, kto ...4 KB (709 slov) - 20:25, 28. máj 2008
- Logická forma [[Kategória:Logika]]404 B (61 slov) - 12:56, 18. november 2008
- Logická konštanta ... rokovej logiky]] a [[predikátová logika|predikátovej logiky]], príp. [[logika tried|logiky tried]]. [[Kategória:Logika]]329 B (46 slov) - 18:56, 29. máj 2008
- Logická propedeutika ... aha]] a [[Paul Lorenzen|Lorenzena]]. Ide o relatívne samostatnú časť [[logika|logiky]], ktorá kultivuje rozumné myslenie a hovorenie postupným konšt ... [[Kategória:Logika]]471 B (69 slov) - 19:00, 29. máj 2008
- Logická chyba [[Kategória:Logika]]174 B (21 slov) - 18:50, 29. máj 2008
- Logická semióza [[Kategória:Logika]]143 B (19 slov) - 19:02, 29. máj 2008
- Logická možnosť [[Kategória:Logika]]200 B (27 slov) - 07:48, 30. máj 2008
- Logický systém [[Kategória:Logika]]178 B (24 slov) - 19:27, 30. máj 2008
- Logický ... nkovým zákonom, myšlienkovo správny. Logický je tiež týkajúci sa [[logika|logiky]]. [[Kategória:Logika]]202 B (31 slov) - 18:18, 30. máj 2008
- Logické [[Kategória:Logika]]338 B (51 slov) - 18:14, 30. máj 2008
- Logická súvislosť ... osť|súvislosti]] medzi [[myšlienka]]mi, ktorý je predmetom skúmania [[logika|logiky]]. [[Kategória:Logika]]232 B (34 slov) - 18:11, 30. máj 2008
- Logický atomizmus [[Kategória:Logika]]300 B (36 slov) - 18:50, 30. máj 2008
- Logický dôsledok [[Kategória:Logika]]214 B (34 slov) - 18:51, 30. máj 2008
- Logická sémantika '''Logická sémantika''' je súčasť [[metalogika|metalogiky]], v ktorej sa skúmajú významy výrazov jazyka v umelých ja ... [[Kategória:Logika]]386 B (57 slov) - 18:10, 30. máj 2008
- Logický princíp '''Logický princíp''' je kľúčový [[vedecký zákon]] v [[logika|logike]], napr. [[princíp identity]]. [[Kategória:Logika]]191 B (26 slov) - 19:21, 30. máj 2008
- Logický paradox [[Kategória:Logika]]429 B (66 slov) - 13:10, 18. november 2008
- Logická teória typov [[Kategória:Logika]]909 B (160 slov) - 10:29, 31. máj 2008
- Logické protirečenie [[Kategória:Logika]]222 B (36 slov) - 10:29, 31. máj 2008
- Logický priestor [[Kategória:Logika]]344 B (55 slov) - 10:30, 31. máj 2008
- Logické myslenie [[Kategória:Logika]]274 B (39 slov) - 10:29, 31. máj 2008
- Logický význam [[Kategória:Logika]]268 B (41 slov) - 19:34, 31. máj 2008
- Logický súd [[Kategória:Logika]]322 B (45 slov) - 19:24, 31. máj 2008
- Logický znak [[Kategória:Logika]]4 KB (664 slov) - 19:44, 31. máj 2008
- Logický výraz [[Kategória:Logika]]503 B (83 slov) - 19:29, 31. máj 2008
- Logický stav [[Kategória:Logika]]201 B (33 slov) - 19:23, 31. máj 2008
- Logický štvorec ... na zapamätanie si vzťahov medzi šturmi základnými druhmi [[súd]]ov [[logika|aristotelovskej logiky]]. [[Kategória:Logika]]757 B (125 slov) - 19:47, 31. máj 2008
- Logický vzťah [[kategória:Logika]]232 B (34 slov) - 08:24, 1. jún 2008
- Logistická metóda ... tická metóda''' je v [[súčasná matematika|súčasnej matematike]] a [[logika|logike]] prijatá metóda budovania formalizovaných systémov ([[formaliz ... [[Kategória:Logika]]1 019 B (160 slov) - 18:41, 1. jún 2008
- Logocentrizmus [[Kategória:logika]]532 B (81 slov) - 09:06, 2. jún 2008
- Antinómia [[Kategória:Logika]]3 KB (490 slov) - 13:03, 2. jún 2008
- Medicina mentis ... t.]]) je [[medicína]] [[duch]]a. Môže to byť aj obrazné pomenovanie [[logika|logiky]]. [[Kategória:Logika]]237 B (33 slov) - 18:24, 5. jún 2008
- Model (logická sémantika) [[Kategória:Logika]]736 B (118 slov) - 13:07, 18. november 2008
- Myslenie a jazyk ... ko základná myšlienková operácia, avšak myslenie sa riadi zákonmi [[logika|logiky]], zatiaľ čo jazyk a reč zákonmi [[lingvistika|lingvistiky]], k ... [[Kategória:Logika]]520 B (81 slov) - 19:01, 13. jún 2008
- Christoph von Sigwart Logika je technické, normatívne učenie o myslení a zakladá sa na psychológi ...1 KB (130 slov) - 01:58, 14. jún 2008
