- kenmerken
- Eenvoudig of samengesteld
- Verklarend
- Geen dubbelzinnigheid
- Met een enkele waarheidswaarde
- Gevoelig om symbolisch te worden weergegeven
- Gebruik van connectoren of logische connectieven
- Waarheidstabellen
- Voorbeelden van verkeerde stellingen
- Simpele voorstellen
- Samengestelde proposities
- Referenties
De foutieve proposities zijn logische entiteiten met een waarheidswaarde nul (false). In het algemeen is een propositie een linguïstische (zin) of wiskundige uitdrukking waarvan de waarheid of onwaarheid kan worden verzekerd. Proposities vormen de basis van logica en vormen een heel specifiek veld dat bekend staat als propositielogica.
Op deze manier is het belangrijkste kenmerk van een propositie de mogelijkheid om te worden verklaard op basis van zijn waarheidswaarde (onwaar of waar). Bijvoorbeeld de uitdrukking Juan, ga naar de winkel! het is geen voorstel omdat het deze mogelijkheid mist. Ondertussen gaan zinnen als Juan naar de winkel om te kopen of Juan naar de winkel om te doen.
Eenvoudig verkeerd voorstelvoorbeeld
Nu, op het wiskundige vlak, zijn "10−4 = 6" en "1 + 1 = 3" proposities. Het eerste geval gaat over een echte propositie. Het tweede maakt op zijn beurt deel uit van de foutieve proposities.
Dus wat belangrijk is, is niet de propositie of de manier waarop deze wordt gepresenteerd, maar de waarheidswaarde ervan. Als dit bestaat, dan bestaat de propositie ook.
kenmerken
Eenvoudig of samengesteld
Foutieve proposities kunnen eenvoudig zijn (ze drukken slechts één waarheidswaarde uit) of samengesteld (ze drukken meerdere waarheidswaarden uit). Dit hangt ervan af of uw componenten al dan niet worden beïnvloed door kettingelementen. Deze gerelateerde elementen staan bekend als connectoren of logische connectieven.
Een voorbeeld van de eerste zijn foutieve proposities van het type: "Het witte paard is zwart", "2 + 3 = 2555" of "Alle gevangenen zijn onschuldig".
Van het tweede type corresponderen proposities zoals "Het voertuig is zwart of het is rood", "Als 2 + 3 = 6, dan 3 + 8 = 6". In het laatste wordt het verband tussen ten minste twee eenvoudige proposities waargenomen.
Net als bij de ware, zijn de valse stellingen verweven met andere eenvoudige stellingen waarvan sommige onwaar en andere juist kunnen zijn. Het resultaat van de analyse van al deze proposities leidt tot een waarheidswaarde die representatief zal zijn voor de combinatie van alle betrokken proposities.
Verklarend
Foutieve proposities zijn declaratief. Dit betekent dat ze altijd een bijbehorende waarheidswaarde hebben (false waarde).
Als u bijvoorbeeld "x is groter dan 2" of "x = x" hebt, kunt u de waarde van onwaarheid (of waarachtigheid) pas vaststellen als u weet dat "x" staat voor. Daarom wordt geen van de twee uitdrukkingen als declaratief beschouwd.
Geen dubbelzinnigheid
De foutieve proposities hebben geen dubbelzinnigheid. Ze zijn zo geconstrueerd dat ze maar één mogelijke interpretatie hebben. Op deze manier is de waarheidswaarde ervan een vaste en unieke waarde.
Aan de andere kant weerspiegelt dit gebrek aan dubbelzinnigheid de universaliteit ervan. Deze kunnen dus universeel negatief, in het bijzonder negatief en existentieel negatief zijn:
- Alle planeten draaien om de zon (universeel negatief).
- Sommige mensen produceren chlorofyl (vooral negatief).
- Er zijn geen landvogels (existentieel negatief).
Met een enkele waarheidswaarde
Foutieve proposities hebben maar één waarheidswaarde, namelijk onwaar. Ze hebben niet tegelijkertijd de echte waarde. Elke keer dat dezelfde propositie wordt opgeworpen, blijft de waarde ervan onwaar zolang de voorwaarden waaronder deze is geformuleerd niet veranderen.
Gevoelig om symbolisch te worden weergegeven
Onjuiste stellingen kunnen symbolisch worden voorgesteld. Daartoe worden de eerste letters van de woordenschat op een conventionele manier toegewezen om ze aan te duiden. Dus in propositionele logica symboliseren de kleine letters a, b, c en daaropvolgende letters proposities.
Als een voorstel eenmaal een symbolische letter heeft gekregen, blijft het tijdens de analyse behouden. Evenzo, als de overeenkomstige waarheidswaarde wordt toegekend, doet de inhoud van de propositie er niet langer toe. Alle volgende analyses zullen gebaseerd zijn op het symbool en de waarheidswaarde.
Gebruik van connectoren of logische connectieven
Door het gebruik van koppelingen (connectoren of logische connectieven) kunnen verschillende simpele verkeerde proposities worden samengesteld en een verbinding vormen. Deze connectoren zijn conjunctie (en), disjunctie (of), implicatie (toen), gelijkwaardigheid (als en slechts als) en negatie (nee).
Deze connectoren brengen ze in verband met anderen die al dan niet ook verkeerd zijn. De waarheidswaarden van al deze proposities worden met elkaar gecombineerd, volgens vaste principes, en geven een "totale" waarheidswaarde voor de gehele samengestelde propositie of argument, zoals het ook bekend is.
Aan de andere kant geven de connectoren de 'totale' waarheidswaarde van de proposities die ze aan elkaar ketenen. Een verkeerde instructie die bijvoorbeeld is gekoppeld aan een verkeerde instructie via een disjunctieconnector, retourneert een valse waarde voor de verbinding. Maar als het is vastgeketend aan een ware bewering, zal de waarheidswaarde van de samengestelde bewering waar zijn.
Waarheidstabellen
Alle mogelijke combinaties van waarheidswaarden die de foutieve proposities kunnen aannemen, worden waarheidstabellen genoemd. Deze tabellen zijn een logisch hulpmiddel voor het analyseren van verschillende aan elkaar gekoppelde foutieve proposities.
Nu kan de verkregen waarheidswaarde waar (tautologie), onwaar (tegenspraak) of voorwaardelijk (onwaar of waar, afhankelijk van de omstandigheden) zijn. Deze tabellen houden geen rekening met de inhoud van elk van de foutieve uitspraken, alleen met hun waarheidswaarde. Daarom zijn ze universeel.
Voorbeelden van verkeerde stellingen
Simpele voorstellen
Simpele proposities hebben een enkele waarheidswaarde. In dit geval is de waarheidswaarde onwaar. Deze waarde wordt toegekend afhankelijk van de persoonlijke perceptie van de realiteit van de persoon die haar toekent. De volgende eenvoudige instructies hebben bijvoorbeeld een false-waarde:
- Het gras is blauw.
- 0 + 0 = 2
- Studeren maakt mensen gewelddadig.
Samengestelde proposities
Samengestelde foutieve zinnen worden gevormd uit eenvoudige zinnen die zijn verbonden via connectoren:
- Het gras is blauw en studeren stompt mensen af.
- 0 + 0 = 2 of het gras is blauw.
- Als 0 + 0 = 2, dan is het gras blauw.
- 0 + 0 = 2, en het gras is blauw als en slechts als studeren mensen stomverbaasd maakt.
Referenties
- De Universiteit van Texas in Austin. (s / f). Propositionele logica. Genomen uit cs.utexas.edu.
- Simon Fraser University. (s / f). Propositionele logica. Genomen uit cs.sfu.ca.
- Old Dominion University. (s / f). Propositie. Genomen uit cs.odu.edu.
- Internet Encyclopedia of Philosophy. (s / f). Propositionele logica. Ontleend aan iep.utm.edu.
- Encyclopædia Britannica. (2011, april). Waarheidstabel. Genomen van britannica.com.
- Andrade, E .; Cubides, P.; Márquez, C.; Vargas, E. en Cancino, D. (2008). Logica en formeel denken. Bogotá: Redactie Universidad del Rosario.
- Grant Luckhardt, C.; Bechtel, W. (1994). Hoe u dingen met logica kunt doen. New Jersey: Lawrence Erlbaum Associates, Inc.