Onjuiste en ware uitspraken worden vaak gebruikt in de taalpraktijk. De eerste beoordeling wordt gezien als een ontkenning van de waarheid (onwaarheid). In werkelijkheid worden ook andere soorten beoordelingen gebruikt: onzekerheid, onbewijsbaarheid (bewijsbaarheid), onoplosbaarheid. Als je ruzie maakt over welk getal x de bewering waar is, moet je rekening houden met de wetten van de logica.
De opkomst van "meerwaardige logica" leidde tot het gebruik van een onbeperkt aantal waarheidsindicatoren. De situatie met de elementen van de waarheid is verwarrend, ingewikkeld, dus het is belangrijk om het te verduidelijken.
Theorie principes
Een true statement is de waarde van een eigenschap (attribuut), die altijd in aanmerking wordt genomen voor een bepaalde actie. Wat is waarheid? Het schema is als volgt: "Propositie X heeft een waarheidswaarde Y in het geval dat propositie Z waar is."
Laten we eens naar een voorbeeld kijken. Het is noodzakelijk om te begrijpen voor welke van de gegeven beweringen de bewering waar is: "Object a heeft een teken B". Deze verklaring is onwaar omdat het object attribuut B heeft en onwaar omdat a geen attribuut B heeft. De term "false" wordt in dit geval gebruikt als een externe negatie.
Bepaling van de waarheid
Hoe wordt een ware bewering bepaald? Ongeacht de structuur van propositie X, is alleen de volgende definitie toegestaan: "Propositie X is waar als er X is, alleen X."
Deze definitie maakt het mogelijk om de term "waar" in de taal te introduceren. Het definieert de handeling van het instemmen met of spreken met wat het zegt.
Eenvoudige spreuken
Ze bevatten een ware bewering zonder definitie. Men kan zich beperken tot een algemene definitie in de propositie "Niet-X" als deze propositie niet waar is. Het voegwoord "X en Y" is waar als zowel X als Y waar zijn.
Zegvoorbeeld
Hoe te begrijpen voor welke x de bewering waar is? Om deze vraag te beantwoorden, gebruiken we de uitdrukking: "Deeltje a bevindt zich in het gebied van ruimte b". Overweeg de volgende gevallen voor deze verklaring:
- onmogelijk om het deeltje waar te nemen;
- je kunt het deeltje observeren.
De tweede optie suggereert bepaalde mogelijkheden:
- deeltje bevindt zich eigenlijk in een bepaald gebied van de ruimte;
- zij bevindt zich niet in het bedoelde deel van de ruimte;
- deeltje beweegt op zo'n manier dat het moeilijk is om het gebied van zijn locatie te bepalen.
In dit geval kunnen vier waarheidswaarde-termen worden gebruikt die overeenkomen met de gegeven mogelijkheden.
Voor complexe structuren zijn meer termen geschikt. Dit isgeeft onbeperkte waarheidswaarden aan. Voor welk getal de bewering waar is, hangt af van praktische opportuniteit.
Het ambiguïteitsprincipe
Volgens dit is elke bewering onwaar of waar, dat wil zeggen, het wordt gekenmerkt door een van de twee mogelijke waarheidswaarden - "false" en "true".
Dit principe is de basis van de klassieke logica, die de tweewaardentheorie wordt genoemd. Het ambiguïteitsprincipe werd gebruikt door Aristoteles. Deze filosoof, die ruzie maakte over welk getal x de uitspraak waar is, vond hem ongeschikt voor die uitspraken die betrekking hebben op toekomstige willekeurige gebeurtenissen.
Hij legde een logische relatie tussen fatalisme en het principe van ambiguïteit, de predestinatie van elk menselijk handelen.
In latere historische tijdperken werden de beperkingen die aan dit principe werden opgelegd verklaard door het feit dat het de analyse van uitspraken over geplande gebeurtenissen en over niet-bestaande (niet-waarneembare) objecten aanzienlijk bemoeilijkt.
Nadenken over welke uitspraken waar zijn, was het niet altijd mogelijk om met deze methode een duidelijk antwoord te vinden.
Opkomende twijfels over logische systemen werden pas weggenomen nadat moderne logica was ontwikkeld.
Om te begrijpen voor welk van de gegeven getallen de bewering waar is, is logica met twee waarden geschikt.
Principe van ambiguïteit
Indien geherformuleerdvariant van een uitspraak met twee waarden om de waarheid te onthullen, je kunt er een speciaal geval van polysemie van maken: elke uitspraak heeft één waarheidswaarde van n als n groter is dan 2 of kleiner is dan oneindig.
Als uitzonderingen op aanvullende waarheidswaarden (boven "false" en "true") zijn veel logische systemen gebaseerd op het principe van ambiguïteit. Klassieke logica met twee waarden kenmerkt typisch gebruik van enkele logische tekens: "of", "en", "niet".
Meerwaardenlogica die beweert geconcretiseerd te zijn, mag de resultaten van een tweewaardig systeem niet tegenspreken.
De overtuiging dat het principe van ambiguïteit altijd leidt tot een verklaring van fatalisme en determinisme, wordt als onjuist beschouwd. Eveneens onjuist is het idee dat meervoudige logica wordt gezien als een noodzakelijk middel om indeterministisch redeneren uit te voeren, dat de aanvaarding ervan overeenkomt met de afwijzing van het gebruik van strikt determinisme.
Semantiek van logische tekens
Om te begrijpen voor welk getal X de bewering waar is, kun je jezelf wapenen met waarheidstabellen. Logische semantiek is een sectie van metalogica die de relatie met aangewezen objecten en hun inhoud van verschillende linguïstische uitdrukkingen bestudeert.
Dit probleem werd al in de oudheid overwogen, maar in de vorm van een volwaardige onafhankelijke discipline werd het pas aan het begin van de 19e-20e eeuw geformuleerd. Werken van G. Frege, C. Pierce, R. Carnap, S. Kripkemaakte het mogelijk om de essentie van deze theorie, het realisme en de doelmatigheid ervan te onthullen.
Semantische logica steunde lange tijd voornamelijk op de analyse van geformaliseerde talen. Pas recentelijk is het grootste deel van het onderzoek gewijd aan natuurlijke taal.
Er zijn twee hoofdgebieden in deze techniek:
- notatietheorie (referentie);
- betekenistheorie.
De eerste omvat de studie van de relatie van verschillende taaluitingen tot de aangewezen objecten. Als hoofdcategorieën kan men zich voorstellen: "aanduiding", "naam", "model", "interpretatie". Deze theorie vormt de basis voor bewijzen in de moderne logica.
Betekenistheorie houdt zich bezig met het zoeken naar een antwoord op de vraag wat de betekenis is van een taalkundige uitdrukking. Ze verklaart hun identiteit in betekenis.
De betekenistheorie speelt een belangrijke rol bij de bespreking van semantische paradoxen, in de oplossing waarvan elk criterium van aanvaardbaarheid als belangrijk en relevant wordt beschouwd.
Logische vergelijking
Deze term wordt gebruikt in metataal. Onder de logische vergelijking kunnen we het record F1=F2 voorstellen, waarin F1 en F2 formules zijn van de uitgebreide taal van logische proposities. Het oplossen van een dergelijke vergelijking betekent het bepalen van die reeksen echte waarden van variabelen die zullen worden opgenomen in een van de formules F1 of F2, waaronder de voorgestelde gelijkheid zal worden waargenomen.
Het gelijkteken in wiskunde in sommige situatiesgeeft de gelijkheid van de originele objecten aan, en in sommige gevallen is het ingesteld om de gelijkheid van hun waarden aan te tonen. De invoer F1=F2 kan aangeven dat we het over dezelfde formule hebben.
In de literatuur wordt vaak onder de formele logica een synoniem verstaan als "de taal van logische proposities". De "juiste woorden" zijn formules die dienen als semantische eenheden die worden gebruikt om redeneringen in informele (filosofische) logica op te bouwen.
Een uitspraak fungeert als een zin die een bepaalde stelling uitdrukt. Met andere woorden, het drukt het idee uit van de aanwezigheid van een bepaalde stand van zaken.
Elke verklaring kan als waar worden beschouwd in het geval dat de erin beschreven stand van zaken in werkelijkheid bestaat. Anders is zo'n verklaring een valse verklaring.
Dit feit werd de basis van de propositielogica. Er is een verdeling van uitspraken in eenvoudige en complexe groepen.
Bij het formaliseren van eenvoudige varianten van uitspraken worden elementaire nul-orde taalformules gebruikt. Beschrijving van complexe uitspraken is alleen mogelijk met behulp van taalformules.
Logische verbindingen zijn nodig om vakbonden aan te duiden. Wanneer toegepast, veranderen eenvoudige uitspraken in complexe vormen:
- "niet",
- "het is niet waar dat…",
- "of".
Conclusie
Formele logica helpt om erachter te komen voor welke naam een verklaring waar is, omvat de constructie en analyse van regels voor het transformeren van bepaalde uitdrukkingen die ze behoudenechte waarde, ongeacht de inhoud. Als apart onderdeel van de filosofische wetenschap verscheen het pas aan het eind van de negentiende eeuw. De tweede richting is informele logica.
De belangrijkste taak van deze wetenschap is om de regels te systematiseren waarmee je nieuwe uitspraken kunt afleiden op basis van bewezen uitspraken.
De basis van logica is de mogelijkheid om bepaalde ideeën te verkrijgen als een logisch gevolg van andere uitspraken.
Dit feit maakt het mogelijk om niet alleen een bepaald probleem in de wiskundige wetenschap adequaat te beschrijven, maar ook om logica om te zetten in artistieke creativiteit.
Logisch onderzoek veronderstelt de relatie die bestaat tussen premissen en de daaruit getrokken conclusies.
Het kan worden toegeschreven aan het aantal initiële, fundamentele concepten van de moderne logica, die vaak de wetenschap wordt genoemd van 'wat daaruit volgt'.
Het is moeilijk voor te stellen stellingen in de meetkunde te bewijzen, fysische verschijnselen te verklaren, de mechanismen van reacties in de chemie uit te leggen zonder zo'n redenering.
