• Wat is een voorstel?
• Stelling in de filosofie
• Stelling in logica
• Eenvoudige en samengestelde uitspraken
• Stelling in de wiskunde

We leggen uit wat een propositie is, de betekenis ervan in de filosofie, logica en wiskunde. Ook eenvoudige en samengestelde proposities.

Een propositie kan als waar of onwaar worden beoordeeld.

Wat is een voorstel?

Een voorstel is in algemene termen iets dat wordt voorgesteld. Dat wil zeggen, het is een equivalente uitdrukking van a simpele zin assertief, een gebed waarin wordt bevestigd dat iets is, dat iets bestaat of dat het een bepaald kenmerk heeft. Daarom kan het als waar worden beoordeeld (als het overeenkomt met de realiteit) of als onwaar (als dat niet het geval is).

Het is een term die veel wordt gebruikt in verschillende kenniscontexten, zoals bepaalde formele disciplines (logica, wiskunde) Golf taalkunde en de filosofie. Het idee is dat, door verschillende proposities als antecedenten te nemen, het mogelijk is om bepaalde conclusies, en bovendien kan de procedure waarmee we ze hebben verkregen zorgvuldig worden bestudeerd.

In ieder geval moet een zin worden opgevat als een aaneenschakeling van tekens die tot dezelfde taal behoren, of het nu klanken of tekens (in een natuurlijke taal) of tekens en voorstellingen (in een formele taal) zijn.

Terwijl in de omgangstaal een voorstel wordt opgevat als een voorstel: een uitnodiging die we aan een ander of anderen doen en die kan worden geaccepteerd of afgewezen.

Ten slotte moeten we een zin niet verwarren met een voorzetsel. De laatste is slechts een grammaticale categorie, dat wil zeggen een soort van woorden, die een min of meer voor de hand liggende grammaticale betekenis hebben en die dienen om relaties tussen dingen vast te stellen. Voorbeelden van voorzetsels zijn: de, para, contra, entre, por, sobre, bajo, en, etc.

Stelling in de filosofie

Binnen het veld van het filosofische debat is er sprake van een voorstel om te verwijzen naar een mentale handeling waardoor een oordeel over de werkelijkheid wordt uitgedrukt in een specifieke taal, waardoor een of andere relatie kan worden vastgesteld tussen een onderwerp en een predikaat bepaald.

In die zin moet de propositie niet worden verward met de zin waarmee het wordt uitgedrukt, aangezien hetzelfde oordeel kan worden uitgedrukt door verschillende zinnen, zoals in:

• Ana is een vrouw.
• Ana is geen man.

Stelling in logica

Logica bestudeert de relaties tussen proposities en de redeneermechanismen die ons in staat stellen om uit elkaar te komen. Op zichzelf onderscheiden proposities zich van oordelen, aangezien de eerste iets over de werkelijkheid voorstelt en de tweede er iets van bevestigt of ontkent. Dat wil zeggen, proposities zijn het logische product van oordelen.

Formele logica vertegenwoordigt proposities door middel van letters van het alfabet, om de logische verbanden daartussen te bestuderen, geabstraheerd van hun semantische inhoud: "als P dan wat”.

Uit deze relatie kan dan worden bepaald in welke gevallen de uitgedrukte inhoud waar is, en in welke gevallen het niet waar is, door middel van de zogenaamde "waarheidstabellen", die waar (V) of onwaar (F) waarden toekennen aan de gevestigde relatie, om de mogelijke uitkomsten ervan te bestuderen.

Eenvoudige en samengestelde uitspraken

Logica classificeert proposities in twee typen: enkelvoudig en samengesteld, afhankelijk van hun conformatie.

• Simpele voorstellen. Het zijn degenen die zijn samengesteld uit een subject en een predikaat dat direct gerelateerd is, zonder dat factoren als negatie (nee), conjunctie (en), disjunctie (of) of implicatie (als ... dan) verschijnen. In zin-termen komen ze overeen met eenvoudige zinnen zonder ondergeschikten. Bijvoorbeeld: "De hond is zwart."
• Samengestelde voorstellen. Het zijn die van een complex type, die extra elementen bevatten door middel van ontkenning, conjunctie, disjunctie of implicatiefactoren, en die in zintermen bestaan ​​uit zinnen met ondergeschikt en andere componenten. Bijvoorbeeld: "Als de hond zwart is, is de hond niet blauw of rood."

Stelling in de wiskunde

Aangezien wiskunde een formele taal is die heel dicht bij logica staat, is de benadering van proposities niet al te verschillend, behalve dat het getallen, variabelen en wiskundige tekens gebruikt om de relatie en verbanden tussen de termen van een propositie of van een met andere uit te drukken. . Zo bevestigen of ontkennen wiskundige proposities ook iets, waardoor een verband tot stand wordt gebracht dat als waar of onwaar kan worden beoordeeld.

De uitdrukking 4 + 5 = 7 bevestigt bijvoorbeeld een formeel verband tussen deze grootheden, wat in dit geval als onwaar kan worden beschouwd, aangezien de resolutie aangeeft dat 4 + 5 = 9. Ondanks dat het onwaar is, kan worden gesteld , dat wil zeggen, het kan worden voorgesteld.

Wiskundige proposities kunnen complexer worden gemaakt door variabelen, zoals vergelijkingen, die betrekkingen van mogelijkheid en variatie uitdrukken. In de uitdrukking x = 3y + z hangen de betekenissen van waar of onwaar bijvoorbeeld af van de waarden die we aan de variabelen toewijzen, hoewel hun verhouding en hun betekenis hoe dan ook hetzelfde zullen blijven.