- Mis on ettepanek?
- Ettepanek filosoofias
- Propositsioon loogikas
- Lihtsad ja liitlaused
- Propositsioon matemaatikas
Selgitame, mis on propositsioon, selle tähendust filosoofias, loogikas ja matemaatikas. Samuti lihtsad ja liitlaused.
Mis on ettepanek?
Üldiselt on ettepanek midagi, mida pakutakse. See tähendab, et see on a samaväärne avaldis lihtne lause enesekindel, a palve milles kinnitatakse, et miski on, et miski on olemas või et sellel on teatud tunnusjoon. Seetõttu võib seda hinnata tõeseks (kui see on tegelikkusega kooskõlas) või vääraks (kui see ei vasta).
See on termin, mida kasutatakse laialdaselt erinevates teadmiste kontekstides, näiteks teatud formaalsetes distsipliinides (loogika, matemaatika) Laine keeleteadus ja filosoofia. Idee seisneb selles, et võttes eelkäijateks erinevaid propositsioone, on võimalik saada kindel järeldused, ja lisaks saab hoolikalt uurida protseduuri, mille kaudu me need hankisime.
Igal juhul tuleb propositsiooni all mõista samasse keelde kuuluvate märkide ahelat, olgu need siis häälikud või märgid (loomulikus keeles) või märgid ja esitused (formaalses keeles).
Kusjuures kõnekeeles mõistetakse ettepaneku all ettepanekut: kutset, mille teeme teisele või teistele ja mida saab vastu võtta või tagasi lükata.
Lõpuks ei tohi me segi ajada propositsiooni ja eessõna. Viimane on lihtsalt grammatiline kategooria, st teatud tüüpi sõnad, millel on enam-vähem ilmselge grammatiline tähendus ja mis aitavad luua seoseid asjade vahel. Eessõnad on näiteks: de, para, contra, entre, por, sobre, bajo, en jne.
Ettepanek filosoofias
Filosoofilise debati valdkonnas räägitakse ettepanekust viidata vaimsele aktile, mille kaudu väljendatakse otsust tegelikkuse kohta konkreetses keeles, võimaldades luua mingisuguse suhte teema ja a predikaat kindlaks määratud.
Selles mõttes ei tohiks propositsiooni segi ajada lausega, millega see on väljendatud, kuna sama otsust saab väljendada erinevate lausete kaudu, näiteks:
- Ana on naine.
- Ana ei ole mees.
Propositsioon loogikas
Loogika uurib propositsioonide ja arutlusmehhanismide vahelisi seoseid, mis võimaldavad meil jõuda ühele teisele. Iseenesest erinevad propositsioonid hinnangutest, kuna esimesed pakuvad midagi tegelikkuse kohta ja teised kinnitavad või eitavad selles midagi. See tähendab, et propositsioonid on otsuste loogiline produkt.
Formaalne loogika esindab propositsioone tähestiku tähtede kaudu, et uurida nendevahelisi loogilisi seoseid nende semantilisest sisust abstraheerituna: „Kui lk siis mida”.
Selle seose põhjal saab nn tõetabelite abil kindlaks teha, millistel juhtudel on väljendatud sisu tõene ja millistel väär. loodud suhtele, et uurida selle võimalikke tulemusi.
Lihtsad ja liitlaused
Loogika liigitab propositsioonid olenevalt nende konformatsioonist kahte tüüpi: liht- ja liitlaused.
- Lihtsad ettepanekud. Need on need, mis koosnevad subjektist ja predikaadist, mis on otseselt seotud, ilma eituse (ei), konjunktsiooni (ja), disjunktsiooni (või) või implikatsiooni (kui ... siis) teguriteta. Lauseterminites vastavad need lihtlausetele ilma alluvateta. Näiteks: "Koer on must."
- Liitpropositsioonid. Need on kompleksset tüüpi need, mis sisaldavad täiendavaid elemente eitus-, konjunktsiooni-, disjunktsiooni- või implikatsioonitegurite kaudu ja mis lauseterminites koosnevad lausetest alluv ja muud komponendid. Näiteks: "Kui koer on must, pole koer sinine ega punane."
Propositsioon matemaatikas
Kuna matemaatika on loogikale väga lähedane formaalne keel, ei ole selle lähenemine väidetele liiga erinev, välja arvatud see, et ta kasutab numbreid, muutujaid ja matemaatilisi märke, et väljendada seoseid ja seoseid propositsiooni või ühe lause terminite vahel teistega. . Seega ka matemaatilised propositsioonid kinnitavad või eitavad midagi, luues seose, mida saab hinnata tõeseks või vääraks.
Näiteks avaldis 4 + 5 = 7 kinnitab nende suuruste vahelist formaalset seost, mida antud juhul võib pidada valeks, kuna selle resolutsioon näitab, et 4 + 5 = 9. Vaatamata sellele, et see on vale, võib siiski väita , ehk seda saab välja pakkuda.
Matemaatilisi propositsioone saab lisada keerukamaks muutujad, nagu võrrandid, mis väljendavad võimalikkuse ja variatsiooni seoseid. Näiteks avaldises x = 3y + z sõltuvad tõese või väära tähendused väärtustest, mille me muutujatele omistame, kuigi nende osakaal ja tähendus jäävad samaks, olenemata sellest.