Forutsetningen er et begrep som stammer fra det latinske praemissus . Konseptet brukes til å navngi ledetråd, symptom eller formodning som gjør at vi kan utlede noe og trekke en konklusjon.
For logikk og filosofi er premissene derfor de proposisjoner som går foran konklusjonen. Dette betyr at nevnte konklusjon stammer fra lokalene, selv om disse kan være sanne eller usanne.
For eksempel:
- Lokal nr. 1: "Mennesker som havet"
- Lokal nr. 2: "Facundo er et menneske"
- Konklusjon: "Facundo liker havet"
Som det kan sees i eksemplet, er det mulig å konkludere med at Facundo må like det hvis mennesker liker havet og Facundo er et menneske. Konklusjonen kan selvfølgelig være feil siden den første forutsetningen ikke er nøyaktig: det er mennesker som ikke liker havet.
I andre tilfeller kan lokalene være sanne, og likevel kan konklusjonen være falsk:
- Lokal nr. 1: "Hver mandag våkner Fernanda klokka 8 om morgenen"
- Lokal nr. 2: "I dag våknet Fernanda klokka 8 om morgenen"
- Konklusjon: "I dag er mandag"
I dette eksemplet kan konklusjonen være falsk selv om premissene er sanne, siden den første forutsetningen ikke er eksklusiv. Det kan derfor stemme at Fernanda våkner hver mandag klokka 8 om morgenen, men hun kan også våkne på det tidspunktet en hvilken som helst annen dag i uken.
Til slutt, i språklig språk, brukes ideen om et premiss vanligvis som et synonym for prinsipp (i moralsk forstand), verdi eller objektiv: "Det katalanske laget søker alltid seier basert på premisset om å kontrollere ballen" , "Vi startet reise med daggry med forutsetningen om å ankomme destinasjonen ved lunsjtid ” .
syllogisme
En syllogisme kalles en form for deduktiv resonnement, det vil si et argument der konklusjonen oppnås uten unntak fra premissene. I dette tilfellet er det tre forslag: to premisser og konklusjonen. Den første som formulerte en syllogisme var den greske filosofen og logikeren Aristoteles i sitt arbeid med tittelen " The Organon ", som kan oversettes som "instrumentet."I følge Aristoteles er logikk et forhold mellom begreper, som er forbundet eller delt i dommer, og i hans visjon om sistnevnte griper også et subjekt og et predikat inn. Selv om dømmebegrepet noen ganger blir forvekslet med proposisjonen, er det klare forskjeller: den første tilskriver et predikat til et logisk emne og begrepene, en semantisk og en syntaktisk funksjon; proposisjonen er derimot en uttalelse om et faktum som logisk innhold, noe som gjør det til en helhet.
Vilkårene i en dom er relatert til hverandre, og deres sammenligning med en som kan anses som midler gir muligheten for at konklusjonene dukker opp. På denne måten består syllogismen av to dommer, hoved- og mindre premiss, der tre begreper blir sammenlignet med hverandre og derfra blir en ny født, som kalles en konklusjon. Logikkens lover prøver å sikre at sannheten til de tre første forblir i den fjerde.
Den grunnleggende strukturen i en syllogisme er følgende:
* Forhånd, bestående av hovedforutsetningen (med predikatet for konklusjonen, representert med bokstaven P) og den mindre forutsetningen (emnet for konklusjonen, representert med bokstaven S), som sammenlignes under hensyntagen til mellom sikt, representert med M;
* Konsekvent, som er resultatet av nevnte sammenligning.