Encyklopédia Young Scientist

« (4) symbol :: hore :: (5) symbolizmus »

symbolická logika

Autor: RNDr. Marián Olejár

    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.

« (4) symbol :: hore :: (5) symbolizmus »

Pridané: 19/11/04 Posledná zmena: 12/04/07
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