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.
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
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;
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.
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
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
Argumentatsiooni (arutluse) komponendid Üldiselt: argumentatsioon on omavahel (loogiliselt) seotud väidete kogum, mille eesmärk on meid milleski veenda (nt mingi seisukoha õigsuses, mingi tegevuse soovitavuses. Just veenmine on komponent, mis eristab argumentatsioone ka teistest loogiliselt seotud väidetekogumitest: näiteks "Ma kihutan autoga sellepärast nii kiiresti, et mul on gaas põhjas" pole mitte argumentatsioon, vaid seletus. Väited Oma vormi poolest on väited subjekt-predikaat konstruktsioonid1: Subjekt see väite komponent mille kohta midagi väidetakse. Predikaat - see väite komponent, mida väidetakse. Oma sisu poolest jaotuvad subjekt-predikaat konstruktsioonid laias laastus hinnanguteks ja propositsioonideks. Propositsioon on väitelause mõte või sisu, mis saab olla tõene või väär. Nt ei saa olla tõene või väär väite "Lennart Meri on paha" sisu, kuna tegemist on hinnanguga. Hinnang
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 tõesuse korral. Vastasel juhul on arutlus induktiivselt nõrk. NT: Kolm kurti inimest ajaloos on olnud muusikaliselt andekad. Beethoven oli kurt. Beethoven oli muusikaliselt andekas. 7. Induktiivne ja deduktiivne teadusekäsitlus. Karl Popper. Karl Popper püüdis induktsiooniprobleemist mööda minna, väites, et induktsiooni otseselt
Loogika Sissejuhatus ja põhimõisted Peeter Müürsepp Klassikalise loogika põhiseadused 1) samasuse ehk identsuse seadus 2) vasturääkivusseadus 3) välistatud kolmanda seadus Aristoteles (384-322) 4) küllaldase 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
..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
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
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,
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
· 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;
Tänases loengus: Klassikaline ettekujutus aprioorsusest ning sellega seotud mõistetest Ayeri käsitus aprioorsuse mõistest Quine'i kriitika analüütilise-sünteetilise eristusele ning selle mõju aprioorsusele Mõned uuemad seisukohad aprioorsuse suhtes Enesestmõistetavad tõed Me peame teatud tõdesid (tõeseid väiteid) enesestmõistetavaks. Nt: "Kui kuusk on kõrgem kui pärn, siis pärn on lühem kui kuusk". Need väited on nn. enesestmõistetavad või ennast-ise- tõendavad (self-evident), nad ei vaja oma kehtivuseks tõendusmaterjali Mitte kõik enesestmõistetavad tõed ei pruugi olla vahetult ilmsed ("nõbudel on ühised vanavanemad"). Sageli on tarvis väidet tõestada, veendumaks, et tegemist on enesestmõistetava väitega. Aquino Thomas "Öeldakse, et iga propositsioon on iseendast enesestmõistetav, kui tema predikaat sisaldub tema subjekti
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.
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.
nende kehtivus ühegi filosoofilise teesi kehtivusest. Seda saaks kindlaks teha ainult vaatluse teel ja mitte puhtloogiliste kaalutlus- te kaudu, millele meie empirism toetub. Olles möönnud, et oleme empiristid, tuleb meil teha tegemist vastuväitega, mida tavaliselt esitatakse empirismile kõigis vormi- des; nimelt et empiristlike printsiipidega on võimatu ära seletada paratamatute tõdede teadmist. Sest nagu Hume otsustavalt näitas, ei saa ükski üldine propositsioon, mille kehtivust saab kindlaks teha tegeliku kogemuse abil, olla loogiliselt kindel. Ükskõik kui sageli seda ka praktikas verifitseeritaks, jääb ikka võimalus, et see millalgi edaspidi ümber lükatakse. See, et mingit seadust on kinni- tatud n - 1 juhul, ei anna mingit loogilist tagatist, et seda kinnitab ka juht n, ükskõik kui suureks me n-i peame. Ja see tähendab, et ühegi üldise propositsiooni puhul, mis osutab millelegi faktilise-
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 tõene täpselt siis, kui mõlemad tema osalaused on tõesed. Jüri õpib ja Mari õpib
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.
t. kategooriaid, mõisteid, mudeleid, mõtlemise ja tegutsemise viise ning iseäranis seda, kuidas need üksteisega põrkuvad - Nietzsche: “„Filosoofia, nii nagu mina teda siiani mõistnud ja elanud olen, on vabatahtlik elu jääs ja kõrgmägedes – võõra ja küsitava otsing olemises, kõige selle otsing, mis püsinud moraali põlu all.“ FILOSOOFIA ALAJAOTUSED - Epistemoloogia: mis on teadmine ja tõde? (keskne probleem epist.) Kas teadmine sub. või objektiivne? Mida on võimalik üleüldse teada? - Ontoloogia: mis on tõeliselt eksisteeriv ja mis pelgalt näiline? Mis on kõige oleva fundamentaalsemad printsiibid? - Eetika ja poliitiline filos.: kuidas on parim viis elada? Kas moraalsed tõed on universaalsed ja igavesed/ relatiivsed ja muutuvad
VANALINNA HARIDUSKOLLEEGIUM Erle Maido XI kl. ARISTOTELES Referaat Tallinn 2012 Sisukord Aristotelese elulugu ................................................................................................................ 2 Aristotelese loogika ................................................................................................................ 5 Aristotelese õpetused .............................................................................................................. 8 2 Aristoteles
Referaat Kurt Gödel 18.05.2013 Sisukord: · Sissejuhatus · Loogika · Elulugu · Viini ring ja Kurt Gödel · Gödel Princetoni perspektiivsete uuringute instituudis. · Gödeli täielikkuse ja mittetäielikkuse teoreemid · Kokkuvõte · Kasutatud allikad Sissejuhatus. Selles referaadis annan teile ülevaate loogikast ja ühest Austria-Ameerika loogikust, matemaatikust ja filosoofist, Kurt Gödel'ist. Loogika Loogika on teadus, mis uurib mõtlemise reegleid. Loogikat peetakse ka veel mõtlemismudeliks.
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
I Loe läbi Hallapi tekst ning vasta lühidalt järgmistele küsimustele: 1. Mis on argument ning mis osadest see koosneb? Argumentatsiooniteooria määratleb argumendi kui mõtlemisstruktuuri, mis koosneb teesist ja põhjendusest. Teine, sisult samaväärne võimalus on öelda, et argument on kogum väiteid, kus ühtedest väidetest (eeldustest) järeldatakse teised (järeldused). 2. Mis on lihtargument ning kuidas nendest moodustub ahel? Nimetatakse ka järeldusvormiks, mis koosneb eeldustest ja järeldusest. Lihtvormid põimitakse arutluses omavahel kokku loogilisteks järeldusahelateks, nii et ühe lihtargumendi järeldusest saab järgmise argumendi eeldus. 3. Mis vahe on ahelpõhjenduste ja paralleelpõhjenduste vahel? Ahelpõhjenduste puhul toimub arutluse käigus pidev kulgemine piki ühtainsat loogilist liini. Paralleelstruktuur tekib siis, kui ühe teesi kaitseks argumenteerime mitmel loogiliselt sõltumatul alusel. 4. Kuidas teha vahet argumendil ja sel
püstitada küsimus: kas see on möödapääsmatult vajalik või vähemalt otstarbekas. Kõnesoleval juhtumil vana (otsustus) pole sedavõrd "amortiseerunud", et see nõuaks asendamist uuega (arutlus). Struktuurist. Otsustus on mõte, milles subjekt on jaatavalt või eitavalt seotud predikaadiga. Antud definitsioonis Ilmar Lilleorg Loogika vihik 2006 sisalduvad otsustuse struktuuri põhilised koostisosad e. elemendid subjekt ja predikaat. Subjektiks nimetatakse mõtte elementi, mida iseloomustab /või ei iseloomust/ teatud predikaat. Sõnal "subjekt" on mitmeid erinevaid tähendusi. Keeleteaduses on subjekt (ld.k. - subjectum) lauses aluseks, predikaat (ld.k. - predicatum) - seevastu öeldiseks. Loogikas neid sõnu ei tõlgita
Õ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,
pikaajaliseks säilitamiseks (kõvaketas, flopid 1.Operatsioonisüsteemi tuuma funktsioonid: operaator Radiolinja Soomes). jne).Välisseadmed - monitor, klaviatuur jne. Turing ressursside haldamine (mälu, protsessor, 1879 Kaasaegse loogika alus: Gottlob machine - lihtne teoreetiline masin. Alan Turingi seadmed),protsesside haldamine, võrguliides ja Frege(öloob kaasaegse predikaatarvutuse). 1993 NCSA Mosaic 1.0 I popp avalikult idee, milline võiks olla lihtne universaalne arvuti: võrguprotokollid,turvalisuse garanteerimine.
1981 – I kaasaskantav arvuti(Osbourne I);IBM (eeldustest) järeldub paratamatult uus väide. INTEGER; Aristotelese puhul alati kaks kategoorilist eeldust, 1800 Perfokaardid, Jacquard, 5150 PC ja cga graafikakaart(16 värvi), 32000 – VAR sum,i:INTEGER; üks kategooriline järeldus. Stoikud: lausearvutus esimene 32-bit prose (National Semiconductor) BEGIN - Stoikud uurisid, kuidas saab loogiliste sidesõnade
T.Hales- 1) Filosoofia omapära: 2) Filosoogia osad: - Metafüüsika- Olemise lähteprintsiipide ja algpõhjuste uurimine. - Epistemoloogia- Tunnetusõpetus - Loogika- 3) Tunnetus ja teadmine - Tunnetus- protsess, mille tulemuseks on teadmised. - Empirism- Teadmine= kogemus + mõistus - Ratsionalism- Mõistus + kogemus 4) Keele ja mõtlemisega vahekord: 5) Teadmiste liigid: 6) 1. Mis on ja mida uurib epistemoloogia? Epistemoloogia on tunnetusõpetus. Temaga seostuvad järgmised probleemid: - Mis on teadmine? - Mis on teadmise allikad? (meel, mõistus, inuitsioon, ilmutus vms.) - Kuidas eristada näilisest teadlikkusest? - Mis on tõde? Epistemoloogia üks valdkond on teadusfilosoofia. 2. Mis on empirism? Too välja ka empirismi nõrgad küljed. Seisukoht, mille järgi kõik teadmised pärinevad kogemustest, mõistus on vaid abivahend järelduste tegemisel.
Üldisemal kujul kõlagu väide p järgmiselt: väide p on väär. Tuleb välja, et väide p on tõene siis ja ainult siis, kui väide p on väär. Tarski järgi tulenevad "valetaja"-tüüpi antinoomiad (kr antinomia `vastuolu seaduses`) kahe asjaolu koostoimest. 1. Me kasutame semantiliselt suletud keelt, s.o. keelt, milles saab moodustada nii väljendeid kui ka nende väljendite nimesid, ning mis sisaldab ka semantilisi termineid nagu tõene jne. 2. Me eeldame loogika põhiseaduste kehtivust. Seega tuleb Tarski arvates loobuda sellisest keelest mida ta nimetab semantiliselt suletuks.4 Kuigi tõe korrespondentsiteooria on kõige lähedasem tavaarusaamale tõest ei saa seda alati rakendada. Esiteks, üldväidete puhul on võimatu kindlaks teha, kas väide on vastavuses tegelikkusega või mitte.5 Üldväiteid ei saa verifitseerida. Teiseks, vastavusest tegelikkusele ei saa rääkida väidete puhul mineviku ja tuleviku kohta,
Tänapäeva analüütiline filosoofia tegeleb ka paljude muude probleemidega, mitte ainult keelega. Analüütilise filosoofia iseloomulikud jooned: taotleb mõistelist selgust, väljenduste täpsust, loogilist rangust argumentide esitamine hämarate teemade (äng, eimiski) ja mitmetähenduslikkuse vältimine Filosoofia valdkonnad Tänapäeval põhiline jaotus: 1. Teoreetiline filosoofia: epistemoloogia – teadmine, uskumine metafüüsika – mis tüüpi asjad on olemas? võib haakuda teoreetilise füüsika küsimustega vaimufilosoofia – inimteadvuse ja psühholoogiaga seonduv, teadvuse ja aju vahekord, kas teadvus on iseseisev? keelefilosoofia – mis on tähendus? kuidas sõnad osutavad asjadele? loogika teadusfilosoofia 2.Praktiline filosoofia (võib nii nimetada mööndustega, sest on harva päris praktiline,