Leidsid 33 sarnast õppematerjali, mis on seotud failiga "Loogika kodutöö 1". Need materjalid aitavad sul teemat sügavamalt mõista.
korrektne, eelduste, lauseid, eeldusiKodune töö nr 1 Kas väide on tõene või väär? 1. Korrektne arutlus peab olema kehtiv. tõene 2. Kehtivus on lausete omadus. väär 3. Kui lausehulgas pole vääri lauseid, siis on see hulk kooskõlaline. tõene 4. Arutlus, mille järeldus on väär, peab kehtima. väär 5. Deduktiivselt kehtiva arutluse järeldus ei saa olla väär. väär 6. Deduktiivselt kehtival arutlusel ei saa olla vääri eeldusi. väär 7. Tõeste eeldustega kehtiv arutlus peab olema korrektne. tõene 8. Tõeste eelduste ja väära järeldusega arutlus võib olla kehtiv. väär 9. Deduktiivselt kehtival arutlusel võivad olla väärad eelsused ja väär järeldus. tõene 10. Kõik tõeste järeldustega arutlused on kehtivad. väär
14.02.2017 Kodune töö nr 1 Hinne: 100/100 Kas väide on tõene või väär? 1. Korrektne arutlus ei pruugi olla kehtiv. - VÄÄR 2. Kehtivus on lausehulga omadus. - VÄÄR 3. Kui lausehulgas pole vääri lauseid, siis on see hulk kooskõlaline. - TÕENE 4. Arutlus, mille järeldus on tõene, võib olla kehtiv. - TÕENE 5. Deduktiivselt kehtiva arutluse järeldus ei saa olla väär. - VÄÄR 6. Deduktiivselt kehtival arutlusel ei saa olla tõeseid eeldusi ja tõest järeldust. - VÄÄR 7. Tõeste eeldustega kehtiv arutlus peab olema korrektne. - TÕENE 8
Kui lause on väär, siis selle lause tõeväärtus on V. Arutlused Arutlus on lausehulk, mille üks liige (järeldus) arvatavalt tuleneb ülejäänutest (eeldustest). Igaüks, kes kõvasti töötab, saavutab edu. Jaan töötab kõvasti. Jaan saavutab edu. Deduktiivne kehtivus Arutlus on deduktiivselt kehtiv parajasti siis, kui ei ole võimalik, et tema kõigi eelduste tõesuse korral on järeldus väär (st ei ole võimalik kooskõlaliselt jaatada tema eeldusi ja eitada järeldust). Vastasel juhul on arutlus deduktiivselt mittekehtiv. Näited Iga kurt on muusikaliselt andekas. Beethoven oli kurt. Beethoven oli muusikaliselt andekas. Iga indialane on budist. Igal budistil on kaks pead. Beethoven oli indialane. Beethovenil oli kaks pead. Deduktiivselt kehtival lausel võib olla kõik eeldused ja järeldus tõesed üks või rohkem väära eeldust ja tõene järeldus üks või rohkem väära eeldust ja väär järeldus
Arutlused Arutlus on lausehulk, mille üks liige (järeldus) arvatavalt tuleneb ülejäänutest (eeldustest). Igaüks, kes kõvasti töötab, saavutab edu. Jaan töötab kõvasti. Jaan saavutab edu. Deduktiivne kehtivus Arutlus on deduktiivselt kehtiv parajasti siis, kui ei ole võimalik, et tema kõigi eelduste tõesuse korral on järeldus väär (st ei ole võimalik kooskõlaliselt jaatada tema eeldusi ja eitada järeldust). Vastasel juhul on arutlus deduktiivselt mittekehtiv. Näited Iga kurt on muusikaliselt andekas. Beethoven oli kurt. Beethoven oli muusikaliselt andekas. Iga indialane on budist. Igal budistil on kaks pead. Beethoven oli indialane. Beethovenil oli kaks pead. Induktiivne tugevus Arutlus on induktiivselt tugev parajasti siis, kui tema järeldus on tõenäoliselt tõene eelduste tõesuse korral.
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 võivad olla vägagi ratsionaalsed. Intuitsioonile tuginev irratsionaalne mõtlemine ehk intuitiivne mõtlemine võib olla mõnes olukorras isegi efektiivsem kui loogiline mõtlemine,
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 kõne väljendab) ka seda, kui süsteemselt kõnelejal õnnestub oma m�
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; • loogika kui teadus (õpetus, filosoofia vms), mis uurib keeles väljenduva mõtlem
MIS ON FILOSOOFIA (Isiah Berlin) - Uurimisvaldkonna paistab määravat ära nende küsimuste iseloom, millele vastuste leidmiseks vastavad valdkonnad on loodud. - Sõnastada küsimused nii, et nad oleks vastatavad kas empiirilisel formaalsel (st teatavaid formaalseid tehnikaid järgides) teel. - Filosoofia ülesanne on tuua päevavalgele need peidetud mudelid ja kategooriad, mille abil inimesed mõtlevad, isegi teadused. - Immanuel Kant: filosoofia tegeleb muutumatute kogemuse struktuuride uurimisega, filosoofia kui tunnetusteooria. - Isiah Berlin: „Filosoofide jääv ülesanne on käsitleda kõike seda, mis ei tundu haaratav teaduslike meetodite või igapäevase vaatluse abil, s.t. kategooriaid, mõisteid, mudeleid, mõtlemise ja tegutsemis
Igaüks, kes loeb igal hommikul horoskoopi, võtab astroloogiat tõsiselt. 5. Arutluste deduktiivne kehtivus ja korrektsus. Too näiteid. Arutluse deduktiivsus kehtib siis, kui ei ole võimalik, et tema eelduste tõesuse korral järeldus on väär. NT: Iga kurt on muusikaliselt andekas.Beethoven oli kurt. Beethoven oli muusikaliselt andekas. Iga indiaanlane on budist. Igal budistil on kaks pead. Beethoven oli indialane. Beethovenil oli kaks pead. Arutlus on deduktiivselt korrektne siis, kui see arutlus on deduktiivselt kehtiv ja tema kõik eeldused on tõesed. NT: Tallinn on Eesti pealinn. Eesti pealinn asub riigi loodeosas. Tallinn asub Eesti loodeosas. C-vitamiin aitab külmetuse vastu. C-vitamiin ei aita külmetuse vastu. C-vitamiin on kasutu. Viimane näide ei ole deduktiivne, eeldusi ei saa korraga jaatada. 6. Arutluse induktiivne tugevus. Too näiteid. Arutlus on induktiivselt tugev parajasti siis, kui tema järeldus on tõenäoliselt tõene eelduste
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 Kui mingis arutluses peetakse tõeseks kaht väidet, millest üks jaatab seda, mida teine eitab, siis öeldakse, et arutlus on vasturääkiv. ! ! Arutlus pole loogiliselt korrektne, kui omavahel vastuolus olevaid väiteid mõlemat jaatatakse ! ! või eitatakse. ! D1.4. Välistatud kolmanda seadus Kahest väitest, millest üks jaatab seda, mida teine eitab, on üks tõene ja teine väär. Alati. ! ! Kui üks väide ütleb JA ja teine sama asja kohta EI, siis üks nendest väidetest on 100% alati ! ! tõene ja teine 100% alati väär. Nt laused “Prantsusmaa kuningal on pikad küüned” ja selle !
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 Kui mingis arutluses peetakse tõeseks kaht väidet, millest üks jaatab seda, mida teine eitab, siis öeldakse, et arutlus on vasturääkiv. ! ! Arutlus pole loogiliselt korrektne, kui omavahel vastuolus olevaid väiteid mõlemat jaatatakse ! ! või eitatakse. ! D1.4. Välistatud kolmanda seadus Kahest väitest, millest üks jaatab seda, mida teine eitab, on üks tõene ja teine väär. Alati. ! ! Kui üks väide ütleb JA ja teine sama asja kohta EI, siis üks nendest väidetest on 100% alati ! ! tõene ja teine 100% alati väär. Nt laused "Prantsusmaa kuningal on pikad küüned" ja selle !
(Näiteks Willard Van Orman Quine samastas induktiivset loogikat epistemoloogiaga.) Loogika valdkonda kuuluvad probleemid huvitavad epistemoloogiat siiski üksnes niivõrd, kui nad aitavad lahendada teadmise olemuse, võimalikkuse ja päritolu probleemi. Karl Popper väitis, et ainsad head arutlused on kehtivad arutlused. Kehtetud arutlused (sealhulgas kõik kehtetud induktiivsed arutlused) on kõik ühtviisi halvad. Arutluse induktiivne tugevus ei tee arutluse eeldusi tema järelduse heaks põhjendiks. Seetõttu ei tuleks teadusel mitte niivõrd otsida hüpoteesidele tõendusmaterjali, vaid püüda hüpoteese ümber lükata, näidates katseliselt, et neil on väärad deduktiivsed järeldused. Arutluse induktiivne tugevus sõltub taustteadmisest. Seetõttu on süstemaatilise induktiivse loogika võimalikkus problemaatiline. Erinevalt kehtivusest ei ole induktiivne tugevus seostatav lausete vormiga.
tõesed väited, aga paratamatult tuletatud järeldus on väär. Kehtiv arutlusvorm garanteerib tõeste eelduste puhul tõese järelduse ning on loogika seisukohalt seaduspärane. Arutlus ei ole kehtiv (või on mittekehtiv ik invalid) siis, kui antud vormi järgi arutledes ei paratamatu, et me saame tõestest eeldustest tõese järelduse. St, et arutlus ei ole loogika seisukohalt seaduspärane. Arutlus on korrektne (ik sound) siis ja ainult siis, kui ta on kehtiv ning kõik tema eeldused (ja järeldus) on tõesed väited. Eesti keeles on kasutatud terminit õige arutlus kehtiva arutluse kohta ja vale ehk vigane arutlus mittekehtiva kohta. Õige arutlus võib olla sellise terminoloogia järgi ebakorrektne ehk väär, kui eeldused pole tõesed. Termin tõene arutlus on olnud kasutuses korrektse arutluse sünonüümina. Selguse mõttes nõuan ma meie kursuses sellise terminoloogia järgimist, kuigi
.."; "järelikult", "siit ka", "Seega", "Võib järeldada, et...", "Niisiis", "see tõestab", "see kehtestab", "see näitab, et", "kui A siis B", "kuna A, siis B" jne. Samas tuleb osutada, et alati ei viita sedatüüpi sõnad ilmtingimata arutlusele: "Kui Mari käib korralikult trennis, siis Jüri pigem logeleb". 6) Eeldused ja järeldused võivad olla vaikimisi. Sageli ei esita reaalsed tekstid kõiki oma eeldusi selgelt, vaid eeldavad, et lugeja teab neid juba ise: "See loom ei saa olla imetaja, kuna ta on kala." (Siin on sees varjatult eeldus: "Ükski kala ei ole imetaja"). Arutluse rekonstrueerimisel tuleks sõnastada ka need varjatud eeldused. Rekonstrueerime järgmise arutluse. Kõigest hoolimata suutis Bill Clinton hoida USA majanduse tugevana ning minu meelest on ta kõigest hoolimata edukas president.
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. Olgu antud süllogism: „Kui kana ei mune, siis ta ei kaaguta. Kana kaagutab, seega ta muneb.“ Millise süllogismi moodusega on tegu? Kehtiv modus tollens 9. Milline allpool toodud operaatoritest on aleet
mõistet või on üks mõiste kahe erineva tähendusega. Vastus saab olla üks mõisteid on kaks, kuid nende kahe mõiste sõnaline kandja on üksainus. Selle mittemõistmisest või väärtõlgendusest on tekkinud sofismid (V saj. e.m.a.). Sofism sõnade mitmetähenduslikkusest tingituna ja teadlikult (või ebateadlikult) samasuse reeglit (põhilauset) eirates tahtlikult vääradele eeldustele rajatud pettejäreldus, mis võib olla vaid näiliselt korrektne (õige). Inimese tavamõtlemises esineb sellelaadseid vigu keerukamate mõistete kasutamisel, nagu näiteks, "õigus", "õiglus", "moraal", "kõlblus", "eetilisus", "voorus", "ühiskondlik kord", "ühiskondlik korratus" jt.juhul, mil nende tähendus on arutlejale vaid ligilähedaselt aimatav ja mille tõlgendamises ta võib eksida. Kuid kuna puudub tahtlus väärtõlgenduste esitamiseks, siis noil juhtudel on tegemist eksimusega. Sofismidega oleks
LOOGIKA KODUNETÖÖ NR.2 TASB21 1.Kas lause on tõeväärtuseliselt tõene, väär või määramata? A B ¬((AB) ((BA)v¬A)) t t v t t t t v t v v v t t t v v t v v t v t t v v v t t t t t Lause on tõeväärtuseliselt väär. 2.Kas laused on tõeväärtuseliselt ekvivalentsed? (P&~Q)v(~P&Q) P~Q P Q (P&~Q)v(~P& P~Q Q) t t v v v v v v v t v t v t v t t v v t v v t t t v t v v v t v t v t v Laused on tõeväärtuseliselt ekvivalentsed. 3.Kas hulk on kooskõlaline? P Q (P~ Q) ~ ~ (Pv~ Q Q) t t v v t v v t v t v t t t t v t t v t t v v v t v v v v t t t t v t t Hulk ei ole kooskõlaline. (Kui kõik punased tähed oleks T, siis oleks kooskõlaline.) 4.Kas arutlus kehtib? P Q R P(QR R~
1_fl_i-v L1. SISSEJUHATUS Mõtlemine on käsiteldav kui igasugune aktiivne vaimne protsess. Tulemuslikku mõtlemist iseloomustab abstraheerimine, analüüs ja süntees. Mõtlemisvahendite põhjal võib seda jaotada · kaemuslik-motoorne, · kujundlik · sõnalis-loogiline (verbaal-loogiline). Sõnalis-loogiline mõtlemine tugineb mõistetele. Verbaalne mõtlemine avaldub inimese oskuses ... · opereerida mõistetega, neid võrrelda ja analüüsida; · püstitada hüpoteese, formuleerida kontseptsioone ja teooriaid; · 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 ol
Ülesanne 1 ,,Laused ajalehe artiklitest" Järeldus on allakriipsutatud tekst, arutlus on ilma allakriipsutuseta. Teetööde auto murdus keskelt pooleks Pärnu postimees, 08.02.2011 Täna pärastlõunal murdus Pärnus Papiniidu tänaval pooleks aktsiaseltsile BaltiFalt kuuluv teetööde auto. ,,Ilmselt olid autoraamis praod, mida me enne ei märganud," ütles AS BaltiFalti Pärnu piirkonna juht Kaido Tamm. Indrek Sirk: helkuri kõikjal kohustuslikuks muutmine on absurdne Eesti Päevaleht, 08. veebruar 2011 Liiklejate lahususe põhimõte on väga oluline, jalakäija ei tohi üldjuhul üldse sõiduteel liigelda, välja arvatud siis erandtingimustel. Näiteks tänavuse talve liiklustingimusi võib pidada erandlikeks, kuna jalakäija ei saagi teepeenral liigelda. Enamik kaupmehi pole pakendite tagasivõtmise kohustusest kuulnudki Tarbija 24, 09.02.2011 Nagu välja tuleb, ei tea paljud inimesed, et nad võivad tühjaks söödud juustukarbi või makaronipaki viia täiesti t
Loogikafunktsioonid
Andmed Valem Tulemus Funktsioon
Loogikatehted:
AND
Iirised 0,6 OR
Karamellid 0,5 NOT
Iirised 0,45
TÕENE TÕENE =AND(A15
Kodune töö nr. 2 1. Kas lause on tõeväärtuseliselt väär, tõene või määramata? (( A ≡ B) ((B A) v A)) A B ((A ≡ B) ((B A) v A)) t t v t t t t v t v v v t t t v v t v v t v t t v v v t t t t t Vastus: Lause on tõeväärtuseliselt väär. 2. Kas laused on tõeväärtuseliselt ekvivalentsed? (P & ~Q) v (~P & Q) P ≡ ~Q P Q (P & ~Q) v (~P P & Q) ≡ ~Q t t v v v v v v v t v t t t v t
3.11.2009 Tauno Õunapuu 2009 Õppejõud Tauno Õunapuu Haridus Tartu Ülikooli matemaatika-informaatikateaduskond teadusmagister, MSc, 1994, "Õpiprogrammidesse sobiva automaatse teoreemitõestaja konstrueerimine" Tegevus Mainori Kõrgkoolis teoreetilise informaatika dotsent arendus- ja finantsprorektor 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üstee
üksteisest. Näiteks: Inimestel on võimatu pidevalt elada pea alaspidi. Järelikult ei ole Austraalias võimalik elada. Paradoks- On tavaliselt üldtunnustatule vasturääkiv, näilikult mõistusevastane väide. Küsimus on selline lause, mis sisaldab määramatuse momenti ja selle kõrvaldamise nõuet. Näiteks: Kes meist ei armastaks head elu? - ei ole küsimus. Nimetage kõike Euroopa Liidu liikmesriigid! - on küsimus. Loogiliselt korrektne küsimus peab vastama kolmene põhinõudele: semantilisele, süntaktilisele ja pragmaatilisele nõudele. Semantika uurib sõnade ja lausete mõttelist, tähenduslikku külge. Küsimusel peab olema esemeline sfäär. See selgub vastusest kas? küsimusele. Kui vastus on jaa peab saama seda ka põhjendada. Eituse korral on küsimus mõttetu või provokatsiooniline Näiteks: Mis oli I. Kanti naise nimi? I. Kant ei olnud aga abielus.
Kaks viisi: Jaatav moodus – modus ponens. Aluse jaatus viib tagajärje jaatusele P -> q kui vihma sajab, siis on tänav märg. P vihma sajab Q tänav on märg (p->q) & p |- q Eitav moodus – modus tollens. Tagajärje eitus viib aluse eitusele (P -> q) & -q |- -p Tagajärje jaatus AC – tagajärje jaatusest ei saa järeldada ei aluse jaatust ega eitust. Kui alus on tõene, siis on tõene ka tagajärg. Tõeste eelduste korral võib alus olla kas tõene või väär. Aluse eitus DA – aluse eitusest ei saa järeldada ei tagajärje eitust ega ka mitte tagajärje jaatust. Liigitav – kategooriline süllogism – see mis kehtib üldosa kohta, peab kehtima ka konkreetsete osade kohta. Disjunktiivne süllogism Dilemma Üks eeldus sisaldab tingivaid lauseid ning teine eeldus on seotud indikaatorsõnaga VÕI. Lihtne välistav jaatav moodus
analüüsimisega. Antinoomia-võrdväärsetest eeldustest tulenevad vastuolulised järeldused. Antropomoftsism- inimese omaduste omastamine, millegi mitteinimlikule, nt ilmastinähtustele. Deduktsioon-järeldus üldiselt üksikule Induktsioon- järeldus üksikult üldisele Determinism- seisukoht, et miski ei saa toimuda teisiti, kui see tegelikult toimub Eeldus- arutluse lähtepunkt. Iga arutlus peab lähtuma vähemalt ühest eeldusest ja seetõttu ei saa ta eeldusi tõestada. Eetika- filosoofias käsitlus sellest, milline on õige eluviis: puudutab kõlbelisi ehk moraalseid küsimusi nagu nt mis on halb ja mis on hea. Eksistentsialism- filosoofiline ja kirjanduslik vool Emotiivne- emotsioone väljendav Empirism- õpetus, mille kohaselt peavad teadmised tulema kogemuse kaudu Esteetika- kunsti filosoofia Estetism- millegi vaatlemine seisukohalt, et vaatlusobjekt on eesmärk iseeneses ja mitte vajend millegi muu jaoks Falsifitseeritavus- tõestatav väide
Ilmar Lilleorg Loogika vihik 2001 SISSEJUHATUS LOOGIKA on õpetus ehk teadus mõtlemise vormidest ja reeglitest. Loogika täpsustab mõtlemist, teeb selle üheksmõistetavaks, korrigeerib mõtlmist, täpsustab seda üle Loogika käsitleb mõtlemist, arutlust. Võrdluseks: keeleteaduses grammatika vormid ja reeglid tagavad õigekirja; loogikas - õige mõtlemise. Loogika on mõtlemise grammatika. ARISTOTELES (384-322) on ühe-mehe-tööna kirjutanud loogikaõpetuse üldpealkirjaga "ORGANON" (tõlkes: vahend, tööriist). Valdavalt on see jäänudki loogika üldkursuse aluseks. Mõtlmine on spetsiifiline vaimne tegevus, millel on loominguline iseloom ja mille objektiks on tegelik ja/või kujuteldav maailm. M�
midagi argumenteeritakse, argumendid, väited, mille abil argumenteeritakse. Argumentide ja teesi vahel võib olla seos induktiivne ja deduktiivne.14 Induktiivse seose puhul tõesed argumendid ainult kinnitavad teesi tõepärasust ( vähemalt selle silmis, kes argumenteerib). Deduktiivse seose puhul on tõeste eelduste puhul ka tees tõene. Sellist argumentatsiooni nimetatakse demonstratiivseks. Argumentatsiooni eriliik on tõestus. Tõestust on loogiliselt korrektne argumentatsioon, mis tugineb tõestel eeldustel (argumentidel). Aga kes garanteerib argumentide tõesuse? Võidakse vastu vaielda: kui argumentideks võtta faktid, siis on ju argumentide tõesus garanteeritud.15 Selline vastuväide on aga puudulik vähemalt kahel põhjusel. Esiteks, ainult faktidele võib tugineda induktiivne arutlus, kuid induktiivne argumentatsioon ei garanteeri tõest järeldust. Mitte ükski demonstratiivne argumentatsioon ei saa tugineda ainult faktidel
(Def 1. Tuletuseks ehk formaalseks tõestuseks nim valemite jada 1 , 2 , ... , , milles iga valem on kas aksioom või saadud mingi tuletusreegliga mõnedest temale eelnevatest valemitest. Valemist F nim tuletatavaks, kui leidub tuletus, mille viimane liige on valem F) Sekventsiaalne lausearvutus. Tuletamine lausearvutuses. Eesmärk on formuleerida lausearvutuse jaoks aksiomaatika, mis on korrektne ja täielik samaselt tõesuse semantika suhtes. Kasutame Gentzeni-tüüpi süsteemi, mis vastab matemaatiliste väidete tõestamisel esinevatele arutluskäikudele paremini kui ajalooliselt vanemad Hilberti-tüüpi süsteemid. Lugeda lk. 88-96 Lausearvutuse korrektsus, mittevastusrääkivus (tõestustega). Teoreem 1. (korrektsuse teoreem) Kui sekvents 1 , 2 , ... , G on tuletatav, siis tema valemkuju on samaselt tõene. Tõestus lk. 91 Teoreem 2
Sotsiaalpsühholoogia Roll roll on normatiivselt heakskiidetud käitumisviis. Rollikonflikt rolinõudmised lähevad vastuollu. Staatus inimese koht sots.süsteemis. Rol kui staatuse dünaamiline aspekt. Tänapäeval on rollid omandatud, feodaalühiskonnas oli ka sünnipäraseid rolle. Ühel momendil saab inimene olla ainult 1 rollis. Rollivaba käitumine? Magamine, söömine, jne. Rollli kolm aspekti · Roll kui ootuste süsteem selle isiku suhtes, kes seda kohta täidav · Rol kui sellel kohal asuva inimese ettekujutuste süsteem · Blabla Rollid jagunevad ametlikeks ja mitteametlikeks. Rolli internaliseerimine . sellle omaksvõtmine. 7 astet · Zimbardo vanglaeksperiment rollide internaliseerimise kohta näiyas, et see protsess on üllatavalt kiire. Üliõpilased kuu aega olid raha eest vangid ja vangivalvurid. Tuli katkestada 2 nädala lõpul, sest vangid polnud nõus enam jätkama. Vangivalvurid elasid liialt sisse. Identiteet sot
röövel näitab nuga, see sõnastab selgelt et anna raha ja mobiil siia). Argumendi mõtte osaks on esitusviis. Argument peab olema informatiivne, esitades midagi uut. Argumedi struktuur kannab kahesugust teavet: eeldustega kinnitatavast ja nendest tuletatavat. Informatsioon on kvantitatiivne ja kvalitatiivne. Argument peaks olema selge ja veenev, loogilise struktuuriga. Kui üksik väide ei toimi varjatud eeldustega järeldusotsusena, siis ei ole see argument. Varjatud eeldusi ei tohi juurde ise mõelda. Esitusviisi juures tuleb esitada kriitiline küsimus: kas tegemist on tõlkega? Näide: iseenda valitsemine on suurim võit. Vaikiv eeldus on, et iseenda valitsemine on ilmselt raske. Psühholoogiale saab anda uurimisülesande, kas iseenda valitsemine on siis raske või mitte, empiiriliselt uuritav. 5. Mille järgi saab argumente tuvastada? Mis on argumendi indikaatorid? Kuidas argumente „analüütiliselt“ tuvastada (kaks põhimeetodit)?
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
kindlat juhist ei ole võimalik anda. Tuleks kasutada sama ümberpööramise meetodit, et otsustuse tähendusest oleks võimalik aru saada predikaadi mahtu. Näiteks, Mõned üliõpilased õppivad loogikat (S- i P-), ümberpööratuna: Mõned loogikat õppivad on üliõpilased (P- i S-). Kuid Mõned inimesed on vaesed (S- i P+), ümberpööratuna: Kõik vaesed on inimesed (P+ a S-), mitte aga Mõned vaesed on inimesed (P- i S-). Terminite mahuliste iseärasuste korrektne käsitlemine on eelduseks mõtte täpsele formuleerimisele nii defineerimisel kui ka järelduse sõnastamisel. 4 Ilmar Lilleorg Loogika vihik 2006 3.3. Otsustuse eitamine.
) 1. Kui meil on võimalik elusolendile valu põhjustamist vältida, siis peame seda tegema. Meil ei ole alati võimalik valu põhjustamist vältida. Järelikult me ei pea alati valu põhjustamist vältima. E1:Kui meil on võimalik elusolendile valu põhjustamist vältida, siis peame seda tegema E2: Meil ei ole alati võimalik valu põhjustamist vältida. J: Me ei pea alati valu põhjustamist vältima. Aluse eitamine. Ei ole kehtiv. Kuna ei ole kehtiv siis ei ole korrektne. Deduktiivne, kuna ei tee üldistusi. Kuidas võiks argumente kritiseerida? Järelduses puudub tingimus ,,millal?" ehk siis järelduses puudub eeldus, et valu põhjustamist ei pea vältima, juhul kui see on võimatu. [See kriitika jääb segaseks, aga muu jutt on õige.] 2. Mis on tegelikult olemas, on ka võimalik. Ruudukujuline ring pole võimalik. Järelikult pole ruudukujulist ringi tegelikult olemas. E1: Kui on olemas, siis on võimalik. E2: Ruudukujuline ring pole võimalik
annaabi.ee 
