Disjunktsioon Millist muutujat nimetatakse seotud muutujaks ja millist vabaks muutujaks? Muutujad, millele on rakendatud kvantorit, nimetatakse seotud muutujaks. Kvantorimärgiga mitteseotud predikaatmuutujaid nimetatakse vabadeks muutujateks. Mida tähendab hüüumärgiga eksistentsikvantor? Tähendab, et leidub täpselt üks. Millal on kaks predikaati võrdväärsed? Predikaadid on võrvdväärsed, kui nende tõeväärtuspiirkonnad langevad kokku. Mida nimetatakse loogikaseadusteks? Loogikaseadused on kuni kolme operandiga lihtsaimad samaselt tõesed lausearvutusvalemid ja samaselt tõesed lausearvutusvalemite võrdused. Õpi Loogikaseadused selgeks!(LK 22-23) Milline binaarne loogikatehe ei ole kommutatiivne. Selleks peaks olema implikatsioon. Millist avaldise teisendusvõimalust esitab distributiivsusseadus? Sulgude ette toomist. Millise loogikaväärtusega disjunktsioon ei muuda avaldise väärtust? 0 väärtuse puhul?
Millega Diskreetne Matemaatika tegeleb ? T Ü Mõiste "diskreetne" on teisiti väljendatav sõnadega"mitte pidev" ehk Diskreetse matemaatika alla kuuluvad: T "astmeline". Järgnev joonis illustreerib mõisteid pidev ja diskreetne: — Loogika Lausearvutus. Loogikatehted. Loogikaseadused. Predikaadid. Tõestusmeetodid k a — Hulgad i Hulgaalgebra (Cantori algebra). Hulgaaritmeetika n
Empirism: teadmine lähtub meelelisest kogemusest. · John Locke, An Essay Concerning Human Understanding, 1690. Objekt-taju(sensation)-lihtidee-liitidee · David Hume, An Enquiry about Human Understanding, 1748. Objekt- taju( impression)-tajude koopiad-ideed 8. Milline on ratsionalistlik seisukoht epistemoloogias? Millised filosoofid on ratsionalistlikul positsioonil? Kuidas me mingi teadmiseni jõuame? Ratsionalism: teatud asju (õigluse printsiibid, loogikaseadused, asjade olemused) ei ole võimalik meeleliselt kogemusest tuletada. Nende asjade teadmiseni jõutakse intellektuaalse intuitsiooni vahendusel. · Platon: anamnesis · Descartes: selge ja distinktne mõtlemine. 9. Millised on Immanuel Kanti transtsendentaalse teooria epistemoloogilised seisukohad? 1781 Puhta mõistuse kriitika: Mis teeb teadmise võimalikuks ehk, millised on teadusliku kogemuse võimalikkuse paratamatud vormid? · Ruum · Aeg · Substants · Jne.
see meile paistab. 7. Milline on empiristlik seisukoht epistemoloogias? Millised filosoofid on empirirstlikul positsioonil? Teadmine lähtub meelelisest kogemusest ja selle analüüsist. John Locke, David Hume. 8. Milline on ratsionalistlik seisukoht epistemoloogias? Millised filosoofid on ratsionalistlikul positsioonil? Teatud asju ei ole võimalik meelelisest kogemusest tuletada (õigluse printsiibid, loogikaseadused, asjade olemused). Nende asjade teadmiseni jõutakse intellektuaalse intuitsiooni vahendusel. Platon, Descartes. Ma mõtlen järelikult ma olen. 9. Millised on Immanuel Kanti transtsendentaalse teooria epistemoloogilised seisukohad? Mis teeb teadmise võimalikuks, millised on teadusliku kogemuse võimalikkuse paratamatud vormid? Meie kogemuse teevad võimalikuks teatavad vormid, mis on omased transtsendentaalsele subjektiivsusele endale: ruum, aeg, substants jne
asjaolule, et ta oli väga lähedal formaalse loogika ja dialektika vahekorra probleemi õigele lahendusele. Ilma seda probleemi lahendamata ei saa tunnetusteooria kujuneda efektiivseks eksperementaalse tegevuse ja selle teoreetilise mõtestamise vahendiks. Leibnizi meetodi põhiprintsiipideks võib nimetada järgmist nelja: - üldine erinevusprintsiip - eristamatute esemete ühtumuse printsiip - üldine pidevusprintsiip - monaadide diskreetsuse printsiip Nede printsiipidega kaasnevad loogikaseadused ja põhimõtted, mis pole Leibnizi õpetuse jaoks spetsiifilised, vaid on omased kogu progressiivsele filosofiatraditsiionile. Selline on näiteks põhjuslikkuseprintsiip ja ka tema süsteemi puhtontoloogilised põhialused nagu teleoloogia printsiip ja teised. Tulemusena tekkiv pilt Leibnizi meetodi struktuurist on üsna keerukas. Pole juhuslik, et küsimus tema metodi struktuurist on filosoofia ajaloo alases kirjanduses terveks
aprillil 1951. aastal 4 Looming "Loogilis-filosoofiline traktaat" Ludwig Wittgenstein kirjutas oma esimese teose Esimese maailmasõja ajal. Selle nimeks sai "Tractatus Logico-Philosophicus" ehk "Loogilis-filosoofiline traktaat". See on ka ainuke mis ilmus tema eluajal. Teoses töötab ta Bertrand Russeli impulsside kallal. Wittgestein jagab Russeli veendumust, et loogikaseadused kehtivad sõltumatult. "Loogilis-filosoofiline traktaat" on vastu igasugusele metafüüsilisele filosoofiale. Ta räägib asjadest, mis ei ole kättesaadavad loogikale. Wittgenstein peab silmas, et keele ja tegelikkuse suhe ei ole keeleliselt kirjeldatav. Tema jaoks on loogika keel. Teos koosneb seitsmest propositsioonist ehk väitlausest. Eessõnas märkis autor: ,,Seda raamatut mõistab võib-olla vaid see, kes on sarnaseid mõtteid kunagi juba ise mõtelnud. Raamat oleks oma
samaväärsus signaal 1 ainult siis, kui f9=X1X2+ X1X2 X2-> sisendites on ühesugused väärtused Ülessanded paberite peal. 13. Loogikaseadused 1. Domineerimisseadus 1. (0*a*b*c...=0) 2. Domineerimisseadus 2. (1+a+b+c+...=1) 3. Idempotentsus- ehk samaväärsusseadus. ( a*a=a a+a=a) 4. Eituse eitamise seadus. (a=a) 5. Komplemetaarsus- ehk täiendiseadus. (a*a=0; a+a=1) 6. Kommutatiivsusseadus. (a*b=b*a; a+b=b+a) 7. Assotsiatiivsusseadus. ( a*(b*c)=(a*b)*c=a*b*c; a+(b+c)=(a+b)+c=a+b+c ) 8. Distributiivseadus. a*(b+c)=a*b+a*c a+b*c=(a+b)*(a+c)) 9. De Morgani seadused. a*b=a+b a+b=a*b a*b*c*...
Üldsuse kvantor kehtib iga väärtuse korral, konjunktsioonid = 1. Eksistentsikvantor kehtib vähemalt ühe väärtuse korral, disjunktsioonid = 1. Seotud muutuja on muutuja, millele on omistatud kvantor. Vaba muutuja on muutuja, millele ei ole kvantorit omistatud. Hüüumärgiga ekistentsikvantor tähendab, et eksisteerib ainult üks selline väärtus. Kaks predikaati on võrdväärsed kui nad omavad sama tõeväärtust. Loogikaseadused on lihtsaimad samaselt tõesed lausearvutusvalemid. Assotsiatiivsusseadus on sama, mis „vastus ei olene tehete järjekorrast“. Kommutatiivsusseadus on sama, mis „vastus ei olene operandide järjekorrast“. Kommutatiivne pole ainult implikatsiooni tehe. Distributiivsus esitab lahtiliitmist ja lahtikorrutamist. DeMorgani seadused kehtivad ükskõik mitme muutuja korral.
lause tõene (loogilise vormi kohaselt), sest kui Prantsusmaal pole kuningat, ei saa ta kiilaspäine olla · Siit järeldub on olemas tõesed väited, millel puudub empiiriline tähtsus · Russell hakkab teaduskeelt analüüsima terve mõistuse (common sense) vahenditega, et kontrollida nende paikapidavust neist ideedest kasvabki välja analüütiline filosoofia · R arvates kehtivad õige mõtlemise seadused, eeskätt loogikaseadused ning seetõttu on teaduslik tõde sõltumatu praktikast, praktika eesmärgid pärinevad alati tahtest · R aksepteerib Dewey't, aga kritiseerib ameerika pragmatismi, Rousseau'd, Kanti, Hegelit, Marxi, Schopenhauerit, Nietzschet etc. R on sümpaatsed Locke ja Hume · Tema mammutteos "Lääne filosoofia ajalugu" esitab põhjaliku ülevaate filosoofia ajaloost · R oli veendunud ateist ja patsifist, võitles Vietnami sõja ja tuumarelvade leviku
■ “Prantsuse kuningas ei ole kiilaspäine” 1)lause on väär, kui Prantuse kuningat peetakse silmas “primaarselt” 2)lause on tõene, sest kui Prantusmaal pole kuningat, ei saa ta kiilaspäine olla ■ järeldus: on olemas tõesed väited, millel puudub empiirline tähtsus ■ analüütiline filosoofia kasvab välja, kui ta analüüsib terve mõistuse vahenditega teaduskeelt ■ loogikaseadused kehtivad, teaduslik tõde on sõltumata praktikast, praktika eesmärgid tulenevad alati tahtest 15.LUDWIG WITTGENSTEIN- australane (1889-1951) ■ keelefilosoofia looja ■ “Millest me ei saa rääkida, sellest tuleb vaikida”- saab rääkida tõsiasjadest, tõsiasjadest me moodustame pilte ja nendel piltidel on tegelikkusega midagi ühist ■ öelda, et miski on nii ja nii, saab ainult siis, kui see on tõene
,,Tõsikindlusest" 12. Mis on Wittgensteini kuulsaim lause? V: ,,Millest ei saa rääkida, sellest tuleb vaikida" 13. Millest me moodustame pilte Wittgensteini arvates? V: tõsiasjadest 14. Millega me kirjeldame pilte, mida me endale tõsiasjadest loome Wittgensteini arvates? V: lausetega 15. Kuidas nimetada seda, mis jääb meie tunnetusest väljaspoole Wittgensteini arvates? V: väljendamatuks ehk müstiliseks 16. Mis kehtivad sõltumata teadvusest Wittgensteini arvates? V: loogikaseadused 17. Kumb on veendunud, et on ka midagi muud peale loogika-maailma Russel või Wittgenstein? V: Wittgenstein 18. Kas hiline Wittgenstein uskus lihtsate definitsioonide võimalikkuse? V: ei 19. Kuidas nimetab Wittgenstein keelelisi kontekste, milles sõnad saavad tähenduse? V: keelemängudeks (näide: palun tõlkige lause ,,Seal on hea elada" inglise keelde!) 20. Millest on tekkinud Wittgensteini arvates kõige suuremad segadused filosoofias? V: keelemängudest
loogika ja dialektika vahekorra probleemi õigele lahendusele. Ilma seda probleemi lahendamata ei saa tunnetusteooria kujuneda efektiivseks eksperementaalse tegevuse ja selle teoreetilise mõtestamise vahendiks. Leibnizi meetodi põhiprintsiipideks võib nimetada järgmist nelja: - üldine erinevusprintsiip - eristamatute esemete ühtumuse printsiip - üldine pidevusprintsiip - monaadide diskreetsuse printsiip Nende printsiipidega kaasnevad loogikaseadused ja põhimõtted, mis pole Leibnizi õpetuse jaoks spetsiifilised, vaid on omased kogu progressiivsele filosoofiatraditsioonile. Selline on näiteks põhjalikkuseprintsiip ja ka tema süsteemi puhtontoloogilised põhialused nagu teleoloogia printsiip ja teised. Tulemusena tekkiv pilt Leibnizi meetodi struktuurist on üsna keerukas. Pole juhuslik, et küsimus tema meetodi struktuurist on filosoofia ajaloo alases kirjanduses terveks probleemiks kasvanud ja meil tuleb korduvalt
.............................................................................. 10 3.1 Loogikatehted.............................................................................................................. 10 3.2 Loogikalülitused........................................................................................................... 10 3.3 Loogikafunktsioonid ja elemendid.............................................................................. 11 3.4 Loogikaseadused......................................................................................................... 12 4 Loogikaelemendid.............................................................................................................. 18 4.1 Dioodelement JA......................................................................................................... 18 4.2 Transistorelement EI ehk inverter................................................................................ 19
Tartust põhja pool. Et selles veenduda, tuleb kõigepealt arutlus viia standardkujule, kus eeldused on loetletud üksteise all ning järeldus on eraldatud joonega: E1: Tartu on väiksem kui Tallinn tõene väide E2: Tallinn on EV pealinn tõene väide J: Tallinn asub Tartust põhja pool tõene väide Selle arutluse vigane komponent puudutab just väidete vahelisi seoseid. 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
Õppis Cambridge Ülikoolis, Trinity Kolledzis. Ta elas 1936-1937 aastal üksilduses Norras, kuna ta oli jutt ja Hitler kiusas neid. Ta töötas ka algkooliõpetajana Austrias. Sai Teise maailmasõja ajal Cambridge ülikooli filosoofia õppejõuks. Peateosed · Loogilis-filosoofilis traktaat · Tõsikindlusest. Kuulsaim lause : Millest ei saa rääkida, sellest tuleb vaikida. ,,See mis jääb meie tunnetest väljapoole on müstika." ,,Loogikaseadused siiski kehtivad, need on universaalsed." ,,Müstiline maailm võib olemas olla." ( Russell nt ei uskunud seda) Keelelised kontekstid, milles sõnad saavad tähenduse. ,, Seal on hea elada ,, There is good to live? Või Pig has good life? Kõige suuremad segadused filosoofias tekivad keeles. Martin Heidegger (1889-1976) 1976 sündis Kadri Adamson. Sündis ja suri Saksamaal Kuulus eksistentiaslikku filosoofia koolkonda
Muutuja on seotud, kui talle on rakendatud kvantorit ja vaba, kui predikaatmuutuja on kvantormärgiga mitteseotud (∀𝑥𝑃(𝑥, 𝑦) korral x on seotud ja y vaba muutuja). Hüüumärgiga eksistentsikvantor tähendab, et „leidub täpselt üks x …“. Kvantorid on omavahel seotud nagu ∀𝑥𝑃(𝑥) ≡ ∃ ̅𝑥∃𝑃̅(𝑥). Predikaadid on võrdväärsed (ekvivalentsed), kui nende tõeväärtuspiirkonnad langevad kokku. Loogikaseadused on kuni kolme operandiga lihtsaimad samaselt tõesed lausearvutusvalemid ja samaselt tõesed lausearvutusvalemite võrdused. Implikatsioon ei ole kommutatiivne. Assotsiatiivsus 𝐴 ∨ 𝐵 ∨ 𝐶 = (𝐴 ∨ 𝐵) ∨ 𝐶 = 𝐴 ∨ (𝐵 ∨ 𝐶) ; 𝐴 ∧ 𝐵 ∧ 𝐶 = (𝐴 ∧ 𝐵) ∧ 𝐶 = 𝐴 ∧ (𝐵 ∧ 𝐶) Kommutatiivsus 𝐴 ∧ 𝐵 = 𝐵 ∧𝐴 ;𝐴 ∨ 𝐵 = 𝐵 ∨𝐴 Idempotentsus 𝐴 ∧ 𝐴 = 𝐴 ;𝐴 ∨𝐴 = 𝐴
P (x) ≡ " x on algarv " H (x) ≡ " x on paarisarv " D (x , y) ≡ " x jagub y-ga " Leida predikaatlausete tõeväärtus: ∀ x [ N (x ) → Z (x ) ] __ ∀x ∀ [ Z (x ) → H ( x ) ∨ H ( x ) ] ∀ x ∃ y [ Z (x ) ∧ Z (y ) → D ( x , y ) ] ∃ x [ P (x ) ∧ H (x ) ] LOOGIKASEADUSED De Morgani seadused: _______ __ __ Loogikaseadused on kuni 3me operandiga lihtsaimad samaselt tõesed A ∧ B = B ∨ A lausearvutusvalemid. _______ __ __
.........................8 1.12.3. Algebraline liitmine täiend koodis...................................................................8 2.1. Loogikafunktsioon ja loogika seade....................................................................... 10 2.2. Ühe argumendi loogikafunktsioonid.......................................................................10 2.3. Kahe argumendi loogikafunktsioonid.....................................................................11 2.4. Loogikaseadused.....................................................................................................12 Loogikaelemendid..............................................................................................................14 3.1. Loogikalülituste liigid.............................................................................................14 3.2. Loogikaelemendid diskreetelenemdid....................................................................14 3.2.1
..........................8 1.12.3. Algebraline liitmine täiend koodis...................................................................8 2.1. Loogikafunktsioon ja loogika seade.......................................................................10 2.2. Ühe argumendi loogikafunktsioonid.......................................................................10 2.3. Kahe argumendi loogikafunktsioonid.....................................................................11 2.4. Loogikaseadused.....................................................................................................12 Loogikaelemendid..............................................................................................................14 3.1. Loogikalülituste liigid.............................................................................................14 3.2. Loogikaelemendid diskreetelenemdid....................................................................14 3.2.1
Kvantoriteks on üldsuse kvantor ja eksistentsikvantor. Muutuja on seotud, kui talle on rakendatud kvantorit ja vaba, kui predikaatmuutuja on kvantormärgiga mitteseotud (∀𝑥𝑃(𝑥,𝑦) korral x on seotud ja y vaba muutuja). Hüüumärgiga eksistentsikvantor tähendab, et „leidub täpselt üks x …“. Kvantorid on omavahel seotud nagu ∀𝑥𝑃(𝑥)≡∃̅𝑥∃𝑃̅(𝑥). Predikaadid on võrdväärsed (ekvivalentsed), kui nende tõeväärtuspiirkonnad langevad kokku. Loogikaseadused on kuni kolme operandiga lihtsaimad samaselt tõesed lausearvutusvalemid ja samaselt tõesed lausearvutusvalemite võrdused. Implikatsioon ei ole kommutatiivne. HULGAD Hulk on koosvaadeldavate hulgaelementide kogum. Hulk koosneb hulgaelementidest. Hulka tähistatakse suurtähtedega A B C D. Hulka esitatakse tema elementide täieliku loeteluna { 𝑎 𝑏 𝑐 }, osalise loeteluna { … ,−1 ,0 ,1 ,… }, üldise avaldise kaudu { 𝑛 |(𝑛>1899)∧(𝑛<2000) }.
Kuidas me mingi teadmiseni jõuame? Empirism: teadmine lähtub meelelisest kogemusest. John Locke, an essay concerning human understanding, 1690 Objekt taju(sensation) lihtideeliitidee David Hume, an enquiry abuot human understanding, 1748 Objekt taju (impression) tajude koopiad ideed Tunnetuse mehhanismid: Ratsionalism: Kuidas me mingi teadmiseni jõuame? Ratsionalism: teatud asju(õigluse printsiibid, loogikaseadused, asjade olemused) ei ole võimalik meeleliselt kogemusest tuletada. Nende asjade teadmiseni jõutakse intellektuaalse intuitsiooni vahendusel. Platon: anamnesis Descartes: selge ja distinktne mõtlemine tunnetuse mehhanismid: pragmatism kuidas me mingi teadmiseni jõuame? pragmatism: teadmine lähtub elupraktikatest; ning praktika on tõe kriteerium: tõesed väited on need, mille tagajärjel meie elupraktikad edenevad William James Pragmatism 1907
LOOGIKA PÕHJENDAMISEST Normativism (antipsühhologism) loogika kirjeldab, kuidas inimene peab mõtlema, annab õige mõtlemise reeglid ehk normid. (Aristoteles, R. Descartes, I. Kant, E. Husserl) Psühhologism loogika on kirjeldav teadus. Loogika seadused kirjeldavad seda, kuidas inimene mõtleb. Vaimselt tervel inimesel on psühholoogiline sund nende reeglite kohaselt mõelda. Loogika kirjeldab mõtlemist. (J.S. Mill, H.Spencer, E. A. Lange) Konventsionalism loogikaseadused on kokkuleppelised. (R. Carnap) TÕE KÄSITLEMISVIISIDEST (vt Blackburn. Filosoofialeksikon. 2002: lk 456 ja viited) · Korrespondents ehk vastavusteooria (Aristoteles) · Referentsuse teooria (R. Descartes ) · Pragmatism (C.S. Peirce, W. James, C .Lewis jt) · Koherentsusteooria (R. Carnap) · Semantiline ehk tähendusteooria (A.Tarsky) · Traditsiooni (kokkuleppe) teooria (B. Barnes, P. Feuerabend) C. Wilson (Oxfordis 1899-1915). Soovitas alati vahet teha:
t protsess, mille abil me muudame väljendite kuju, ilma et muudaksime nende tähendust. Korrutustabelid on reeglid selle protsessi sooritamiseks aritmeetikas, niisamuti nagu 5 Varasemais väljaandeis seisis ekslikult "tõene n korral, kui see on tõene n+1 korral". 6 Vrd Hahn s.a.: 18. "Ein allwissendes Wesen braucht keine Lo- gik und keine Mathematik." (Kõiketeadev olend ei vaja loogikat ega matemaatikat.) 2 15 Alfred J. Ayer loogikaseadused on reeglid loogilise sümbolismi abil või tava- keeles väljendatud lausete tautoloogiliseks teisendamiseks. Et ar- vutamisprotsessi sooritatakse enam-vähem mehaaniliselt, on meil kerge eksida ja seega kogemata endale vastu rääkida. Ja see sele- tab loogiliste ja matemaatiliste "vääruste" olemasolu, mis muidu võiksid paista paradoksaalsetena. Veavõimalus loogilises arutelus on ilmselt proportsionaalne arvutusprotsessi pikkuse ja keeruku- sega
viisil (sensation), taju moodustab ühe lihtidee, meie mõistus liidab aga teatud tajud kokku ja nii tekib liitidee. Hume'i puhul saab samuti kõik alguse meelte kaudu saadavast impulsist objekti kohta, meie taju (impression) teeb sellest sisemise koopia, mida ta kutsub ideeks. Empiristlikul seisukohal on seega Locke ja Hume. 8. Milline on ratsionalistlik seisukoht epistemoloogias? Millised filosoofid on ratsionalistlikul positsioonil? Teatud asju (õigluse printsiibid, loogikaseadused, asjade olemus) pole võimalik meelelisest kogemusest tuletada, nende asjadeni jõutakse intellektuaalse intuitsiooni vahendusel. Platoni anamnesis - küsimusele kust pärinevad meie teadmised mitte- empiiriliste asjade kohta vastab ta, et need teadmised pärinevad sünnieelsest elust. Descartes leidis, et tänu mõistuse loomulikule valgusele on selge ja distinktse mõtlemise tagajärjel võimalik jõuda puhaste ja ratsionaalsete intellektuaalsele intuitsioonile antud ideede vahetu
Tema arvates moodustab teadmise meie harjumuspärane ideed kogum. Näiteks Päike tõuseb kuna me oleme seda enne näinud seega usume, et see toimub uuesti. 8. Milline on ratsionalistlik seisukoht epistemoloogias? Millised filosoofid on ratsionalistlikul positsioonil? Ratsionalistliku seisukoha kohaselt ei ole võimalik teatud asju meeleliselt kogeda vaid neid on võimalik vaid intellektuaalse intuitsiooni vahendusel aru saada. Siia kuuluvad näiteks loogikaseadused, asjade olemasolu ja õigluse printsiibid. Descartesi arvates on näiteks idee Jumalast ja õiglusest meie sees juba sünnist saati. See on nii kuna neid teadmisi ei saa tuletada empiirilisest olukorrast. Platoni kohaselt pärinevad meie teadmised mitte empiiriliste asjade kohta sünni tagusest mälust. Ehk siis ajast enne seda kui ma sündisin. Küsimused Herakleitose tekstide kohta: 1. Mida peab Herakleitos teadmiseks selle sõna kõige kõrgemas mõttes? Selgitage.
- Olulist/olemuslikku informatsiooni andev selgitav/seletav/põhjendav - Objektiivne - Erapooletu - Läbipaistev - Tõestatav loogiliselt(süllogismid, mis aitavad mõista) või empiiriliselt(näidete kaudu) - Loogiliselt koherentne teooria üks osa ei tohiks olla vastuolus sama teooria teise osaga - Lähtealuseid reflekteeriv - läbi on valgustatud oma toimimise põhimõtted N: kas loogikaseadused ise on ka loogilised ja kas nende loogilisust on võimalik tõestada? Kas on teadmisi, mis nendele kriteeriumitele vastavad?? Enamus nendest kriteeriumitest ei pea paika. Me arvame, et see, mida ülikoolis õpime, on läbini objektiivne, tegelikult aga ei ole, nad küll annavad olemuslikku infot asjade olemuse kohta, kuid igasuguse tõekonseptsioonid kaitsevad ikkagi kellegi huve. On palju teooriaid,
1.1.3 Kümnendarvude teisendamine kahend-, kaheksand- ja kuueteistkümnendarvudeks 12 1.1.4. Informatsiooni hulk ja signaali viga 13 1.2. Loogikafunktsioonid ja loogikalülitused ning nende esitusviisid 14 1.2.1. Loogikatehted 14 1.2.2. Loogikaseadused 17 1.2.3. Loogikalülituste süntees ja minimeerimine 21 1.3. Funktsionaalsed loogikalülitused 24 1.3.1. Trigerid 24 1.3.2. Registrid 27 1.3.3. Loendurid 28 1.3.4
Ideed võivad tuhmuda ja isegi kaduda. Hume ütleb, et me ei tea kunagi asjade juhtumise põhjusi, me oleme harjunud nägema asju teineteisele järgnevalt. Me oleme harjunud nägema mingi sündmuse järgnemist esimesele, kuid tegelikult me ei tea, miks see nii on. 96. Milline on ratsionalistlik seisukoht epistemoloogias? Millised filosoofid on ratsionalistlikul positsioonil? Kuidas me mingi teadmiseni jõuame? On palju asju, mida pole võimalik kogeda meeleliste tajudega- nt õiglus, loogikaseadused ning erinevate asjade olemused. Nende teadmisteni jõutakse kasutades intellektuaalset intuitsiooni. Kuidas me teame mis on hea, ilus ja õiglane? Me ei saa neid asju tuletada, need teadmised peavad olema kaasa antud meile sündides. Platon- anamnesis- meie teadmised mitteempiiriliste asjade kohta pärinevad sünnitagusest mälust. Ma tean midagi siis, kui ma meenutan seda, mis toimus minu hingega enne minu tulemist siia maailma.
Husserl rajab fenomenoloogilise filosoofia, millest saab 20. saj üks mõjukam koolkond. Fenomenoloogia esitab nõude hoiduda filosoofias kõigist rutakatest maailmaseletusviisidest ja analüüsida eelarvamustevabalt kõiki meie teadvuse sisusid. Fenomen e ilming on filosoofias see, mis kogemusele või mõistmisele alati enne igat üksikut kogemust eelneb. Fenomen on see, mis meil juba ees olemas on. Tänu sellele me üldse mõistame midagi. Husserl veendus varakult, et loogikaseadused toimivad sõltumatult meie mõtlemisprotsessidest. Oma õpetajast mõjutatuna leiab Husserl, et meie psüühilised protsessid on alalti millelegi suunatud. See võib olla suunatud nii reaalsetele kui väljamõeldud objektidele. Et leida puhast objekti, millele tegevus suunatud on, tuleb teadmised puhastada ajaloo, kultuuri jms mõjutustest. Sellest tulenevalt on fenomenoloogia keskseks mõisteks teadvuse intensionaalsus e suunitlus objektidele. Kuna me aga mõtleme millegi suunas,
päike. Selline arusaam on loogikaga alustamiseks piisavalt hea lähtekoht. Loogiliselt õige (formaalselt kehtiva) arutluse käigus saame tõestest eeldustest paratamatult tõese tuletise (lõppjärelduse). Loogika püüab leida reeglite komplekti, mille järgimine tagab arutluskäigu kehtivuse. Formaalselt kehtiv arutlus ei taga tõest tuletist, kui vähemalt üks eeldustest on väär. Sel juhul öeldakse, et arutlus on formaalselt kehtiv, aga sisuliselt ebaõige. 2 Põhilised loogikaseadused (printsiibid, aksioomid või reeglid) Loogika peaks kasutajale andma printsiibid, mille abil saab eristada õiget ja ebaõiget arutlust. Neid printsiipe nimetatakse erinevates allikates erinevalt, kõige levinumad nimevariandid on loogika aksioomid, põhireeglid või seadused. Traditsioonilises loogikas tuuakse esile neli loogika põhiseadust. Samasusseadus (principle (law) of identity, ld principium (lex) identitatis): ühes ja samas arutluses
tõese tuletise (lõppjärelduse). Loogika püüab leida reeglite komplekti, mille järgimine tagab arutluskäigu kehtivuse. Formaalselt kehtiv arutlus ei taga tõest tuletist, kui vähemalt üks eeldustest on väär. Sel juhul öeldakse, et arutlus on formaalselt kehtiv, aga sisuliselt ebaõige. 2 Põhilised loogikaseadused (printsiibid, aksioomid või reeglid) Loogika peaks kasutajale andma printsiibid, mille abil saab eristada õiget ja ebaõiget arutlust. Neid printsiipe nimetatakse erinevates allikates erinevalt, kõige levinumad nimevariandid on loogika aksioomid, põhireeglid või seadused. Traditsioonilises loogikas tuuakse esile neli loogika põhiseadust. Samasusseadus (principle (law) of identity, ld principium (lex) identitatis): ühes ja samas arutluses