A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Matematická logika (alebo z pohľadu filozofie moderná logika alebo symbolická logika) je matematická disciplína zaoberajúca sa štúdiom formálnych systémov vo vzťahu ku konceptom dôkazu a výpočtu ako časť základov matematiky.
Matematická logika je moderná forma logiky, ktorá sa od staršej, tradičnej logiky odlišuje predovšetkým jej formalizáciou a kalkulizáciou, prípadne (z praktických dôvodov) symbolizáciou.
Matematická logika je formálna logika, ktorá pri skúmaní myslenia používa matematické metódy, špeciálny aparát symbolov a kalkuly prípadne formalizované jazyky.
Matematická logika vznikla hlavne pod vplyvom matematiky na logiku v 19. storočí a vyznačuje sa týmito charakteristickými črtami:
- a) zdôrazňuje nevyhnutnosť upresnenia jazyka, ktorým vyjadrujeme myšlienky, ktoré robíme predmetom logickej analýzy. Tento cieľ dosahuje väčšinou tým, že pracuje so symbolickým jazykom;
- b) myšlienkové operácie (usudzovanie) prevádza na operácie s výrazmi, ktoré sa uskutočňujú podľa presne stanovených formálnych pravidiel (podobne ako počtové operácie v matematike);
- c) rozpracovala metódu deduktívneho výkladu vedeckej disciplíny, pri ktorej vychádzajúc z určitých základných pojmov a poučiek odvodzujeme ostatné pojmy a poznatky príslušnej disciplíny čisto logickou cestou. Moderná logika venuje síce veľkú pozornosť analýze, rozboru myšlienok a výrazov, vlastný výklad však podáva obvykle konštruktívnym postupom, počínajúc budovaním vyjadrovacej sústavy, určením významu výrazov a stanovením prípustných operácií;
- d) neuzatvára sa v okruhu tradičných myšlienkových foriem, ale pripúšťa možnosť skúmať formy bez vopred daného obmedzenia (zaujíma sa napr. o viachodnotové logiky, o logiku normatívnych viet a i.) - dôležité je, aby s nimi bolo možné dôsledne operovať. Neuspokojuje sa len skúmaním výrokov, ktoré hovoria o vlastnostiach predmetov, ale zaoberá sa aj výrokmi, ktoré hovoria o vzťahoch medzi objektami.
Moderná logika vyšla síce z matematických problémov a používa matematické metódy, ale svojou povahou smeruje k tomu, aby slúžila všetkým vedám ako teória vedeckého dôkazu.
Pravidlá, ktoré matematická logika pri výskume myslenia vyťaží, sú analogické s pravidlami matematických, najmä algebraických operácií. Úlohou matematickej logiky je vlastne to isté, čo úlohou tradičnej logiky, totiž vyvinúť postupy, pomocou ktorých by sa dala preveriť správnosť našich logických uzáverov, alebo ináč povedané, pomocou ktorých by sa dali odlíšiť platné uzávery od neplatných. Alebo ešte ináč povedané, úlohou matematickej logiky je vypracovať kritériá, pomocou ktorých by sa dali rozlíšiť logicky pravdivé výpovede od iných právd.
Externé odkazy
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Antény
Chemické zdroje elektriny
Chladenie v elektrotechnike
Elektrická sústava automobilu
Elektrická trakcia
Elektrické prístroje
Elektrické súčiastky
Elektrické spotrebiče
Elektrické stroje
Čítanie (elektrotechnika)
Činný výkon
Štatistická dynamika
Živý vodič
Admitancia
Antiparalelné zapojenie
Asynchrónny motor
Blúdivý prúd
Bočník (elektrotechnika)
Diak (polovodičový prvok)
Displej s kvapalnými kryštálmi
Elektrická inštalácia
Elektrická rezonancia
Elektrická sila
Elektrická vodivosť
Elektrické zariadenie
Elektrický obvod
Elektrický zvonec
Elektroenergetika
Elektromer
Elektrometer
Elektromobil
Elektromotor
Elektromotorické napätie
Elektrotechnický náučný slovník
Elektrotechnika
Elektrotechnológia
Fázor
Faradayova klietka
Frekvencia (fyzika)
Graetzov mostík
Impedancia
Indukčnosť
Induktancia
Istič
Izolácia (elektrotechnika)
Izolant
Jadro vodiča
Jednobran
Jednosmerný prúd
Joulovo teplo
Katóda
Koaxiálny kábel
Kompenzácia účinníka
Konduktometria
Konektor (elektrotechnika)
Korónový výboj
Lanko (elektrotechnika)
Leptanie
Logické hradlo
Magnetická susceptibilita
Magnetizácia (veličina)
Merný elektrický odpor
Mobilné zariadenie
Napájací zdroj
Napäťový chránič
Napäťový násobič
Nortonova veta
Odpínač
Odpojovač
OLED
Olovený akumulátor
Paralelné zapojenie
Peltierov článok
Plošná hustota elektrického prúdu
Poistka (elektrotechnika)
Posuvný prúd
Prúdový chránič
Prenosové médium
Prieletový klystrón
Primárny elektrochemický článok
Reaktancia
Rekuperácia (dopravný prostriedok)
Relé
Reproduktorová výhybka
Rezistancia
Rozhranie (interface)
Sériové zapojenie
Seebeckov jav
Sekundárny elektrochemický článok
Settopbox
Skrat
Sonar
Spínač
Spínaný zdroj
Straty v mikropásikových vedeniach
Striedavý prúd
Stupeň ochrany krytom
Svetelná výbojka
Symetrizačný člen
Technická normalizácia
Tepelné relé
Tepelne vodivostný detektor
Termočlánok
Théveninova veta
Transformátor
Transformátor s fázovou reguláciou
Trojfázová sústava
Tuhá fáza (elektronika)
Tyratrón
Usmerňovač (elektrotechnika)
Uzemnenie
Uzol (vodiče)
Vírivý prúd
Výbojka
Varistor
Ventilátor
Vodič (elektrotechnika)
Voltov stĺp
Vstavaný systém
Zásuvka (elektrotechnika)
Zdroj (elektrotechnika)
Zisk antény
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk