Помещението е термин, произхождащ от латинския praemissus . Концепцията се използва за назоваване на знака, симптом или предположение, което позволява да се изведе нещо и да се направи заключение.

Следователно за логиката и философията помещенията са тези предложения, които предшестват заключението . Това означава, че това заключение е извлечено от помещенията, въпреки че те могат да бъдат фалшиви или верни.

Например:

- Помещение № 1: "Хората като морето"
- Помещение № 2: "Факундо е човешко същество"
- Заключение: "Факундо харесва морето"

Както може да се види в примера, ако човешките същества се радват на морето и Факундо е човешко същество, е възможно да се заключи, че Факундо трябва да го харесва. Разбира се, заключението може да е погрешно, тъй като първата предпоставка не е точна: има хора, които не харесват морето .

В други случаи помещенията могат да са верни и заключението е невярно:

- Помещение № 1: "Всеки понеделник Фернанда се събужда в 8 часа сутринта"
- Предпоставка № 2: "Днес Фернанда се събуди в 8 часа сутринта"
- Заключение: "Днес е понеделник"

В този пример заключението може да бъде невярно дори когато помещенията са верни, тъй като първата предпоставка не е изключителна. Следователно може да е истина, че Фернанда се събужда всеки понеделник в 8 часа сутринта, но може да се събуди и по това време всеки друг ден от седмицата.

В разговорния език, накрая, идеята за предпоставката обикновено се използва като синоним на принципа (в морален смисъл), стойност или цел : "Каталунският екип винаги търси победа въз основа на предпоставката да контролира топката", "Започнахме пътуване на разсъмване с предпоставката за пристигане в дестинацията на обяд " .

силогизъм

Една форма на дедуктивното разсъждение се нарича силогизъм, т.е. аргумент, при който заключението се получава без изключение от помещенията. В този случай има три предположения: две предпоставки и заключение. Първият, който формулира силогизъм, е гръцкият философ и логическият Аристотел в работата си, озаглавена " Органонът ", която може да се преведе като "инструмент".

Според Аристотел логиката е отношение на термините, които се събират или се разделят на съдби, и според тях се намесват субект и предикат. Въпреки че понятието за преценка понякога се бърка с това на предложението, съществуват ясни различия: първият приписва предикат на логически субект и термините семантична и синтактична функция; предложението, от друга страна, е утвърждаване на един факт като логическо съдържание, превръщайки го в едно цяло.

Условията на едно изпитание са свързани помежду си и тяхното сравнение с това, което може да се счита за средно, дава възможност да се появят изводите. По този начин силогизмът се състои от две преценки: основната и второстепенната предпоставка, в която три термина се сравняват един с друг и от там се ражда ново, което се нарича заключение. Законите на логиката се опитват да гарантират, че истината на първите три се запазва в четвъртата.

Основната структура на силогизъм е следната:

* Предимство, съставено от основната предпоставка (с предиката на заключението, представено от буквата Р) и второстепенната предпоставка (предмет на заключението, представена с буквата S), които се сравняват, като се вземе предвид средният срок, представени с М;

* Consuecuente, което е резултат от споменатото сравнение .