Selgitame, mis on eeldus, selle funktsiooni arutluskäigus, erinevusi peamiste ja kõrvalruumide vahel ning erinevaid näiteid.
Mis on eeldus?
sisse loogika Y filosoofia, ruumid kutsutakse ettepanekud initsiaalid a argument, kust on võimalik jõuda a järeldus. Viimast tuleb menetluse kaudu järeldada või esimesest lahutada deduktiivne või induktiivne see on kehtiv, see tähendab kehtiva, loogilise argumendi moodustamine.
See sõna pärineb ladina keelest praemissus, “Varem saadetud”, mille moodustavad omakorda eel- ("enne ja mitra ("Saada" või "viska"), nii et see on alati viidanud sellele, mis on ette antud, mis on esialgu omandis.
Niisamuti on ruumid a lähtepunktiks arutluskäik, ehk mida me juba teame või mida meile on räägitud või antud ja kust meie deduktiivne töö algab. Piltlikult öeldes vihjed, mida detektiiv peab koguma, et jõuda teatud järeldusele, st taustal, hüpotees.
Ruumide uurimine pärineb klassikalisest antiigist, mil Kreeka ja Rooma suured mõtlejad uurisid loogikat ja loogikat. oratoorium vormidena arvasin, üldiselt ümber süllogism: teatud tüüpi arutluskäik, milles kahe eelduse, ühe üldise ja ühe konkreetse eeldusel saadakse järeldus.
Kuna tegemist on propositsioonidega, kinnitavad või eitavad eeldused alati midagi, mis võib olla üldist või spetsiifilist laadi ja seetõttu võib olla tõene või väär. Seda kinnitust või eitamist väljendatakse lausega, näiteks "Kariibi mere piirkonnas on kuum kliima" või "Kõik planeedid on ümmargused" või "Ükski siga ei saa lennata".
Siiski ei määra eelduste tõesus või väärus, kas arutluskäik on kehtiv või mitte, sest valedest eeldustest saab järeldada tõeseid järeldusi.
Argumendi või arutluse olemus oleneb eelduste ja järelduste vahelisest suhtest. Näiteks deduktiivne arutlus teeb konkreetse järelduse üldistest eeldustest, samas kui induktiivne arutlus käib vastupidises suunas.
Lisaks on ühe või mitme eeldusega arutluskäike ja isegi selliseid, mis nõuavad järeldusele jõudmiseks täiendavaid eeldusi.
Eelduse tüübid
Kreeklase Aristotelese (384–322 eKr) süllogismi uurimuse kohaselt on seda tüüpi loogilistes arutlustes kahte tüüpi eeldusi: peamine eeldus ja väike eeldus.
- Peamine eeldus on tavaliselt üldist tüüpi ja sisaldab järelduse predikaati. Üldine väide on selline, mis viitab teatud asjade kogumile või kogumile, näiteks: "Kõik inimesed on surelikud."
- Minoorne eeldus on tavaliselt teatud tüüpi ja sisaldab järelduse subjekti. Konkreetne väide on selline, mis viitab konkreetsele asjale või teemale, näiteks: "John on surelik."
Siiski on ka teist tüüpi eeldusi, näiteks kaudseid, mida ei mainita või millest aru ei saada, nagu näiteks: "Kõik inimesed on surelikud ja Johannes suri eile", mille puhul pole vaja täpsustada, et Johannes on mees.
Ruumide näited
Mõned näited ruumide kohta on järgmised:
Peamine eeldus: Kõikidel lindudel on nokad.
Väike eeldus: Kana on lind.
Järeldus: kõigil kanadel on nokad.
Peamine eeldus: Ükski imetaja ei saa vee all hingata.
Väike eeldus: Vaalad on imetajad.
Järeldus: ükski vaal ei saa vee all hingata.
Peamine eeldus: päike paistab.
Väike eeldus: Päike on täht.
Järeldus: tähed säravad.