• Vad är ett förslag?
• Proposition i filosofi
• Proposition i logik
• Enkla och sammansatta påståenden
• Proposition i matematik

Vi förklarar vad en proposition är, dess betydelse i filosofi, logik och matematik. Dessutom enkla och sammansatta propositioner.

Ett påstående kan bedömas som sant eller falskt.

Vad är ett förslag?

Ett förslag, i allmänna termer, är något som föreslås. Det vill säga, det är ett likvärdigt uttryck för a enkel mening påstridig, en bön där det bekräftas att något är, att något existerar eller att det har en viss egenskap. Därför kan det bedömas som sant (om det stämmer överens med verkligheten) eller falskt (om det inte gör det).

Det är en term som används ofta i olika kunskapssammanhang, såsom vissa formella discipliner (logik, matematik) Vinka lingvistik och den filosofi. Tanken är att, med olika påståenden som antecedent, är det möjligt att få vissa Slutsatser, och vidare kan förfarandet genom vilket vi har erhållit dem noggrant studeras.

I vilket fall som helst måste en proposition förstås som en kedja av tecken som tillhör samma språk, oavsett om de är ljud eller tecken (på ett naturligt språk) eller tecken och representationer (i ett formellt språk).

Medan ett förslag i vardagsspråk förstås som ett förslag: en inbjudan som vi gör till en annan eller andra och som kan accepteras eller förkastas.

Slutligen får vi inte blanda ihop en proposition med en preposition. Den senare är bara en grammatisk kategori, det vill säga en typ av ord, som har en mer eller mindre uppenbar grammatisk betydelse, och som tjänar till att upprätta relationer mellan saker. Exempel på prepositioner är: de, para, contra, entre, por, sobre, bajo, en, etc.

Proposition i filosofi

Inom den filosofiska debattens område talas det om ett förslag att hänvisa till en mental handling genom vilken en bedömning av verkligheten uttrycks på ett specifikt språk, vilket gör det möjligt att etablera ett förhållande av något slag mellan en ämne och a predikat fast besluten.

I denna mening bör påståendet inte förväxlas med meningen med vilket det uttrycks, eftersom samma bedömning kan uttryckas genom olika meningar, som i:

• Ana är en kvinna.
• Ana är inte en man.

Proposition i logik

Logiken studerar sambanden mellan propositioner och de resonemangsmekanismer som gör att vi kan komma fram till en från en annan. I och för sig skiljer sig påståenden från domar, eftersom de förra föreslår något om verkligheten och de senare bekräftar eller förnekar något av den. Det vill säga, propositioner är den logiska produkten av bedömningar.

Formell logik representerar propositioner genom bokstäver i alfabetet, för att studera de logiska sambanden mellan dem abstraherat från deras semantiska innehåll: "om sid sedan Vad”.

Från detta förhållande kan det bestämmas i vilka fall det uttryckta innehållet är sant, och i vilka fall det är falskt, genom de så kallade "sanningstabellerna", som tilldelar sanna (V) eller falska (F) värden till det etablerade förhållandet, för att studera dess möjliga resultat.

Enkla och sammansatta påståenden

Logik klassificerar propositioner i två typer: enkla och sammansatta, beroende på deras konformation.

• Enkla förslag. De är de som är sammansatta av ett subjekt och ett predikat som är direkt relaterat, utan faktorer som negation (nej), konjunktion (och), disjunktion (eller) eller implikation (om ... då) förekommer. I meningstermer motsvarar de enkla meningar utan underordnade. Till exempel: "Hunden är svart."
• Sammansatta förslag. De är de av en komplex typ, som innehåller ytterligare element genom negation, konjunktion, disjunktion eller implikationsfaktorer, och som i meningstermer består av meningar med underlydande och andra komponenter. Till exempel: "Om hunden är svart är hunden varken blå eller röd."

Proposition i matematik

Eftersom matematik är ett formellt språk som ligger mycket nära logiken, är dess inställning till propositioner inte alltför annorlunda, med undantaget att den använder siffror, variabler och matematiska tecken för att uttrycka förhållandet och sambanden mellan termerna i en proposition eller en med andra. . Matematiska påståenden bekräftar eller förnekar alltså något, och etablerar ett samband som kan bedömas som sant eller falskt.

Till exempel bekräftar uttrycket 4 + 5 = 7 ett formellt förhållande mellan dessa storheter, vilket i detta fall kan betraktas som falskt, eftersom dess upplösning indikerar att 4 + 5 = 9. Men trots att det är falskt kan det sägas , det vill säga det kan föreslås.

Matematiska propositioner kan göras mer komplexa genom att införliva variabler, som ekvationer, uttrycker relationer mellan möjlighet och variation. Till exempel, i uttrycket x = 3y + z kommer betydelsen av sant eller falskt att bero på de värden vi tilldelar variablerna, även om deras andel och deras betydelse förblir densamma oavsett vad.