Wat is logica:
Logica Het is een formele wetenschap die de structuur of vormen van het menselijk denken (zoals proposities, concepten en redeneringen) bestudeert om geldige wetten en principes vast te stellen om waarheidscriteria te verkrijgen.
Als bijvoeglijk naamwoord betekent 'logisch' of 'logisch' dat iets de regels van logica en rede volgt. Het geeft ook een verwacht natuurlijk of normaal gevolg aan.
Het wordt ook gebruikt om te verwijzen naar het zogenaamde 'gezond verstand'. Het komt uit het Latijn logica, en op zijn beurt uit het Grieks λογική (logisch, 'reden hebben, 'intellectueel', 'dialectisch', 'argumentatief'), dat op zijn beurt is afgeleid van het woord λόγος (logo's, 'woord', 'gedachte', 'reden', 'idee', 'argument').
Propositionele, wiskundige of symbolische logica
Propositionele logica is de tak van logica die propositievariabelen, logische connectieven (
). Sommige auteurs identificeren het ook met wiskundige logica of symbolische logica, omdat het een reeks speciale symbolen gebruikt die het dichter bij wiskundige taal brengen. Proposities kunnen waar of onwaar zijn.
Filosofische logica
Logica wordt meestal beschouwd als onderdeel van de filosofie, hoewel logica als zodanig wordt toegepast op verschillende gebieden en activiteiten van de mens.
Filosofische logica gebruikt vier fundamentele principes die de juiste denkprocessen tot stand brengen. Deze principes zijn het principe van identiteit, het principe van non-contradictie, het principe van uitgesloten derde en het principe van voldoende reden.
Formele logica en informele logica
Formele logica is er een wiens studieobject technische gevolgtrekkingen zijn door het gebruik van deductieve systemen en formele talen en semantiek. De informele logica van haar kant bestudeert natuurlijke redeneer- en argumentatiesystemen door middel van taal en het alledaagse denken.
Aristotelische logica
Het is de logica die is gebaseerd op de studies van Aristoteles, een Griekse filosoof uit de 4e eeuw voor Christus. Aristotelische logica gebruikt de zogenaamde syllogismen, wat een deductie of redenering is waarin premissen worden vastgesteld waaruit een conclusie wordt afgeleid.
Het is daarom een concept vergelijkbaar met deductief geldige argumenten. Een klassiek voorbeeld van aristotelische logica is: 'Alle mensen zijn sterfelijk. Alle Grieken zijn mannen. Daarom zijn alle Grieken sterfelijk.' De eerste twee zinnen zijn de premissen en de derde de conclusie.
Diffuse logica
Het concept van diffuse logica komt uit het Engels ('fuzzy logic'). Het is een soort logica die willekeurige waarden gebruikt, maar gecontextualiseerd en gerelateerd aan elkaar, waardoor het relatieve wordt vastgesteld van wat wordt waargenomen als een differentiële positie. Fuzzy logic wordt toegepast op verschillende gebieden zoals informatica en industrie.
