Leidsid 33 sarnast õppematerjali, mis on seotud failiga "Loogika". Need materjalid aitavad sul teemat sügavamalt mõista.
loogika, süllogism, väljend, predikaat, tõeväärtus, parajasti, muutuja, tuletus, tingiv, algebra, väidet, tehe, tudeng, moodus, modus, väited, tehte, implikatsioon, propositsioon, eitus, lausearvutus, subjekt, ratsionaalse, kategooriline, lausel, operant, konjunktsioon, disjunktsioon, tingimuslik, ratsionaalne, klassikalises, fraas, terminitSEMANTILINE KOLMNURK: TEEMA 1!! 1 1. LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tšcnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: • sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; • mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; • teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida kõne väljendab) ka seda, kui süsteemselt kõnelejal õnnestub oma mõtteid väljendada;
1 1. LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tscnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: · sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; · mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; · teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida
LOOGIKA KONSPEKT EKSAMIKS (autor mis iganes, kas tead teda või mitte, ei vastuta selles materjalis sisalduva informatsiooni (eba)õigsuse eest; palun ärge solvuge ega süüdistage) 1. LOOGIKA PÕHIREEGLID. ! D1.2. Samasusseadus Ühes ja samas arutluses, ühes ja samas suhtes peab iga termin või väide, kui ta esineb arutluses korduvalt, olema kasutatud iseendaga identselt. ! ! See tähendab, et kui me kasutame ühes arutluses mingisugust terminit või väidet korduvalt, ! ! siis ei tohi arutluse sees terminite ja väidete tähendused muutuda. ! D1.3. Vasturääkivusseadus
LOOGIKA KONSPEKT EKSAMIKS (autor – mis iganes, kas tead teda või mitte, ei vastuta selles materjalis sisalduva informatsiooni (eba)õigsuse eest; palun ärge solvuge ega süüdistage) 1. LOOGIKA PÕHIREEGLID. ! D1.2. Samasusseadus Ühes ja samas arutluses, ühes ja samas suhtes peab iga termin või väide, kui ta esineb arutluses korduvalt, olema kasutatud iseendaga identselt. ! ! See tähendab, et kui me kasutame ühes arutluses mingisugust terminit või väidet korduvalt, ! ! siis ei tohi arutluse sees terminite ja väidete tähendused muutuda. ! D1.3. Vasturääkivusseadus
Loogika harjutuseksami küsimused-vastused 1. Hägusloogikas võib lause tõesusaste olla: 0,25 2. Kui unaarne predikaat ei ole samaselt väär, siis on see kindlasti: Kehtestatav 3. Milline traditsioonilise loogika põhireegel ei ole otseselt ega kaudselt kasutusel klassikalise loogika põhialuste fikseerimisel: Küllaldase aluse seadus 4. Kuidas jagunevad küsimused vastuste hulga alusel? Õiged ja ebaõiged. 5. Atributiivse lihtväitena termin on alati piiritletud, kui ta esineb… Eitava väite predikaadina 6. Disjunktsioonitehte eitus on … Selle operandide eituste konjunktsioon. 7. Traditsioonilisele arutlusele „üldiselt üksikule“ vastab klassikalises loogikas … Üldisuskvantori eemaldamine. 8
Arutlus väljendub keeles lausete hulgana. Klassikalises loogikas käsitletakse arutlust kui propositsioonide hulka või ka kui väidete hulka. Üks neist on järeldus, ülejäänud on eeldused. Tuletis järgneb eeldustest paratamatult (ik necessarily). Et rõhutada tuletise paratamatut iseloomu, alustatakse tema sõnastamist väljendiga järelikult, siit järeldub või sellepärast jt. Neid väljendeid nimetatakse eelduse ja tuletuse seoseks. Loogika ülesandeks on seaduste ja printsiipide formaliseerimine, millest kinnipidamine on paratamatu, kui soovime saada tõestest eeldustest tõese järelduse. Loogikas on mitmeid formaliseeritud süsteeme ning järeldamise reeglid ja printsiibid on teatud mõttes suhtelised, nad sõltuvad konkreetse loogika valdkonna süntaksi iseärasustest. Kuigi arutluse kehtivust saab kontrollida mitmeti, on suure enamuse loogikavaldkondade arutlusmeetodite aluseks ikkagi klassikaline loogika.
· seletada olemasolevaid teadmisi; · saada uusi teadmisi olemasolevate põhjal. Ratsionaalne mõtlemine on järjekindel ja reeglipärane (ehk loogiline) mõtlemine. See võib olla korrigeeritud kogemusega, mille allikaks peetakse tegelikkust. Eesmärgiks on sageli tegelikkusega kohanemine. Irratsionaalne mõtlemine võib olla nt · preloogiline (müüdiline) · superloogiline (müstiline). Ratsionaalse mõtlemise seaduspärasusi ja vorme uurib loogika. Kreekakeelse sõna lÒgoj (logos) tähendusi: üleslugemine, arveteõiendus, õigustamine, suhe, proportsioon seletamine, tõestamine, mõistus, aruanne, esitlemine, (tõsi)lugu, lausung, sõna, väljend; õpetus; filosoofias: inimmõtlemine ja kõnelemine, teaduslik ratsionaalsus. Sõna ,,loogika" levinud tähendusi: · seaduspärasus maailmas, sündmuste loogika; · seaduspärasus mõtetes, mõtlemise loogika;
1. Sissejuhatus: 1.1. Mis on loogiline programmeerimine? l Programmeerimise paradigma l loogiline (LP) l funktsionaalne (FP) l jt Fookus: MIDA ARVUTADA l LP ja FP on deklaratiivsed programmeerimisstiilid; l LP põhineb loogika printsiipidel ja kasutab automaattõestamise protseduure (resolutsioon, unifitseerimine); l LP keel on Prolog, kuid LP ≠ Prolog; 1.1. Mis on loogiline programmeerimine? (2) l LP sobib tehisintellekti rakenduste programmeerimiseks: l loomuliku keele analüüs ( DCG grammatikareeglid) l ekspertsüsteemid (otsingu- ja järeldusreeglid) l kujundituvastus (tuvastusreeglid) l kitsendustega planeerimine (logistika, marsruudi otsimine) l rekursiivsete funktsioonide püsipunkti arvutus l jne l LP ei sobi: l Kiired numbrilised arvutused (n. maatriksarvutused, võrrandid) l OOP (kuigi on toetatud mõnes prologis) l kasutajaliideste programmeerimine (tugi on
Õpetaja Ilmar Lilleorg Maria Sillandi RP 121-T LOOGIKA Aine lõppeb testiga. Mis koosneb ülesannetest (Täpne mõistete sisu: mis on loogika, mis on mõtlemine - 3-4 küsimust). 70p. 51% on positiivse hinde piir. Töös tehnikat kasutada ei tohi. Õpetaja annab A4 formaadis spikri ise tööle. Materjalid: 1. Õppejõud. 2. Loogika harjutused ja ülesanded 1999 (pole kiiret sellega) On ka digiväljaandes. 3. http://web.zone.ee/aristoteles/ 4. Ene Graiberg ''Loogika, keel ja mõtlemine'' 1996 5. Galine Vuks ''Formaalse loogika ehk õige mõtlemise alused'' 1991 Aristotelese loogika (klassikaline loogika, formaalne loogika,
Et me aga oskaksime viga täpselt sõnastada, peame tundma loogikaseadusi. Loogikaseadused Loogika tegeleb väidete vaheliste formaalsete seostega. Ta ei ütle meile millised väited on tegelikult tõesed (nt väide "G. W. Bush on 2005 aastal USA president" on tõene tänu faktidele, mitte oma loogilisele struktuurile), vaid seda, mis tüüpi väidetest saab järeldada mis tüüpi väiteid. Selle ütlemiseks on terve rida loogikaseadusi. Traditsioonilises formaalse loogika puhul eristatakse nelja põhilist seadust, mida kehtiv arutlus peab järgima. Samasusseadus "Ühes ja samas kohas, ühes ja samas suhtes on tarvilik, et iga mõiste või väide, kui ta esineb arutluses korduvalt, oleks kasutatud iseendale sisuliselt identsena." (Galina Vuks, Traditsiooniline formaalne loogika, Tartu, 1999, lk 23) AA Vasturääkivuse lubamatuse seadus Loogiline arutlus ei tohi olla vasturääkiv. Vasturääkiv on arutlus siis, kui arutluses
Loogija ja juriidiline argumentatsioon LOENG 1 Loogika – logos - teadus õigest mõtlemisest. Mõtlemisreeglid. Väidete põhjendamise teadus. Loogika kui inimtegevuse teatud järjepidevus. Loogika on kõige lähedasem matemaatika. Loogika on normatiivne teadus, mis määrab mõtlemise reeglid. Meil on vaja loogikat väitluskunstiks. Argumenteerimisoskus, teadustöö tegemises jne.Loogika aitab paremini pidada kõnesid. Jaguneb: Formaalseks-see millega meie tegeleme, matemaatiline loogika; dialektiline loogika-tegeleb seoste ja dünaamikaga. Formaalloogika uurib õige mõtlemise üldstruktuure selle keerulises vormis. Formaalloogika põhimõisteks on mõtlemise loogiline vorm.
Ja vaadati palju kuuletus. Tegemist ei olnud tõelise vooluga. Inimesed teesklesid. Kuuletujad olid hiljem ääretult pahased. Osa inimesi muidugi ei kuuletunud absoluutselt. Teooria: · Autonoomne seisund · Agendi seisund Mäss vastupanu sotsiaalsele survele, inimesed hindavad oma vabadust ja hakkavad mössama kui surve ähvardab seda ära võtta. Nad teavad et nendega manipuleeritakse. See viib mössuni. Loogika Formaalne loogika- aristotelese loogika Form. Loogika on teadus, mis uurib kehtivate arutuste ja nende baaskomponentide vorme. Mõtlemise põhivormid mõiste, väide, järeldus. Sümbolite keeles. Formaalse loogika rajaja aristoteles Loogikaline vorm on õige siis, kui ta vastab loogikaseadustele ja loogikas kehtivatele printsiipidele. On kas tõesus või väärus. Mõnes mõttes tõene võimalust ei ole. 10 binary yeah. Õige mõtlemise seadused 1
3. OTSUSTUSÕPETUS Otsustus on mõtlemise vorm (mõte), millel on teatud kindel tõeväärtus. Tõeväärtus näitab otsustuse (mõtte) kehtivust või mittekehtivust. Keeleteaduslikult otsustus on lause. Kuid kõik laused ei ole otsustused. Nimelt, küsilause, käsulause, hüüdlause - need laused ei ole otsustused, kuna neil puudub tõeväärtus. Näiteks, mis päev on täna, tulge appi, sõida seenele - on laused, kuid ei ole otsustused, sest ei ole võimalik arutleda nende tõeväärtuse üle. Terminoloogiast. Eestikeelses loogikaalases kirjanduses on sõna "otsustus" kasutusele võetud 1924
Loogika – sissejuhatus ja põhimõisted Järeldus on 1 lause Klassikalise loogika põhiseadused: samasuse ehk identsuse seadus, vasturääkivusseadus, välistatud kolmanda seadus, Aristoteles (384-322) vb aluse seadus. Gottfried Wilhelm Leibniz (1646 – 1716) Loogika roll Loogika ei suuda üldjuhul öelda meile, millised väited või uskumused vastavad tõele. Tõde tähendab, et me teame, kuidas asjad on. Loogika ei ütle meile seda. Loogika valdamine aitab meil otsustada, kas meie väljakujunenud uskumused ja seisukohad on omavahel kooskõlas. Kooskõlalisus Hulk väiteid või uskumusi on omavahel kooskõlas parajasti siis, kui kõik selle hulga liikmed saavad olla korraga tõesed. Vastasel juhul on see hulk mittekooskõlaline. Sellisel juhul ütleme, et vaatlusaluseid väiteid ei saa korraga jaatada. Näide: Oletame, et keegi usub kõike järgnevat: Igaüks, kes võtab astroloogiat tõsiselt, on hullumeelne.
Prangi loogikaõpikule "Mõtlemisest tõestamiseni" Tanel Tammet Department of Computer Sciences, University of Göteborg and Chalmers University of Technology, 41296 Göteborg, Sweden email: [email protected] Puhta loogika eesmärk on olla õige kõigis võimalikes maailmades, mitte ainult selles veider-segases vaevarikkas maailmas, kuhu juhus meid on heitnud. Loogik peab eneses alal hoidma teatud annuse jumalikkust: ta ei tohi alanduda selleni, et teha järeldusi enese ümber nähtust. B.Russell, ``Sissejuhatus matemaatilisse filosoofiasse''. Kui loogika oleks olemas isegi juhul, kui maailma ei oleks, siis kuidas saab loogika olemas olla olukorras,
VANALINNA HARIDUSKOLLEEGIUM Erle Maido XI kl. ARISTOTELES Referaat Tallinn 2012 Sisukord Aristotelese elulugu ................................................................................................................ 2 Aristotelese loogika ................................................................................................................ 5 Aristotelese õpetused .............................................................................................................. 8 2 Aristoteles
saa olla endaga vastuolus Välistatud kolmanda seadus iga lause on kas tõene või väär, kolmandat võimalust ei ole Küllaldase aluse seadus ühtli lauset ei saa pidada tõeseks või vääraks ilma küllaldase aluseta. Näide Maril on täna hea tuju Kui Maril on hea tuju, siis on Jüri õnnelik ------------------------- Jüri on täna õnnelik Lauseid.... Elu on elu Tööpäev kestab reedel kella poole viieni Jüri on ja ei ole mees Lausearvutus Boole algebra Jagamine lauseteks ja osalauseteks Lausearvutus on klassikalise loogika lihtsaim osa, mis tegeleb lihtlausete vaheliste seoste uurimisega ning mille abil on võimalik välja selgitada, kuidas liitlause tõeväärtus sõltub osalausete tõeväärtustest. Lausearvutust kasutatakse väga paljudes valdkondades, rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises. Konjunktsioon &, , AND Konjunktsioon kahe lause vahel on
Lausearvutuse tehted, 3. KT Eitus ¬p Konjunktsioon p & q. (korrutustehe) Loomulikus keeles on konjunktsiooni indikaatoriteks ja, ning, ent, kuid, aga, nii...kui ka...; vahel võib konjunktsiooni tähistada ka punkt või koma. Disjunktsioon p ∨q. Või (liitlause) Lause on tõene parajasti siis, kui vähemalt üks lausetest p ja q on tõene. Lause on väär vaid siis, kui mõlemad p ja q on väärad (0). Implikatsioon p →q. Lause on väär ainult siis, kui p on tõene ja q on väär. Implikatsioon on tõene parajasti siis, kui tehte esimeselt komponendilt teisele liikudes ei teki tõekadu. Lühemalt: lausearvutuses on kasutusel materiaalne implikatsioon, mis on alati tõene, välja arvatud siis, kui alus on tõene ja tagajärg on väär. Ekvivalents p↔q
väärtuskombinatsiooni korral. Samaselt tõene lause on teisisõnu tautoloogia. Milline lause on samaselt väär? Mis on vastuolu? Samaselt väär on lause, kui ta omandab tõeväärtuse 0 koostislausete mistahes väärtuskombinatsiooni korral. Samaselt väär lause on teisisõnu vastuolu. Millega asendatav on samaselt tõene lause ja samaselt väär lause? Samaselt tõene asendada konstandiga 1 ja samaselt väär konstandiga 0. Mis on predikaat? Predikaat on lause, mis sisaldab ühte või enamat muutujat. Millal predikaat omandab tõeväärtuse? Predikaat omandab tõeväärtuse, kui predikaadi muutujad asendada mingite konkreetsete väärtustega lubatud väärtustehulgast. Kuidas predikaate ja predikaatmuutujaid tavaliselt tähistatakse? Predikaate tähistatakse suure tähega ja temas sisaldavaid muutujaid ehk predikaatmuutujaid väiketähtedega. Milline predikaat on ühekohaline? Milline on kahekohaline?
siis saab seda teada üksnes aposterioorselt. Aprioorne teadmine on see, mida on võimalik saada mitte- empiiriliselt kas mõistusliku arutluse või intuitsiooni teel. Üheks aprioorsete teadmiste allikaks on peetud ka kaasasündinud ideid. Analüütiline/Sünteetiline See eristus on loogilis-semantiline ning käib selle kohta, mis määrab väite tõeväärtuse (=selle, kas lause on tõene või väär). Analüütilised väited on need, mille tõeväärtus on määratud üksnes tema osade tähenduse poolt. Sünteetiliste väidete tõeväärtuses mängib rolli ka see, kuidas maailm on. Näiteks väite "Kõik luiged on valged" tõesus sõltub sellest, kas kõik luiged on tõepoolest valged ta sõltub sellest, milline on maailm. Need on sünteetilised laused. Seevastu lause "Kõik poissmehed on vallalised" tõeväärtus sõltub üksnes tema koostisosade tähendusest - tegemist on analüütilise lausega.
SISSEJUHATUS MATEMAATILISSE LOOGIKASSE Kordamisküsimused (orienteeruv) Mõnede sümbolite tähendused sõna Materjal puudub & Konjuktsioon Ekvivalents üldisuskvantor Järeldumine Disjunktisoon ¬ Eitus olemasolukvantor Signatuur Implikatsioon Samaväärsus Loogiline järeldumine I. Lausearvutus Laused. Lausearvutuse tehted. Valem. Valemi tõeväärtus. Tõeväärtustabel. Laused Põhilised uuritavad objektid lausearvutuses on laused, mis võimaldavad pärineda ükskõik millisest valdkonnast. Oluline on, et igale lausearvutusele saaks vastavusse seada tõeväärtuse, mis kirjeldab lause tegelikkusele vastava määra. Eeldame, et käsitlevad laused rahuldavad järgmisi tingimusi: · Välistatud kolmanda seadus. Iga lause on kas tõene või väär
Ülesande eest 4,75 p. 2. Too näide modus ponens'ist, modus tollens'ist ja hüpoteetilisest süllogismist. (3 x 2 p.) Modus ponens: E: Kui A, siis B. E2: A J: B. E1: Kui talvel on lumi, siis kõik lapsed suusatavad. E2: Talvel on lumi. J: Kõik lapsed suusatavad. Modus tollens: E: Kui A, siis B. E2: Ei pea paika, et B. J: Ei pea paika, et A. E1: Kui kassil on hea olla, siis ta nurrub. E2: Kass ei nurru. J: Kassil ei ole hea olla. Hüpoteetiline süllogism: E1: Kui A, siis B. E2: Kui B, siis C. J: Kui A, siis C. E1: Kui lund sajab, siis on külm. E2: Kui on külm, siis on talv. J: Kui lund sajab, siis on talv. 6 p. 3. Too näide argumendiahelast, kus esinevad modus tollens ja disjunktiivne süllogism. (Argumendiahelas on ühe argumendi järeldus teise argumendi eeldus.) (4 p.) Modus tollens: E1: Kui A, siis B. E2: Mitte B. J: Mitte A. Disjunktiivne süllogism: E1: A või B.
Mis on loogika? Loogika mõiste tuleb kreekakeelsest sõnast logos mis tähendab motet, sõna, moistest. - loogika, kui teadus, mis uurib õige mõtlemise struktuuri ja selle seaduspärasusi. - loogika, mis tähistab objektiivselt eksisteerivate asjade ja nähtuste vahelisi seoseid ning nende arengu seduspärasusi. - Loogika, kui inimtegevuse teatud järjepidevus. Mis on mõtlemise loogiline vorm? Formaalse loogika põhimõisteks on mõtlemise loogiline vorm. Loogiline vorm on mõtlemise koostisosade- meie mõtete seostamisviis. Mis on süllogism? Järeldust, mis saadakse kahest teineteisest sõltumatult vastuvõetud lause loogilisest kooskõlastamisest, nimetatakse süllogismiks. Mis on formaalloogiline seadus? Formaalloogiliste seaduste eripära seisneb selles, et need on seotud mõtlemise õigsusega. Traditsioonilises formaalloogikas on seaduseks mingid nõuded, mida peab järgima
LOOGIKA Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest. Formaalne loogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid reeglina ei ütle, millised väited on tõesed. Seetõttu öeldakse, et formaalsel loogikal puudub sisu: ta ei ütle midagi selle kohta, missugune maailm tegelikult on. Formaalne loogika ütleb, mida saab järeldada lähtudes üksnes väiteid väljendavate lausete vormist. Sümbolloogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kunstlikke formaalseid keeli
06.030 ja P2OG.02.171 Õiguslik analüüs ja argumentatsioon 2014/2015 õppeaastal. =========================================================================== 1. Mis on argument – esitage tähtsaim tunnus, lühikirjeldus ja neli tarvilikku tingimust? Argument on hulk väiteid, mis on esitatud toetama ühte väidet sellest hulgast – teesi või hüpoteesi ehk järeldusotsust. P1 .... Pn , järelikult Qn. Seda nimetatakse argumendiks. Argument on veenmisfunktsiooniga diskursus, millel on loogika ning mõte ning efektiivsust tagavad tugevustingimused. Argument on mõistetest, väidetest ja ühest järeldussammust koosnev diskursus, mille sihiks on adressaatide veenmine. A on argumentatsiooni komponent, kuid ei ole element, kui selle lahutamatu algosa – argument on analüüsitav struktuuriks ja funktsiooniks. Näide: E1: Mallet ja Kallet nähti käsikäes kinost väljumas. E2: Kalle on rääkinud, et Malle meeldib talle. JO: Malle käib Kallega.
Riiklik toetus on piisav selleks, et üritust läbi viia. Ürituse läbiviimiseks on tarvilik, et oleks riiklik toetus. Kui koos teoreemiga (Kui A, siis B) kehtib ka pöördteoreem (Kui B, siis A), siis võetakse tavaliselt need teoreemid kokku üheks lauseks, kasutades ühte väljenditest ,,on tarvilik ja piisav," ,,siis ja ainult siis," ,,parajasti siis, kui.". Näide: Teoreem: Nelinurk on rööpkülik parajasti siis, kui tema diagonaalid poolitavad teineteist. Näide: Definitsioon: Rööpkülikuks nimetatakse nelinurka, mille diagonaalid poolitavad teineteist. Olemasolu ja üldistuse kvantorid Paljudes matemaatika lausetes esinevad sõnad ,,kõik," ,,iga," ,,leidub," ,,eksisteerib," ,,on olemas," ,,vähemalt üks.". Osa neist lausetest on tõesed, osa väärad. Selliste lausete kirjutamisel kasutatakse loogikas kahte märki. Üks neist on olemasolu
Diskreetse matemaatika elemendid 2013/2014 LAUSEARVUTUS. TÕESTUSED. 1. Lausearvutuse lausetele esitatavad tingimused. [1] o Välistatud kolmanda seadus. Iga lause on kas tõene või väär. o Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär. o Nende nõuete põhjal kuuluvad vaadeldavate hulka ainult nii sugused laused, mis midagi väidavad, kusjuures sellel väitel on olemas ühene tõeväärtus. o . Välistatud kolmanda seaduse nõudel jäävad kõrvale kõik küsilaused ja paljud hüüdlaused, samuti kõik käsud ning mõttetud sõnaühendid. Mitte-vasturääkivuse seadus välistab mitmesugused paradoksid, näiteks „See lause siin on väär“, ja muud taolised väited, mille tõeväärtust pole võimalik üheselt määrata. o Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest. 2. Lausearvutuse tehted. Tehete järjekord
korral(konjunktsioon, disjunktsioon, implikatsioon, ekvivalents). Unaarne tehe on tehe, mida saab rakendada üksikule argumendile/operandile(inversioon). Ekvivalents on kahepoolne implikatsioon. Elementaarsed loogikatehted on inversioon, konjunktsioon, disjunktsioon, kuna nende abil saab esitada kõik teised tehted. Lausearvutus valem on lausearvutuslause tähis ja üksik tõeväärtus. Prioriteedijärjestus loogikatehetele on inversioon, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents. Lause on samaselt tõene, kui lause omab tõeväärtust 1 ükskõik milliste väärtuskombinatsioonide korral. Tautoloogia. Lause on samasselt väär, kui lause omab tõeväärtust 0 ükskõik milliste väärtuskombinatisoonide korral. Vastuolu. Predikaat on lause, mis sisaldab ühte või enamat muutujat.
Loogikatehete prioriteet: inversioon, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents. Samaselt tõene ehk tautoloogia on lause, mis omandab tõeväärtuse 1 koostislausete mistahes väärtuskombinatsiooni korral (nt: 𝐴∨𝐴̅). Samaselt väär ehk vastuolu on lause, mis omandab tõeväärtuse 0 koostislausete mistahes väärtuskombinatsiooni korral (nt: 𝐴∧𝐴̅). Samaselt tõesed laused võib kõikjal asendada konstandiga 1, samaselt väärad konstandiga 0. Predikaat on lause (valem), mis sisaldab ühte või enamat muutujat. Kui predikaadi muutujad asendada mingite konkreetsete väärtustega lubatud väärtustehulgast, siis predikaat omandab tõeväärtuse (muutub lauseks). Predikaate tähistatakse suurtähtedega, predikaatmuutujaid väiketähtedega. Ühekohaline predikaat ehk omadus on ühe muutujaga. Määramispiirkond näitab, milliseid väärtusi predikaatmuutuja võib omandada.
Karl Popper püüdis induktsiooniprobleemist mööda minna, väites, et induktsiooni otseselt õigustada ei saa, küll aga võib induktsiooni teel saadud järelduse tõesuse kasuks rääkida asjaolu, et seda ei ole õnnestunud falsifitseerida, mis seda järeldust korroboreerib. NT: See luik on valge. (Too luik on valge. Too kolmas luik on valge. Jne.) Järelikult kõik luiged on valged. 4. Kooskõlalisus. Too näiteid. Kooskõlalisus: hulk väiteid või uskumusi, on omavahel kooskõlas parajasti siis, kui kõik selle hulga liikmed SAAVAD olla korraga tõesed. Muidu on hulk mittekooskõlaline. Väiteid ei saa korraga jaatada. NT: Igaüks, kes võtab astroloogiat tõsiselt, on hullumeelne. Mari on minu õde ja ükski minu õdedest ei ole abielus hullumeelsega.- kui siit üks pool ära jätta, tekib kooskõlalisus. Mari abikaasa Jüri loeb igal hommikul ajalehest horoskoopi. Igaüks, kes loeb igal hommikul horoskoopi, võtab astroloogiat tõsiselt. 5
..4 1.1. Argumenteerimine......................................................................................5 1.2. Argumenteerimine kui veenmiskunsti osa..................................................6 2. Avalik väitlus......................................................................................................7 3. Kuulajaskond.....................................................................................................9 4. Argumenteerimine ja loogika..........................................................................10 4.1. Loogikalised vead ja eksimused tõestuse demonstratsioonis.....................................................................................10 4.2. Demagoogilise ja teised mittelojaalsed põhjendid tõestuses...................10 4.3. Otsene ja kaudne tõestus......................................................................... 11 4.4
Diskmatt terminid Lausearvutus Disjunktsioon: liitlause on tõene, kui vähemalt üks osalause on tõene Ekvivalents: liitlause on tõene, kui osalaused on sarnased Implikatsioon: liitlause on tõene, kui esimene muutuja on väär või teine muutuja on tõene Inversioon: eitus Ja-tehe: konjunktsioon Konjunktsioon: liitlause on tõene, kui mõlemad osalaused on tõesed Lause: iga lause, mille puhul saab rääkida tema vastavusest tegelikkusele (millel on tõeväärtus) Olemasolu kvantor: näitab, et predikaat kehtib oma määramispiirkonna vähemalt ühe muutujate puhul Predikaat: lause, mis sisaldab ühte või enamat muutujat Samaselt tõene predikaat: predikaat, mis kehtib kogu määramispiirkonnas
seda seisukohta sisaldab, mingi vastuväide sellele. Raskustesse satub empiirik aga formaalloogika ja matemaatika tõdedega kokku puutudes. Sest kuigi varmalt mööndakse, et tea- duslik üldistamine võib olla ekslik, paistavad matemaatika ja loo- gika tõed kõigile paratamatute ning kindlatena. Ent kui empirism on õige, ei saa ükski propositsioon, millel on faktiline sisu, olla paratamatu ega kindel. Järelikult peab empirist tegelema loogika ja matemaatika tõdedega ühel viisil kahest: ta peab kas ütlema, et need ei ole paratamatud tõed, ning sel juhul peab ta leidma ka seletuse üldisele veendumusele, et on küll; või ta peab ütlema, et neil puudub faktiline sisu, ning siis peab ta seletama, kuidas saab propositsioon, millel puudub igasugune faktiline sisu, olla tõene ja kasulik ja üllatav. Kui kumbki neist suundadest ei osutu rahuldavaks, oleme sun- nitud järele andma ratsionalismile. Oleme sunnitud möönma, et
annaabi.ee 
