Patalpos yra terminas, kilęs iš lotynų kalbos praemissus . Ši sąvoka naudojama pavadinimui, simptomui ar hipotezei įvardinti, kuri leidžia daryti išvadą ir daryti išvadą.

Todėl logikai ir filosofijai patalpos yra tos išvados, kurios yra prieš išvadą . Tai reiškia, kad ši išvada kyla iš patalpų, nors jos gali būti klaidingos arba teisingos.

Pavyzdžiui:

- Priemonė Nr. 1: „Žmonės kaip jūra“
- 2-oji vieta: „Facundo yra žmogus“
- Išvada: „Facundo mėgsta jūrą“

Kaip matyti iš pavyzdžio, jei žmonės mėgaujasi jūra ir Facundo yra žmogus, galima daryti išvadą, kad Facundo turi tai patinka. Žinoma, išvada gali būti neteisinga, nes pirmoji prielaida nėra tiksli: yra žmonių, kurie nemėgsta jūros .

Kitais atvejais patalpos gali būti teisingos, tačiau išvada yra klaidinga:

- 1-asis namas: „Kiekvieną pirmadienį Fernanda atsibunda 8 val. Ryte“
- 2 prielaida: „Šiandien Fernanda pabudo 8 ryte“
- Išvada: „Šiandien yra pirmadienis“

Šiame pavyzdyje išvada gali būti klaidinga net tada, kai patalpos yra teisingos, nes pirmoji prielaida nėra išimtinė. Todėl gali būti tiesa, kad Fernanda kiekvieną dieną pirmadienį atsibunda 8 val., Bet tuo metu ji taip pat gali pabusti bet kurią kitą savaitės dieną.

Kalbos kalboje, pagaliau, prielaida, kad idėja paprastai naudojama kaip principo sinonimas (moraliniu požiūriu), vertė ar tikslas : „Katalonų komanda visada siekia pergalės, grindžiamos rutulio kontrolės prielaida“, „Pradėjome kelionė auštant su prielaida atvykti į pietų laiką .

Syllogism

Dedukcinio samprotavimo forma vadinama syllogism, tai yra argumentas, kuriame išvada gaunama be išimties iš patalpų. Šiuo atveju yra trys pasiūlymai: dvi patalpos ir išvados. Pirmoji formuluotė syllogism buvo graikų filosofas ir logiškas Aristotelis savo darbe, pavadintame " Organas ", kuris gali būti išverstas kaip "instrumentas".

Aristotelio teigimu, logika yra terminų santykis, susiliejęs ar suskirstytas į sprendimus, ir jų nuomone, taip pat įsikiša subjektas ir predikatas. Nors teismo sprendimo sąvoka kartais painiojama su pasiūlymo samprata, yra aiškių skirtumų: pirmieji atributai priskiriami loginiam dalykui ir terminai semantinė ir sintaksinė funkcija; kita vertus, pasiūlymas yra faktas kaip logiškas turinys, paverčiantis jį visuma.

Tyrimo sąlygos yra tarpusavyje susijusios ir jų palyginimas su tokia, kuri galėtų būti laikoma vidutine, suteikia galimybę, kad išvados pasirodys. Tokiu būdu syllogism susideda iš dviejų sprendimų: pagrindinės ir mažos prielaidos, kuriose trys terminai yra lyginami vienas su kitu ir iš ten gimsta nauja, kuri vadinama baigiamuoju. Logikos įstatymai stengiasi užtikrinti, kad pirmosios trys tiesos išliktų ketvirtoje.

Pagrindinė sililizmo struktūra yra tokia:

* Ankstesnis, sudarytas iš pagrindinės prielaidos (su išvados, kurią sudaro raidė P), ir nedidelės prielaidos (išvados dalykas, kurį sudaro raidė S), kurios palyginamos atsižvelgiant į vidutinį terminą, atstovaujama M;

* Consuecuente, kuris yra minėto palyginimo rezultatas .