Logica - de wetenschap van methoden, wetten en vormendenken. De formele logica werd ontwikkeld door de oude Grieken lang voor onze jaartelling. Het waren de Grieken die voor het eerst een democratische samenleving bouwden, waar beslissingen en wetten werden aangenomen in de gemeentes van mensen. Ze hebben op een primitief niveau de wetenschap geschapen om een proces te voeren. En de favoriete bezigheid van de aristocratische jeugd was de discussie met filosofen. Vandaar de universele liefde voor de ontwikkeling van de theoretische wetenschappen. De Grieken hadden eenvoudigweg behoefte aan een les over het kosten van wetenschappelijk bewijs.
De eerste koers van de grondslagen van de logica werd ontwikkeld door Aristoteles. Hij vestigde de aandacht op het feit dat elke redenering is gebaseerd op algemene wetten, waarvan de schending leidt tot onjuiste conclusies. De formele logica van Aristoteles was gebaseerd op dergelijke wetten:
Hieruit volgt dat de formele logica dat wel iskennis van de principes en wetten van effectieve, correcte constructie van redeneringen, rekening houdend met de vorm van hun constructie (manieren om afzonderlijke delen van de algemene redenering met elkaar te verbinden).
Alle verschijnselen en objecten zijn met elkaar verbonden. Links kunnen objectief of subjectief zijn, algemeen of privé, noodzakelijk of toevallig. De meest essentiële van deze links worden wetten genoemd. Ze weerspiegelen allemaal dezelfde realiteit en kunnen daarom elkaar op geen enkele manier tegenspreken. Alle wetten van het menselijke denken zijn verbonden met de wetten van de ontwikkeling van de natuur.
De wetten van het denken vertegenwoordigen een stabiele innerlijke verbinding tussen gedachten. Als een persoon zijn gedachten niet kan verbinden, zal hij niet tot de juiste conclusie komen en zal hij het niet aan anderen kunnen overbrengen.
Basiswetten van formele logica - dit zijn de wetten van consistentie, identiteit,de uitsluiting van de derde en de wet van voldoende gronden. De ontwikkeling van de eerste drie behoort aan Aristoteles en Plato, de laatste aan Leibniz. Overtredingen van deze wetten (vooral de eerste drie) leiden tot tegenstrijdigheden, waardoor het onmogelijk wordt om waarheid van leugens te onderscheiden. De laatste wet is minder normatief en wordt restrictiever toegepast.
De niet-basiswetten van logica zijn regelsoperationele oordelen en concepten, het verkrijgen van een ware conclusie in het syllogisme, het vergroten van de waarschijnlijkheid van conclusie conclusies inductief en van een transductieve aard.
De wet van consistentie betekent dat denken niet tegenstrijdig moet zijn, maar de kwalitatieve zekerheid van dingen moet weerspiegelen.
De wet van de uitgesloten derde schrijft niet voorom tussen de twee tegengestelde maar ware uitspraken iets derde te zoeken en de waarheid van slechts één van hen te herkennen. Een van de componenten van de tegenstrijdigheid is noodzakelijkerwijs waar.
De wet van identiteit formele logica behandelt alsde vereiste van denknauwkeurigheid, dat wil zeggen onder elke term die u nodig hebt om de definitie en betekenis ervan nauwkeurig te begrijpen. De essentie van concepten en oordelen kan niet naar believen worden vervormd.
De wet van goede reden is,dat elke ware gedachte moet worden gerechtvaardigd door andere ware gedachten, en het is onmogelijk om valse gedachten te rechtvaardigen. De ontwikkeling van oordelen moet een oorzakelijk verband weerspiegelen. Alleen in dit geval kan de geldigheid ervan worden aangetoond.
Logische vorm van denken en manieren om de vormen te bepalenalle gedachten worden uitgedrukt met behulp van logische termen, waaraan de vakbonden "en", "of", "als ..., dan ..." ontkennen "het is niet waar" ("niet"), de woorden "sommige", " alles "(" geen "), een stelletje" essentie "(in de betekenis van" is "), enz. Identificeer de logische vorm van oordeel kan afgeleid worden van de betekenis van de onlogische termen, die de verbale uitdrukking van dit oordeel binnengaan. Met andere woorden, de formele logica drukt de structuur van het denken uit. De logische vorm is altijd informatief en informatief.
Afhankelijk van hun vormen, worden gedachten verdeeld in klassen:concepten, gevolgtrekkingen en oordelen. Een concept is een gedachte die objecten generaliseert op basis van hun basiskenmerken. Oordeel is een gedachte die het bestaan (de afwezigheid) van de stand van zaken bevestigt. Inferentie is een gedachte die de verwerving van kennis weerspiegelt die wordt uitgedrukt in oordelen uit andere kennis.
