väärtuskombinatsiooni korral. Samaselt väär lause on teisisõnu vastuolu. Millega asendatav on samaselt tõene lause ja samaselt väär lause? Samaselt tõene asendada konstandiga 1 ja samaselt väär konstandiga 0. Mis on predikaat? Predikaat on lause, mis sisaldab ühte või enamat muutujat. Millal predikaat omandab tõeväärtuse? Predikaat omandab tõeväärtuse, kui predikaadi muutujad asendada mingite konkreetsete väärtustega lubatud väärtustehulgast. Kuidas predikaate ja predikaatmuutujaid tavaliselt tähistatakse? Predikaate tähistatakse suure tähega ja temas sisaldavaid muutujaid ehk predikaatmuutujaid väiketähtedega. Milline predikaat on ühekohaline? Milline on kahekohaline? Ühekohaline predikaat on ühe muutujaga nt P(x), siin predikaat P sisaldab ühte muutujat x Kahekohaline predikaat on kahe muutujaga nt P(x,y), predikaat P sisaldab kahte muutujat x ja y Kuidas nimetatakse teisiti ühekohalisi predikaate?
poolt verifitseeritava tähendusega lausete hulk, mis kirjeldavad käitumuslikke või kehalisi protsesse. Carl Hempeli järgi on selline psühholoogiliste väidete tõlkimine käitumise kohta käivateks väideteks üks osa laiemast reduktsionistlikust projektist, mille eesmärk on teaduse keelekasutuse reglementerimine. (Hempel 1949) Teine mõjukas filosoofilise biheiviorismi formuleering lähtub Gilbert Ryle'ilt. Tema kartesiaanliku dualismi kriitika põhineb seisukohal, et mentaalseid predikaate (mental predicates) kasutatakse tihti omistamaks inimestele kalduvust teatud viisil käituda. Ryle'i järgi on sellistel omistamistel tingimuslike, seadusele sarnanevate lausete kuju, selliste lausete ülesanne ei ole aga käitumisega põhjuslikult seotud sisemiste, füüsiliste või mittefüüsiliste seisundite esinemisest raporteerimine. Taolised laused lubavad järeldada vaid seda, kuidas agent käitub juhul kui teatud tingimused on täidetud. Ryle jaoks on
lõpetab argumendil y töö lõpliku arvu sammudega. Tõestus lk. 125 Teoreem 5. (Rice'i teoreem) Olgu A kõigi Turingi mõttes arvutatavate funktsioonide hulga mittetühi pärisalamhulk. Ei leidu Turingi masinat, mis kontrolliks argumendi x järgi, kas Turingi masina Tx poolt arvutatav funktsioon kuulub hulka A. III. Predikaatarvutus Predikaadid ja indiviidid. Kvantorid. Predikaadid: · Seoseid elementide vahel väljendavad predikaadid. · Predikaate tähistame predikaatsümbolitega A, B, C, koos argumentidega; argumentideks on termid. · Predikaate võib omavahel kombineerida lausearvutuse tehete ja kvantoritega 7 Indiviidid: · objektid, mille kohta midagi väidetaks · Hulka M nimetatakse indiviidide piirkonnaks, see fikseerib objektid, mille kohta predikaat midagi väidab Kvantorid: Term. Predikaatarvutuse valem
kogu selle naise mineviku ja olemuse, et teist maatasa teha. Alates tema isast lõpetades tema riietega. Mõlemas juhtumis tekivad abstraktselt mõtlevale inimesele pähe otsustused ehk nad väidavad midagi millegi kohta. Esimeses näites tekib inimesele pähe otsustus ,,See mees on mõrvar". Ehk siis mees on subjekt ja predikaat on see mida väidetakse, antud juhul siis et see mees on mõrvar. Teises näites on turunaisel jällegi üks subjekt kuid predikaate toob ta välja mitmeid. 3. Platon: 1. kes on filosoof - mille poolest ta erineb Jumalatest / tarkadest ja võhikutest / inimestest ning oma arusaam sellest erinevusest 2. miks on filosoofid parimad polise valitsejad kaks põhjendust ja oma arusaam selle kohta 3. mis on idee ja millised on ideele iseloomulikud jooned + lisage oma arusaam selle kohta mis on idee Filosoof on inimene, kes ihaldab tarkust ehk ta armastab seda. Kuna Jumalad on juba
Samaselt väär ehk vastuolu on lause, mis omandab tõeväärtuse 0 koostislausete mistahes väärtuskombinatsiooni korral (nt: 𝐴∧𝐴̅). Samaselt tõesed laused võib kõikjal asendada konstandiga 1, samaselt väärad konstandiga 0. Predikaat on lause (valem), mis sisaldab ühte või enamat muutujat. Kui predikaadi muutujad asendada mingite konkreetsete väärtustega lubatud väärtustehulgast, siis predikaat omandab tõeväärtuse (muutub lauseks). Predikaate tähistatakse suurtähtedega, predikaatmuutujaid väiketähtedega. Ühekohaline predikaat ehk omadus on ühe muutujaga. Määramispiirkond näitab, milliseid väärtusi predikaatmuutuja võib omandada. Predikaatlause P(x) on täidetav ehk kehtestatav, kui ta on tõene ainult osade muutujaväärtuste x korral (ehk tõene osas oma määramispiirkonnas) ; samaselt tõene, kui ta on kehtiv kogu oma mpk-s ; samaselt väär, kui ta ei kehti oma mpk mitte mingite muutujaväärtuste korral
Predikaatlause tõeväärtus oleneb väärtustatud muutuja(te) tõeväärtus(t)est. P(5) ≡ (5 > 2) ∧ (5 < 4) = 0 Kui predikaadi muutujad asendada mingite konkreetsete väärtustega ehk lubatud väärtustehulgast, siis predikaat muutub lauseks (ehk omandab P(5) = 0 ehk vale tõeväärtuse). Predikaate tähistatakse suurtähtedega; temas sisalduvaid muutujaid Ühekohalist predikaati nimetatakse omaduseks. (predikaatmuutujaid) väiketähtedega. Kui predikaatmuutuja mingi konkreetse väärtuse n korral predikaatlause Ühekohaline predikaat — ühe muutujaga: P ( n ) osutub tõeseks, siis ütleme, et " n-il on omadus P "
Otseobjekt võib olla partitiivis (osaline), genitiivis või nominatiivis (täisobjekt). Mõõteadverbiaalid käituvad objektiga sarnaselt: sama kääne (ta viis last kooli VS ta suusatas 5 kilomeetrit). Ekstratemaatilised muutujad kui välised omajad või välised subjektid on adessiivis. Sel juhul saab omandit eemaldada või mitte, need on kas elutud või mitte. Eesti keele komitatiivi ja instrumentaali suhteid väljendatakse komitatiiviga, mis on Saksa mõju. Predikaate saab väljendada üksikute finiitverbide ja verbi ning muude sõnade (adverbiaali partikkel, nimi- või omadussõna = tekib idioom, infiniitne verb) kombinatsioonidega. Levinud on, et partikleid kasutatakse perfektiivsuse väljendamiseks, samas nad toimivad kui objekt (ta sõi supi ÄRA). Verb ühildub indikatiivis, imperatiivis ja osalt ka tingivas kõneviisis täissubjektiga nii isikus kui arvus. Eesti keel eristab morfoloogiliselt minevikus ja mitteminevikus toimunut
-> {1,0} o Hulka, millel predikaat on määratud, nimetatakse selle predikaadi indiviidide piirkonnaks o Vastavalt predikaadi definitsioonile saame igale predikaadile seada vastavusse tema tõesuspiirkonna = { (1, ... , ) |P(1, ... , ) = } Olgu P(1, ... , ) hulgal defineeritud -kohaline predikaat. Siis iga korral tähistavad P(1, ... , ) ja P(1, ... , ) järgmisi ( - 1)-kohalisi predikaate: o P(1, ... , ) = {t, kui x1, ..., xi-1, xi+1, ..., xn on hulga M sellised elemendid, et iga xiM korral P(1, ... , )=t o P(1, ... , ) = {t, kui x1, ..., xi-1, xi+1, ..., xn on hulga M sellised elemendid, et mingi xiM korral P(1, ... , )=t, vastasel juhul P(1, ... , )=v Lõpliku indiviidide piirkonna puhul saab kvantorite rakendamise taandada lausearvutuse tehetele: o Kui = {1, ... , }, siis P(1, ... , )= P(1, ... , -1, 1, +1, ... , )
Samaselt väär ehk vastuolu on lause, mis omandab tõeväärtuse 0 koostislausete mistahes väärtuskombinatsiooni korral (nt: 𝐴 ∧ 𝐴̅). Samaselt tõesed laused võib kõikjal asendada konstandiga 1, samaselt väärad konstandiga 0. Predikaat on lause (valem), mis sisaldab ühte või enamat muutujat. Kui predikaadi muutujad asendada mingite konkreetsete väärtustega lubatud väärtustehulgast, siis predikaat omandab tõeväärtuse (muutub lauseks). Predikaate tähistatakse suurtähtedega, predikaatmuutujaid väiketähtedega. Ühekohaline predikaat ehk omadus on ühe muutujaga. Määramispiirkond näitab, milliseid väärtusi predikaatmuutuja võib omandada. Predikaatlause P(x) on täidetav ehk kehtestatav, kui ta on tõene ainult osade muutujaväärtuste x korral (ehk tõene osas oma määramispiirkonnas) ; samaselt tõene, kui ta on kehtiv kogu oma mpk-s ; samaselt väär, kui ta ei kehti oma mpk mitte mingite muutujaväärtuste korral
Ühe teadusliku teooria taandamine fundamentaalsemale teooriale. Loogilis-matemaatiline deduktsioon. Teooria seadused tuletatakse alusteooria seadustest. Kuna kahel teoorial on oma sõnavara, saab tuletust läbi viia vaid siis kui arvestatakse lisaeeldusi, mis seaks kahe teooria predikaadid omavahel vastavusse. Nendeks lisaeeldusteks on sillaseadused – empiirilised ja kontingentsed korrelatsioonid, mis ühendavad kahe teooria predikaate. Teooria T on redutseeritav teooriale T*, kui T on loogiliselt tuletatav T*st ja sillaseadustest. Sillaseadused. Kui teooria T on taandatav teooriale T*, siis peab iga T primitiivse predikaadi M jaoks leiduma sillaseadus kujul M ↔ N, mis esitab M’ga sama ekstensiooniga predikaadi N teoorias T*. Sillaseadused esitavad iga taandatava teooria omaduste kohta omaduse alusteooria valdkonnas. St, et
mittelahenduvate klasside väljaselgitamine. Nagu öeldud, pole predikaatarvutus tervikuna lahenduv. Kui aga predikaatarvutuse keelt sobivalt piirata, võime saada sellise piiratud võimalustega süsteemi, mis on lahenduv. Juba aastatel 1915-1919, s.t enne Churchi teesi ja lahenduvuse täpse mõiste sissetoomist tõestasid Löwenheim ja Skolem, et kui lubada predikaatarvutuses ainult objektide omaduste, mitte aga nendevaheliste suhete kirjeldamist, s.o kasutada ainult ühekohalisi predikaate, siis selline loogikasüsteem on lahenduv. Mis puutub loogika ja arvutiteaduse suhetesse, siis see on märksa laiem, kui algoritmi- ja rekursiooniteooria problemaatika. Viimane pakub peamist huvi loogikasiseselt ja filosoofilisest vaatepunktist, praktilise arvutiteaduse seisukohalt on lahendamatuse eri astmeid ja lahendamatuse struktuuri uurivad algoritmiteooria sfäärid suhteliselt vähem huvitavad
Siin me ei pea pöörduma kogemuse poole, et uurida edasi. Üks lause on analüütiline kui tema tõesuse üle saab otsustada keele tähenduste ja loogika alusel. Sünteetiline on kahe loogiliselt sõltumatu mõiste ühendamine ehk predikaat ei sisaldu subjekti mõistes(näite puhul: keha(subjekt) ei ole alati raske(predikaat)). Kuidas on aga selline seostamise õigustatus küsimus? Vasturääkivuse seadus(?), mida ei saa lubada loogikas. Ühele ja samale asjale ei saa vastupidiseid predikaate omistada – vasturääkivus. Analüütilised otsustused on aprioorsed otsustused(võivad olla empiirilised mõisted). Loogika annab eelise, et mis kord on kehtinud, siis kehtib ka edasi – universaalne paratamatus. Analüütiline otsustus on eelistatad, mis annab üldisi ja paratamatuid teadmisi. Sünteetilise puhul on küsimus, et kuidas me põhjendame. Sünteetilised jagunevad a posteriori(empiirika alusel) ja a priori(mõistuse alusel)
Saame määratleda unaarse predikaadi „x on algarv”, mida võib tõlkida predikaatarvutuse keelde kui A(x) või ka lihtsalt kui Ax, kus x∈ N. Seda saab sõnastada: suvaliselt valitud naturaalarv on algarv. Mõnikord esitatakse nõue, et predikaadi indiviidide hulk ei tohi olla tühi. Predikaatloogikas ei tehta vahet subjektide ja predikaatide kui lauseliikmete vahel selles mõttes nagu traditsioonilises loogikas. Nii subjekte kui ka predikaate käsitletakse ühel viisil – predikaatidena. Selle mõistmiseks vaatleme eeltoodud näidet nii, et laiendame indiviidide hulga reaalarvude hulgaks ehk siis x∈ R ning tõlgime naturaalarvuks olemise unaarse predikaadi kui Nx. Meid huvitav struktuur saab uue kuju: Nx → Ax, mida võiks sõnastada: kui suvaliselt valitud reaalarv on naturaalarv, siis on see algarv. Selles näites ilmneb, et mõlemad – nii see, mida traditsioonilises loogikas peetaks subjektiks (naturaalarv),
Saame määratleda unaarse predikaadi ,,x on algarv", mida võib tõlkida predikaatarvutuse keelde kui A(x) või ka lihtsalt kui Ax, kus x N. Seda saab sõnastada: suvaliselt valitud naturaalarv on algarv. Mõnikord esitatakse nõue, et predikaadi indiviidide hulk ei tohi olla tühi. Predikaatloogikas ei tehta vahet subjektide ja predikaatide kui lauseliikmete vahel selles mõttes nagu traditsioonilises loogikas. Nii subjekte kui ka predikaate käsitletakse ühel viisil predikaatidena. Selle mõistmiseks vaatleme eeltoodud näidet nii, et laiendame indiviidide hulga reaalarvude hulgaks ehk siis x R ning tõlgime naturaalarvuks olemise unaarse predikaadi kui Nx. Meid huvitav struktuur saab uue kuju: Nx Ax, mida võiks sõnastada: kui suvaliselt valitud reaalarv on naturaalarv, siis on see algarv. Selles näites ilmneb, et mõlemad nii see, mida traditsioonilises loogikas peetaks subjektiks (naturaalarv),
annaabi.ee 
