Leidsid 33 sarnast õppematerjali, mis on seotud failiga "Loogija ja juriidiline argumentatsioon". Need materjalid aitavad sul teemat sügavamalt mõista.
otsustus, süllogism, loogika, märg, hüpotees, annika, eelduses, eitav, väitlus, 2016, mahus, kass, jaatav, kesktermin, analoogia, dilemma, hagi, kostja, tasuma, väidet, tingiv, induktsioon, troll, süllogismis, hallid, jupiter, metall, aristoteles, filosoof, taevakeha, eeldust, kant, dokumendil, hageja, subjekt, terminit, selgroogsed, korterArutlus 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.
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
SEMANTILINE 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
1.LOOGIKA AINE JA PÕHIREEGLID Ratsionaalne mõtlemine- järjekindel ja reeglipärane mõisteline mõtlemine, kusjuures reeglid peavad olema mingil viisil õigustatud. Need võivad tugineda nt kogemuse üldisusele, mille allikaks peetakse tihti tegelikkust. Ratsionaalse mõtlemise eesmärk- tegelikkusega kohanemine. LOOGIKA UURIMISVALDKOND ongi peamiselt ratsionaalse mõtlemise seaduspärasused ja mõtlemise aktide produktid. Irratsionaalne mõtlemine- ebakindel, reeglipäratu või järgib väljendamatuid või vaieldavaid reegleid. Ei kuulu otseselt loogika uurimisvaldkonda, kuid selle olemasoluga tuleb arvestada. Võib tugineda mõtleja sisemistele ajenditele, nt soovidele või hirmudele, sageli neid ajendeid ei teadvustata. Mõnikord on mõtlemise aluseks irratsionaalne soov või usk, aga arutluskäigud
Õ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,
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
· 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;
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.a. V.Thselpanovi loogikaõpikus. Tõsi, sõna-sõnalises tõlkes peaks see olema
2 KT loogika – süllogismid A Üldjaatav S+ P- E üldeitav S+ P+ I osajaatav S- P- O osaeitav S- P+ Kesktermin (M) esineb mõlemas eelduses, aga mitte järelduses. Suurtermin (P) esineb suuremas eelduses ja lõppjärelduses. –esimene eeldus Väiketermin (S) esineb väiksemas eelduses ja järelduses. –teine eeldus TERMINITE REEGLID: 1. Igas süllogismis peab olema kolm terminit. 2. Kesktermin (M) peab olema piiritletud(täismahus) vähemalt ühes eelduses. 3. Kui äärmine termin on lõppjärelduses piiritletud, siis peab see olema piiritletud ka eelduses(äärmise termini reegel). Termini lubamatu laiendamine (S- muutub S+ või P- muutub P+) Kui termin on eelduses osalises mahus, siis saabki järelduse teha vaid termini mahu selle osa kohta, millest eelduses juttu oli. Kui äärmine termin esineb lõppjärelduses täies mahus, siis öeldakse lõppjärelduses midagi termini mahu iga elemendi kohta.
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.
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.
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
1 reegel Dfd=Dfn (definitsioon peab olema tasakaalus, st defineeriv pole liiga suur defineeri tava jaoks) 2 reegel Idem per idem seesama sellesama kaudu (tõlk). Defineeritavas ei tohi esineda defineerivat. Maailmas elab 7 miljardit inimest. Hiinlane- on rahvus, kelle esindajaks on olnud Konfutsius. Hiinlane on rahvus, keda maakeral on kõige enam. Jaapanlane- on rahvus, kelle riigis on Eesti sumomaadleja Baruto. 3 reegel! Definitsioond ei tohi olla eitav, väljaarvatud juhul, mil defineeritav on eitavas vormis. Ei tohi olla eitavas vormis, kuna eitavalt edastatakse vähe informatsiooni. Eitavas vormis varjatakse sisu, ei edastata tunnuseid. Võõramaalane/mittekodanik- (on eitav mõiste) isik, kel puudub antud riigi kodakondsus. Punkt on matemaatiline suurus, millel puuduvad mõõtmed (Eukleides). Vale, kuna sees on eitus. 4 reegel Lgrotum per iqnotius ei tohi olla definitsioon, mis on tundmatu tundmatu kaudu (tõlk) -
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
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
1 LOGOS sõna, seadus, loogika. Loogika on õpetus õigest mõtlemisest, õige mõtlemise reeglitest. Rajajaks Aristoteles (384- 322) Metakeele alusel saame analüüsida elavat keelt. Ka loogikas on oma metakeel. Sellega kirjeldatakse õiget mõtlemist. Loogika 4 traditsioonilist osa: 1. Õige mõtlemise seadus- samasuse, vasturääkivusi välistav, välistatud kolmanda ja küllaldase aluse seadus. 2. Mõtlemise üldvormid: 1) mõiste, 2) otsustus, 3) järeldus. 3
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
Ilmar Lilleorg Loogika vihik 2003 4. MÕTLEMISE PÕHIREEGLID. Nimetades olulisemaid ja üldisemaid mõtlemise printsiipe loogika seadusteks (ka mõtlemise seadusteks), väljendatakse püüdu omistada nendele lausetele suuremat tähtsust. On tavaks, et isegi teaduslikes tekstides eelistus on antud seadusele ja reegel on sootuks teisejärguline. Selline seisukohavõtt on iseloomulik vulgaar-materialistlikule arusaamale mõtlemise ja teadvuse küsimustes, mille kohaselt viimane on deterministlikult (põhjuslikult) tingitud sellest maailmast, milles toimivad inimese formuleeritud seadused ja printsiibid. Teisalt, loogika
Sissejuhatus ................................................................................................................3 1. Argument...........................................................................................................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............................................................................
Peaaegu kindlasti me elame arvutisimulatsioonis. Esimest kahte väidet saab vääraks teha, kolmandat ei saa ümber muuta valeks. Religioon, ufo, tontide nähtused ei saa ette kujutada arvuti stimulatsioonina. 15. Abduktsioon. Näited. Abduktsioon-- mõtlemisvorm, kus eesmärgiks on pehmendada deduktsiooni (saab kontrollida, eeldused tõesed) ja induktsiooni (pole kindlat reeglit, nt Russeli kalkun). Mõtlemisvorm, kus hüpotees loetakse tõeseks või vähemalt tõenäoliseks, kuna tal on seletuse jõud. Termin "hüpoteetiline induktsioon" Charles Sanders Peirce (1839-1914): ·Vaadeldakse üllatavat fakti C. ·Kui A oleks tõsi, oleks C loomulik. ·Järelikult on alust kahtlustada, et A on tõsi. Ei too kaasa uut teadmist, kuigi Peirce väidab seda. A sisaldub juba teises eelduses. Rakendame iga päev korduvalt. Keegi koputab uksele teatud ajal, telefon heliseb teatud ajal.
Ü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.
VANALINNA HARIDUSKOLLEEGIUM Erle Maido XI kl. ARISTOTELES Referaat Tallinn 2012 Sisukord Aristotelese elulugu ................................................................................................................ 2 Aristotelese loogika ................................................................................................................ 5 Aristotelese õpetused .............................................................................................................. 8 2 Aristoteles
kui ainsa ratsionaalse väärtushinnangute rakendamisel kohaldatava menetluse teel. 4. Õigusliku otsuse tegemine (subsumptsioon) Selles staadiumi põhitegevuseks (subsumptsioon on..) on tuvastatud faktilise koosseisu ning võimalikult õigusselgeks tõlgendatud õigusnormi alusel argumenteeritud õigusliku otsustuse langetamine ja selle sidumine õigusliku tagajärjega. Õigusliku otsustuse tegemisel on reeglina peetud silmas õiguslikku otsustust süllogismina. Süllogistlik otsustus on väljendatav tuntud loogilise Barbara- figuuri abil: Süllogismi lahendamise kaudu leiab aset teo faktilise subsumptsioon abstraktsele koosseisule, kusjuures seotakse ka õiguslik tagajärg (imputatsioon). Prof A.Aarnio märgib, et väga lihtsas vormis osutab juriidilise süllogismi esimene eeldus (premiss) õigusnormile ja teine juhtumile kui faktile. Seetõttu räägitaksegi õigusküsimusest ja faktiküsimusest. Seaduse rakendamine tähendab siis seda, et juhtumi faktid
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. Lausearvutuse valem. [1] Tehted o Eitus (märk ¬)
" 1. Antud juhul P(x, y) = ,,x < y" 2. ¬(x y , x < y) 3. x y , ¬(x < y) 4. x y , x y Leidub reaalarv x nii, et mis tahes reaalarvu y korral x y. 2. LOENG Lausearvutuse põhimõisted Loogika (kr. logiké techne mõtlemiskunst, logos sõna, mõiste, mõistus) on teadus õigest mõtlemisest, selle vormidest ja struktuuridest. Traditsioonilise loogika aluseks on mõtlemisseadused, mida kutsutakse ka loogika aksioomideks: 1. samasuse seadus 2. vasturääkivuste lubamatuse seadus 3. välistatud kolmanda seadus 4. küllaldase aluse seadus Matemaatiline loogika on loogika haru, milles loogikaprobleemide käsitlemiseks kasutatakse matemaatilisi meetodeid. Kokkulepped: Lausearvutuse lauseks võib olla igasugune lause, mille puhul saame rääkida selle sisu vastavusest tegelikkusele. Seejuures eeldame, et 1
AS Erahariduskeskus, juhatuse liige Peamised uurimis- ja arendusvaldkonnad MK õppeinfosüsteemi arendusprojekt õppemetoodikad ja e-kõrgkool haridusfilosoofia Kasutatud allikmaterjalid Cryan, D., Shatil, S., Mayblin, B. (2003) Juhatus loogikasse. Tallinn: Koge. Lau J., Chan J. OpenCourseWare on critical thinking, logic, and creativity [http://philosophy.hku.hk/think] Lorents, P. (2006) Süsteemide maailm. Tartu Ülikooli Kirjastus. Meos, I. (2003) Loogika argumentatsioon, mõtlemiskultuur. Tallinn: Koolibri. Sagan, C. (2006). Deemonitest vaevatud maailm. Tallinn: Valgus Tamme, T., Tammet, T., Prank, R. (1997) Loogika. Mõtlemisest tõestamiseni. Tartu Ülikooli Kirjastus. Vooglaid, Ü. (2005) Vaatepunkte ja ettepanekuid teaduse käsitlemiseks. [http://www.darwin.kongress.ee/09esitlused/vooglaid_vaatepunkte_teaduse_kasitlemiseks.ppt] VerLinden, J. (2005). Critical Thinking and Everyday Argument (1st ed.). Humbolt State University.
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,
.. , G on tuletatav, siis tema valemkuju on samaselt tõene. Tõestus lk. 99-100 Teoreem 6. (Mittevasturääkivuse teoreem) Sekventsiaalne predikaatarvutus on mittevasturääkiv. Tõestus. Tõestus on analoogiline lausearvutuse juhuga. Teoreem 7.(Täielikkuse teoreem) Kui sekventsi 1 , 2 , ... , G valemkuju on samaselt tõene, siis sekvents on tuletatav. Selle teoreemi tõestas austria loogik ja matemaatik Kurt Gödel aastal 1930. Omal ajal oli see matemaatilise loogika üks silmapaistvamaid tulemusi. Meie seda teoreemi käesolvas kursuses ei tõesta. Võrdusega predikaatarvutus. Sümmeetrilisuse ja transitiivsuse tuletamine võrdusega predikaatarvutuses. Korrektsus, mittevasturääkivus, täielikkus (neist viimane tõestuseta). Esimest järku aksiomaatilised teooriad. Teoreemid nende korrektsuse, mittevasturääkivuse ja täielikkuse kohta. Formaalne aritmeetika. Gödeli tulemused (mittetäielikkus, mittevasturääkivuse tõestamatus). Teoreem 8
filosoofiat teha ja mida seejuures taotleda. Iseloomulikud jooned: Mõistete selguse, väljenduste täpsuse, loogilise ranguse taotlus Argumentide esitamine Hämaramate teemade (eksistentsiaalne äng, eimiski jmt) ning mitmetähenduslikkuse vältimine 9. Filosoofia valdkonnad Tänapäeval üsna levinud jaotus: Teoreetiline filosoofia epistemoloogia, metafüüsika, vaimufilosoofia (philosphy of mind), keelefilosoofia ja loogika, teadusfilosoofia... Praktiline filosoofia poliitikafilosoofia, eetika, esteetika, õigusfilosoofia, haridusfilosoofia 10. Filosoofia üldised tunnused Üldisus Abstraktsus Kriitilisus, argumentatiivsus Mõistete selgitamine/analüüsimine 11. Abstraktsus: Bertrand Russell ,,Üks kasulik võte, mida õpetab filosoofia, seisneb kõikide probleemide teisendamises konkreetsest vormist abstraktsesse." (Kas Iisraelil on õigus rünnata enesekaitseks Iraani?)
ARISTOTELESE LOOGIKA Referaat Juhendaja: Tallinn 2012 SISUKORD 2 SISSEJUHATUS Logos, loogiline arutelu ulatub oma tähenduselt 'sõnast' kuni 'mõistuseni'. See on ratsionaalne hingeosa, millele vastandub alogon (mittearutlev). Loogika kuulub mõtlemisvõime ja intelligentsi juurde ning vastandub tundele. Selles töös räägin Aristotelesest, eelkõige tema käsitlusest loogikast. Loogika tähistab Aristotelesel pigem mõistuse omadust või võimet millegi juurde jõuda. Oma töös kasutan ma enamasti E. Salumaa ,,Filosoofia ajalugu I Antiikfilosoofia" raamatut, kus on minu arust kõige põhjalikumalt ja selgemalt kirjeldatud Aristotelsese loogika õpetust. Veel väga suureks abiks oli mulle W. Durant'i ,, Lood filosoofia ajaloost" raamat, sealt leidsin ka palju kasulikku ja huvitavat. Ülejäänud raamatudest, mis ma läbi töötlesin, sain võrreldes nende kahe raamatuga
(ideaalkeelefilosoofia Russell, Camap, varane Wittgenstein, tavakeelefilosoofia Austin, Ryle, hiline Wittgenstein), fenomenoloogia, pragmatism, marksism, (post)strukturalism, neotomism jne. Analüütiline filosoofia: mõistelise selguse, väljenduste täpsuse, loogilise ranguse taotlus, argumentide esitamine, hämarate teemada vältimine. FILOSOOFIA VALDKONNAD: teoreetiline filosoofia epistemoloogia, metafüüsika, vaimufilosoofia, keelefilosoofia ja loogika. prkatiline filosoofia poliitikafilosoofia Mis on riik? Milline on õige valitsemisvorm? eetika ehk moraalifilosoofia Mis on moraalselt õige käitumine? (N-eetika); Kas/mis tingimustel võib valetada? (N-eetika): Kas moraaliotsustused on tõeväärtusega? (M- eetika). esteetika ehk kunstifilosoofia Mis on ilu? Mis on kunst
annaabi.ee 
