• Hvad er et forslag?
• Udsagn i filosofi
• Proposition i logik
• Simple og sammensatte udsagn
• Udsagn i matematik

Vi forklarer, hvad en proposition er, dens betydning i filosofi, logik og matematik. Også enkle og sammensatte forslag.

Et forslag kan bedømmes som sandt eller falsk.

Hvad er et forslag?

Et forslag er i generelle vendinger noget, der foreslås. Det vil sige, at det er et tilsvarende udtryk for en simpel sætning assertiv, en bøn hvor det bekræftes, at noget er, at noget eksisterer eller at det har en bestemt egenskab. Derfor kan det bedømmes som sandt (hvis det stemmer overens med virkeligheden) eller falsk (hvis det ikke gør det).

Det er et udtryk, der er meget brugt i forskellige videnskontekster, såsom visse formelle discipliner (logik, matematik) bølge lingvistik og filosofi. Tanken er, at det er muligt at opnå visse, hvis man tager forskellige påstande som antecedenter konklusioner, og desuden kan den procedure, hvorigennem vi har opnået dem, studeres omhyggeligt.

Under alle omstændigheder skal en proposition forstås som en kæde af tegn, der hører til samme sprog, hvad enten de er lyde eller tegn (i et naturligt sprog) eller tegn og repræsentationer (i et formelt sprog).

Hvorimod et forslag i daglig tale forstås som et forslag: en invitation, som vi fremsætter til en anden eller andre, og som kan accepteres eller afvises.

Endelig må vi ikke forveksle en påstand med en præposition. Sidstnævnte er blot en grammatisk kategori, det vil sige en type ord, som har en mere eller mindre indlysende grammatisk betydning, og som tjener til at etablere forhold mellem ting. Eksempler på præpositioner er: de, para, contra, entre, por, sobre, bajo, en osv.

Udsagn i filosofi

Inden for det filosofiske debatfelt taler man om et forslag om at referere til en mental handling, hvorigennem en dom over virkeligheden udtrykkes i et specifikt sprog, hvilket gør det muligt at etablere et forhold af en art mellem en emne og en prædikat fast besluttet.

I denne forstand bør påstanden ikke forveksles med den sætning, som den er udtrykt med, da den samme dom kan udtrykkes gennem forskellige sætninger, som i:

• Ana er en kvinde.
• Ana er ikke en mand.

Proposition i logik

Logik studerer forholdet mellem påstande og de ræsonnementmekanismer, der gør det muligt for os at nå frem til hinanden fra hinanden. I sig selv adskiller påstande sig fra domme, da førstnævnte foreslår noget om virkeligheden, og sidstnævnte bekræfter eller benægter noget af den. Det vil sige, at påstande er det logiske produkt af domme.

Formel logik repræsenterer påstande gennem bogstaver i alfabetet for at studere de logiske forbindelser mellem dem abstraheret fra deres semantiske indhold: "hvis s derefter hvad”.

Ud fra dette forhold kan det afgøres i hvilke tilfælde det udtrykte indhold er sandt, og i hvilke tilfælde det er falsk, gennem de såkaldte "sandhedstabeller", som tildeler sande (V) eller falske (F) værdier til det etablerede forhold, for at studere dets mulige resultater.

Simple og sammensatte udsagn

Logik klassificerer propositioner i to typer: simple og sammensatte, afhængigt af deres konformation.

• Simple forslag. De er dem, der er sammensat af et subjekt og et prædikat, der er direkte relateret, uden faktorer af negation (nej), konjunktion (og), disjunktion (eller) eller implikation (hvis ... så) forekommer. I sætningstermer svarer de til simple sætninger uden underordnede. For eksempel: "Hunden er sort."
• Sammensatte forslag. Det er dem af en kompleks type, som inkorporerer yderligere elementer gennem negations-, konjunktion-, disjunktions- eller implikationsfaktorer, og som i sætningstermer består af sætninger med underordnet og andre komponenter. For eksempel: "Hvis hunden er sort, er hunden hverken blå eller rød."

Udsagn i matematik

Da matematik er et formelt sprog, der er meget tæt på logik, er dets tilgang til påstande ikke for anderledes, med den undtagelse, at det bruger tal, variable og matematiske tegn til at udtrykke forholdet og forbindelserne mellem vilkårene i en påstand. eller af en med andre . Matematiske påstande bekræfter eller benægter således også noget og etablerer en forbindelse, der kan bedømmes som sand eller falsk.

For eksempel bekræfter udtrykket 4 + 5 = 7 et formelt forhold mellem disse størrelser, hvilket i dette tilfælde kan betragtes som falsk, da dets opløsning indikerer, at 4 + 5 = 9. Men på trods af at det er falsk, kan det angives , det vil sige, at det kan foreslås.

Matematiske udsagn kan gøres mere komplekse ved at inkorporere variabler, ligesom ligninger, der udtrykker relationer mellem mulighed og variation. For eksempel i udtrykket x = 3y + z vil betydningen af ​​sand eller falsk afhænge af de værdier, vi tildeler variablerne, selvom deres andel og deres betydning forbliver den samme uanset hvad.