10:30:59 09. 09. 2010
symbolická logika
Autor [RNDr. Marián Olejár] Pridané [19/11/04] Posledná zmena [12/04/07]
matematika, logika:
Symbolická logika je moderný rozvoj formálnej logiky, ktorý využíva špeciálnu sústavu znakov (notáciu), pričom tento symbolizmus umožňuje manipuláciu či operovanie v súlade s precíznymi pravidlami.
Rôzne školy pod symbolickou logikou rozumejú matematickú logiku, súčasnú modernú logiku, súčasnú formálnu logiku atď.
Aj keď zákony tradičnej logiky platia aj v modernej logike či symbolickej logike, tu sa prekračuje rámec skúmania tradičnej logiky tým, že sa zbavuje psychologických a rétorických úvah, ktoré v tradičnej logike zaberali značný priestor.
Zmysel prechodu k symbolickej logike možno objasniť na výrokovom počte. Ak nahradíme výrazy ne-; a; alebo ..., tak ...; vtedy a len vtedy symbolicky ~, `^^`, `vv`, `rArr`, `hArr` v danom poradí, získame tak najjednoduchšie zložené výrokové funkcie: ~p,p`^^`q, p`vv`q, p`rArr`q, p`hArr`q, pre ktoré platia pravdivostné tabuľky či matice, umožňujúce rozhodnúť, kedy dané alebo zložitejšie zápisy sú pravdivé alebo nepravdivé.
Symbolická logika v svojej matematickej verzii, na rozdiel od tradičnej logiky, v plnej miere používa formalizované a symbolizované jazyky. Toto umožňuje využiť v matematickej logike aj axiomatickú metódu.
Takže symbolická logika je jeden z názvov matematickej logiky, ktorej vznik niektorí autori datujú do rokov 1880-85, kde pre operácie a relácie s logickými objektmi využívame symboly.
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: symbolická logika; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/symbolicka_logika.php
Symbolická logika je moderný rozvoj formálnej logiky, ktorý využíva špeciálnu sústavu znakov (notáciu), pričom tento symbolizmus umožňuje manipuláciu či operovanie v súlade s precíznymi pravidlami.
Rôzne školy pod symbolickou logikou rozumejú matematickú logiku, súčasnú modernú logiku, súčasnú formálnu logiku atď.
Aj keď zákony tradičnej logiky platia aj v modernej logike či symbolickej logike, tu sa prekračuje rámec skúmania tradičnej logiky tým, že sa zbavuje psychologických a rétorických úvah, ktoré v tradičnej logike zaberali značný priestor.
Zmysel prechodu k symbolickej logike možno objasniť na výrokovom počte. Ak nahradíme výrazy ne-; a; alebo ..., tak ...; vtedy a len vtedy symbolicky ~, `^^`, `vv`, `rArr`, `hArr` v danom poradí, získame tak najjednoduchšie zložené výrokové funkcie: ~p,p`^^`q, p`vv`q, p`rArr`q, p`hArr`q, pre ktoré platia pravdivostné tabuľky či matice, umožňujúce rozhodnúť, kedy dané alebo zložitejšie zápisy sú pravdivé alebo nepravdivé.
Symbolická logika v svojej matematickej verzii, na rozdiel od tradičnej logiky, v plnej miere používa formalizované a symbolizované jazyky. Toto umožňuje využiť v matematickej logike aj axiomatickú metódu.
Takže symbolická logika je jeden z názvov matematickej logiky, ktorej vznik niektorí autori datujú do rokov 1880-85, kde pre operácie a relácie s logickými objektmi využívame symboly.
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: symbolická logika; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/symbolicka_logika.php