Voorstel

Mei 15, 2016 Ester Gernaey V 0 3
FONT SIZE:
fontsize_dec
fontsize_inc

In de filosofie en logica, wordt het voorstel term gebruikt om te verwijzen naar:

  • Carriers entiteiten waarheid waarden.
  • De objecten van geloof en andere propositionele attitudes.
  • De betekenis van declaratieve of declaratieve zinnen als "de zon is een ster."

Het is een logisch product van het denken, dat wordt uitgedrukt door middel van taal, zij het een gemeenschappelijke taal of geformaliseerd, wanneer het in de vorm van grammaticale zin, of symbolische, uitgedrukt door tekenen of symbolen van een formele taal.

In de traditionele logica van de propositie en gericht zijn onderscheiden, omdat de eerste is het logische resultaat van de handeling waarbij bevestigt of ontkent iets van iets, terwijl deze wet is het proces.

Aristoteles, het voorstel is beperkt tot een perfecte toespraak, die wordt uitgedrukt in een proces dat waar en onwaar als proef termen betekenen. Dus de beslissing is een categorische verklaring, dat wil zeggen, ongeconditioneerd die adequaat vertegenwoordigt de werkelijkheid.

Logica en andere wetenschappen

Een taaluiting kan worden beschouwd als een logische stelling als het kan worden waar of onwaar. Bijvoorbeeld: "Het is 's nachts" kunnen waar of onwaar zijn.

Hoewel er gewaardeerd logica, om het concept duidelijkheid, hier beschouwen we alleen de waarde van de waarheid of onwaarheid.

atoom, of eenvoudige propositie wordt genoemd, als het verwijst naar de unieke inhoud van de waarheid of leugen; zou gelijk aan de eenvoudige declaratieve zin in de taal.

Moleculaire propositie wanneer deze wordt gevormd door verscheidene atoom voorstellen verbonden door bepaalde deeltjes genaamd "verbindingen of verbindende" vaststelling syntactische relaties als de coördinatie en de onderwerping tussen bepaalde stellingen die integreren; die optreedt in de functie van voegwoorden in samengestelde zinnen van de taal.

Voorstel, verklaring en geloof

"Het regent" is een verklaring, zoals "Het regent". Beide verklaringen te uiten dezelfde logische propositie omdat beide altijd vertegenwoordigen dezelfde waarheid waarde, waar of onwaar in elke situatie, of waar of onwaar.

De verklaring van geloof is ook onderscheiden. Zien, zien het regent als een interne handeling van de individuele basis geloof, ongeacht hun linguïstische expressie. We kunnen het beschouwen als een of andere manier dacht. Kijk uit het raam en zie dat het regent doet een geloof dat "het regent", of het wordt uitgedrukt in een verklaring bevestigend.

Als een logische propositie ,, wat telt is alleen de functie "naar waar of onwaar zijn."

Sommige filosofen derhalve begon te geloven dat de logica spreekt zijn, die al dan niet kunnen zijn, of "compossible werelden", maar niet echt ..

De logica is bezorgd over de voorstellen; en de studie van de manieren waarop geldig vanaf de waarheid of onwaarheid van een of meer stellingen kunnen argumenteren of afleiden van de waarheid of onwaarheid van anderen.

Dus de logische waarheid is een formele waarheid, die geen inhoud heeft. Dat verklaart waarom het haar wetten en regels op een symbolische wijze tot stand kan brengen door het bouwen van diverse berekeningen die kunnen maken sommige taalkundige contexten of wetenschappelijke theorieën, vergelijkbaar met de wiskunde.

Zijn fundamenteel element is de logische propositie en het definiëren van de regels, die als logische wetten toestaan ​​dat de transformatie van de welgevormde uitdrukkingen s andere gelijkwaardige, als gevolgtrekkingen.

Bedenk dat de logische berekening op basis van V en F-waarde, vertaald als binaire 1 en 0, is de basis waarop gebouwd rekenmachines en computers of computers.

De verklaringen en subjectieve oordelen zijn bestudeerd door andere wetenschappen.

Atomaire en moleculaire beweging

In deze gevallen hebben we alleen overwogen de mogelijkheid van een atoom of eenvoudige verklaring, gesymboliseerd door een enkele variabele. Deze stellingen worden atomaire genoemd.

Als we logische verbanden tussen de verschillende voorstellen tot stand volgens de regels goed ingeburgerd in hun symbolische elementen en functies gedefinieerd als waarheid, of bouwen van moleculaire verbinding proposities.

Dus de stelling "Als het regent dan is de grond nat", verbindt de stelling "het regent" met de stelling "de grond nat" functie onder het aspect van de waarheid "als ... dan ...".

Logische propositie en waarheid waarden

De waarheid waarde van een atomaire logische propositie is, per definitie, waar of onwaar.

Dus de uitspraak "het regent" is waar als en alleen als het regent op het moment. Maar als de verklaring wordt beschouwd als atomaire logische propositie, p, dan kunnen zowel waar en onwaar.

Het is een waarheid van het feit of voorwaardelijke, want het heeft twee mogelijke waarden van de waarheid, door de definitie van logische propositie.

De inhoud van de relatie van een verklaring met de werkelijke niet het onderwerp van logica maar andere wetenschappen.

Waarheid of voorwaardelijke feit, tegenspraak en tautologie

De waarheid waarde van een moleculaire zin kan de volgende gevallen bieden:

De logische waarde V van de stelling 'het regent en het is warm, "het wordt alleen gegeven in het geval dat de twee stellingen" regen "en" hot "worden genomen als een waarde van V; in andere gevallen onjuist wordt. Maar de stelling "regent of hot" genoeg dat één van de twee wordt als waarheidswaarde V voor de moleculaire stelling waar is. De "en" bindvlies en functie "of" dilemma tabellen gedefinieerd in de waarheid, als waarheid functies of bindweefsel functors.

De twee moleculaire stellingen hierboven beschreven kan waar of onwaar zijn naargelang de waarden die rekening houden met alle voorstellen daarin. Dus beide zijn contingent.

De waarheid waarde van de stelling 'het regent en niet regent "is een contradictie en zal altijd vals zijn, ongeacht de waarde die wij als V of F van de" regen "en" regen ". De functie van de waarheid 'nee' wordt gedefinieerd door een waarheid tafel.

De waarheid waarde van de stelling 'het regent of niet regent, "is een tautologie en zal altijd waar zijn, ongeacht de waarden die wij geloven in" regen "of" regen ".

De analyse van de waarheidswaarde van een propositie wordt door waarheidstabellen.

Tautologieën worden gevormd als "logische wetten" of "formele waarheden 'en zijn de basis waarop de gevolgtrekking regels zijn gebouwd in de redenering of logische berekening.

Logische analyse van proposities

We hebben tot nu toe beschouwd als het voorstel in zijn geheel. Maar de stelling kan ook worden geanalyseerd op verschillende manieren:

  • Aangezien de toekenning wordt gemaakt van een woning als predikaat van een grammaticaal onderwerp.

Dit werd beschouwd als de logische propositie, als het oordeel van de termen in de traditionele logica. Volgens deze manier van het begrijpen van de logische stelling, de termen naar:

  • bestaande stoffen met een eigennaam, of
  • concepten die werkelijkheid adequaat vertegenwoordigen als essenties geabstraheerd door het intellect als de logische categorieën.

Vaak gesymboliseerd als S is P.

"Maximiliano run" wordt geïnterpreteerd volgens deze opvatting als "Maximilian is een wezen dat loopt nu," dat wil zeggen, Maximilian, Onderwerp, krijgt een predikaat actie run nu als een eigenschap die wordt gemaakt, in Maximilian en spreekt een aspect van de identiteit van Maximiliaan op dit moment; gebaseerd op die identiteit toerekening het mogelijk.

Aristotelische logica traditioneel dus beschouwd als de logische propositie. Dit type analyse is duidelijk verouderd, introduceert het werkwoord 'zijn' als een verwijzing naar het feit dat, per definitie, een extralogical element. Waarom Aristoteles beschouwde de formele geldigheid van hun argumenten categorisch syllogisme. Vandaag geen dergelijk argument wordt aanvaard als categorische, die niets neemt afstand van de formele geldigheid van het syllogisme. Vandaag is de logica van Aristoteles "interpreteert" dergelijke logica klassen.

  • Als de vereniging of de scheiding van klassen die hebben of een gemeenschappelijk eigendom hebben.

Een klasse is het concept van een eigenschap die niet kan bepalen of een verzameling of een reeks van individuen. De klasse is logisch, zelfs als er geen personen te bevorderen; maar individuen die te horen zijn ingedeeld op deze manier. De stelling wordt gedefinieerd en als een relatie tussen klassen geanalyseerd. Een entiteit gezamenlijk als er een klasse die een element.

De zin "honden zijn zoogdieren" wordt geïnterpreteerd als de klasse van zoogdieren omvat de klasse van honden of anders gezegd: "Eenieder die tot de klasse van honden behoren tot de klasse van de zoogdieren" . De klasse orders, classificeert hele universum, geheel of gedeeltelijk gedefinieerd, in twee klassen: de klasse en haar complementaire klasse. Elk individu in het universum wordt bepaald door al of niet behoren tot een klasse.

Voor Maximilian, Maximilian is een geheel, universele klasse, omdat het alleen wordt gemaakt door een enkel individu: Maximilian. De bovenstaande verklaring moet nu worden gelezen als "class = Maximiliano Maximiliano, behoort tot de klasse van wezens die worden uitgevoerd".

De V of F-waarde van atomaire proposities van individuen x, y, z, etc. alleen beschouwd als behorend of niet behoren tot een klasse.

De waarheid waarden van moleculaire proposities en hun relaties met andere voorstellen die voortvloeien uit de relaties tussen klassen en operaties. De logica van klassen bestuderen van deze operaties en hun logische connectieven.

In wiskunde klassen worden beschouwd als gezamenlijke en individuen worden beschouwd als elementen.

  • Kwantificationele regeling als een predikaat dat een argument zegt.

"Maximiliano loopt" is nu geanalyseerd als Fx in het argument x wordt vervangen door Maximilian en F als gepredikt vervangt lopen. Daarom Maximiliano F wanneer x is y Fernando.

Algemene en bijzondere proposities moet kwantoren gebruiken

/ \ X / Fx voor alle x Fx wordt voldaan. Alle mensen zijn sterfelijk. Waarin x een man en F fataal.

\ / X / x Fx er waar Fx is voldaan. Sommige mensen zijn sterfelijk.

  • Relationele schema.

Pepe houdt Mary is nu geanalyseerd als waar is de relatie die "liefde" symboliseert; Het is Pepe en Mary. Merk op dat het niet hetzelfde is, als zou Mary houdt Pepe.

Wat resulteert in een logisch verband.

Berekeningen kunnen eeuwig oneindig zijn volgens rekening houden met de voorstellen en bepalen de regels. Maar de logica is geïnteresseerd die nuttig zijn voor aanbrenging op een specifiek gebied kan genereren interpretatiemodellen zijn, ook andere talen. De berekening genaamd natuurlijke deductie, wordt gemakkelijker gekoppeld aan de gebruikelijke taalkundige uitdrukking.

Propositie in de traditionele logica van Aristoteles oproep

De stellingen in de aristotelische logica kan bevestigend of negatief zijn. In bivalente logica of binaire logica, de ontkenning van een negatieve propositie neer op een bevestigend.

Het predikaat van een negatieve stelling wordt genomen als een universele uitbreiding verwijst naar alle. Het predikaat van een bevestigend stelling wordt genomen in haar bepaald toestel wat.

Voor zijn grootte, kunnen de voorstellen worden geclassificeerd in algemene, wanneer het onderwerp wordt als een universeel uitbreiding individuen, wanneer het onderwerp wordt vastgelegd in zijn bepaald toestel.

De combinatie van beide criteria leidt tot de volgende types van uitspraken:

  • Universele bevestigend.
  • Universele negatief.
  • Bijzonder bevestigend.
  • Bijzonder negatief.
  • Bevestigend existentieel.
  • Existentiële negatief.

De voorstellen van de elementen waaruit de argumenten worden opgebouwd. Aristotelische logica studies redenering genaamd syllogisme volgens een schema.

Kritiek van het begrip propositie

De kwestie zou op deze manier te formuleren. Is het voorstel meer dan een statement uitgedrukt in een bepaalde taal?

Degenen die geloven dat de waarheid is onafhankelijk van de logica zal de stelling van de taalkundige structuur als onafhankelijk van de gesproken aanwijzingen te overwegen:

  • omdat de wereld niet te spreken;
  • omdat logische waarheden vertegenwoordigen slechts een grammaticale structuur die het mogelijk maakt de eventuele vervanging van variabelen geven een tautologische resultaat als voor de hand liggende waarheid.

Degenen die geloven dat de waarheid is alleen van toepassing op de wereld en de verklaringen rechtstreeks, zonder het bereiken van fusie van de logica met de taal, gezien het voorstel als een conceptuele nutteloos ding:

  • De grammatica zoals syntactische structuur is een kwestie van taal.
  • maar ook het lexicon
  • en als we praten, we praten over de wereld en zo moeten we het lexicon gebruiken
  • en de waarheid is een kwestie van de wereld

Zeker logische waarheid te worden gehandhaafd, als de waarheid, door alle lexicale vervangingen, en is niet afhankelijk van de kenmerken van de wereld, die worden uitgedrukt door het lexicon.

Maar:

Wat kan verwijzen naar het begrip van het geloof in het bewijs voor de loutere oprichting van het teken en de taalkundige articulatie.

(0)
(0)
Vorige artikel Liber Feudorum Maior
Volgende artikel Elwell S. Otis

Commentaren - 0

Geen reacties

Voeg een Commentaar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Tekens over: 3000
captcha