23:28:44 21. 05. 2012
logika
Autor [RNDr. Marián Olejár] Pridané [03/08/04] Posledná zmena [10/04/07]
logika:
Logika je veda skúmajúca pravdivostnú hodnotu logických výrazov vzniknutých operáciami a reláciami s logickými objektmi, s možnosťou ich aplikácie na správne usudzovanie, myslenie, či v technike.
Ak cieľom logiky chce byť stanovenie zákonov pre valuáciu viet prirodzeného jazyka, teda vyslovených alebo napísaných viet a ich spojení, ako výsledku myslenia, potom existuje značné množstvo druhov logík, ktoré treba rozlišovať predikátmi v ich názvoch či označeniach.
Logika skúma konštrukciu či skladbu viet ako súdov (výrokov, propozícií, ...) v ktorých vystupujú pojmy a príslušné logické prostriedky skúmania.
Logiku pestujeme pre potreby matematiky, vedy ako celku, ale aj pre mapovanie prirodzeného jazyka preto, lebo bdie nad uvažovaním, stráži jeho logiku. A tak funkcia a úžitok logiky nie sú ničím nahraditeľné.
Viď aj: logizácia,
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: logika; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/logika.php
Logika je veda skúmajúca pravdivostnú hodnotu logických výrazov vzniknutých operáciami a reláciami s logickými objektmi, s možnosťou ich aplikácie na správne usudzovanie, myslenie, či v technike.
Ak cieľom logiky chce byť stanovenie zákonov pre valuáciu viet prirodzeného jazyka, teda vyslovených alebo napísaných viet a ich spojení, ako výsledku myslenia, potom existuje značné množstvo druhov logík, ktoré treba rozlišovať predikátmi v ich názvoch či označeniach.
Logika skúma konštrukciu či skladbu viet ako súdov (výrokov, propozícií, ...) v ktorých vystupujú pojmy a príslušné logické prostriedky skúmania.
Logiku pestujeme pre potreby matematiky, vedy ako celku, ale aj pre mapovanie prirodzeného jazyka preto, lebo bdie nad uvažovaním, stráži jeho logiku. A tak funkcia a úžitok logiky nie sú ničím nahraditeľné.
Viď aj: logizácia,
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: logika; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/logika.php