• Hva er et forslag?
• Proposisjon i filosofi
• Proposisjon i logikk
• Enkle og sammensatte utsagn
• Proposisjon i matematikk

Vi forklarer hva en proposisjon er, dens betydning i filosofi, logikk og matematikk. Også enkle og sammensatte forslag.

Et forslag kan bedømmes som sant eller usant.

Hva er et forslag?

Et forslag, generelt sett, er noe som foreslås. Det vil si at det er et ekvivalent uttrykk for en enkel setning selvsikker, en bønn der det bekreftes at noe er, at noe eksisterer eller at det har en bestemt egenskap. Derfor kan det bedømmes som sant (hvis det stemmer med virkeligheten) eller usant (hvis det ikke stemmer).

Det er et begrep som er mye brukt i ulike kunnskapskontekster, for eksempel visse formelle disipliner (logikk, matte) bølge lingvistikk og filosofi. Tanken er at ved å ta forskjellige forslag som antecedenter, er det mulig å oppnå visse konklusjoner, og videre kan prosedyren som vi har fått dem gjennom studeres nøye.

Uansett må en proposisjon forstås som en kjede av tegn som tilhører samme språk, enten de er lyder eller tegn (på et naturlig språk) eller tegn og representasjoner (på et formelt språk).

Mens et forslag i dagligtale forstås som et forslag: en invitasjon som vi sender til en annen eller andre og som kan aksepteres eller avvises.

Til slutt må vi ikke forveksle en proposisjon med en preposisjon. Sistnevnte er bare en grammatisk kategori, det vil si en type ord, som har en mer eller mindre åpenbar grammatisk betydning, og som tjener til å etablere forhold mellom ting. Eksempler på preposisjoner er: de, para, contra, entre, por, sobre, bajo, en, etc.

Proposisjon i filosofi

Innenfor feltet filosofisk debatt er det snakk om et forslag om å referere til en mental handling der en dom angående virkeligheten uttrykkes på et spesifikt språk, som gjør det mulig å etablere et forhold av noe slag mellom en Emne og a predikat fast bestemt.

I denne forstand bør forslaget ikke forveksles med setningen som det uttrykkes med, siden den samme dommen kan uttrykkes gjennom forskjellige setninger, som i:

• Ana er en kvinne.
• Ana er ikke en mann.

Proposisjon i logikk

Logikken studerer forholdet mellom påstander og resonnementmekanismene som lar oss komme frem til hverandre fra hverandre. I seg selv skiller påstander seg fra dommer, siden førstnevnte foreslår noe om virkeligheten og sistnevnte bekrefter eller benekter noe av den. Det vil si at proposisjoner er det logiske produktet av dommer.

Formell logikk representerer proposisjoner gjennom bokstaver i alfabetet, for å studere de logiske forbindelsene mellom dem abstrahert fra deres semantiske innhold: "hvis s deretter hva”.

Fra dette forholdet kan det bestemmes i hvilke tilfeller innholdet som uttrykkes er sant, og i hvilke tilfeller det er usant, gjennom de såkalte "sannhetstabellene", som tildeler sanne (V) eller falske (F) verdier til det etablerte forholdet, for å studere dets mulige utfall.

Enkle og sammensatte utsagn

Logikk klassifiserer proposisjoner i to typer: enkle og sammensatte, avhengig av deres konformasjon.

• Enkle forslag. De er de som er sammensatt av et subjekt og et predikat som er direkte relatert, uten faktorer som negasjon (nei), konjunksjon (og), disjunksjon (eller) eller implikasjon (hvis ... da) vises. I setningstermer tilsvarer de enkle setninger uten underordnede. For eksempel: "Hunden er svart."
• Sammensatte forslag. De er de av en kompleks type, som inkorporerer tilleggselementer gjennom negasjons-, konjunksjons-, disjunksjons- eller implikasjonsfaktorer, og som i setningstermer består av setninger med underordnet og andre komponenter. For eksempel: "Hvis hunden er svart, er hunden verken blå eller rød."

Proposisjon i matematikk

Siden matematikk er et formelt språk som er veldig nær logikk, er dets tilnærming til proposisjoner ikke så forskjellig, med unntak av at den bruker tall, variabler og matematiske tegn for å uttrykke forholdet og sammenhengene mellom begrepene i en proposisjon eller en med andre. . Dermed bekrefter eller benekter matematiske påstander noe, og etablerer en sammenheng som kan bedømmes som sann eller usann.

For eksempel bekrefter uttrykket 4 + 5 = 7 et formelt forhold mellom disse mengdene, som i dette tilfellet kan betraktes som falske, siden oppløsningen indikerer at 4 + 5 = 9. Men til tross for at det er usant, kan det oppgis , det vil si at det kan foreslås.

Matematiske forslag kan gjøres mer komplekse ved å inkorporere variabler, som ligninger, uttrykker relasjoner mellom mulighet og variasjon. For eksempel, i uttrykket x = 3y + z vil betydningen av sant eller usant avhenge av verdiene vi tildeler variablene, selv om deres andel og betydning forblir den samme uansett hva.