Logica is een vrouwelijk zelfstandig naamwoord van de Griekse term logo, familie van de logo's, reden, woord of toespraak, wat betekent dat de redeneerwetenschap.
In figuurlijke zin is het woord logica verwant aan a specifieke manier van redeneren, terecht. Bijvoorbeeld: Dit gaat nooit lukken! Uw plan heeft geen logica!
U problemen of logische spelletjes zijn activiteiten waarbij een persoon een logische redenering het probleem oplossen.
Aristotelische logica
Volgens Aristoteles heeft de logica als onderzoeksobject de gedachte, evenals de wetten en regels die het beheersen, opdat die gedachte correct is. Voor de Griekse filosoof zijn de samenstellende elementen van de logica de concept, oordeel en redenering. De wetten van de logica corresponderen met de verbanden en relaties die tussen deze elementen bestaan.
Sommige opvolgers van Aristoteles waren verantwoordelijk voor de fundamenten van de middeleeuwse logica, die standhield tot de dertiende eeuw. Middeleeuwse denkers zoals Galenus, Porphyrius en Alexander van Aphrodisia classificeerden logica als de wetenschap van correct oordelen, wat het mogelijk maakt om tot correcte en formeel geldige redeneringen te komen.
Programmeerlogica
Programmeerlogica is de taal die wordt gebruikt om een computerprogramma te maken. Programmeerlogica is essentieel voor het ontwikkelen van computerprogramma's en -systemen, omdat het de logische keten voor die ontwikkeling definieert. De stappen voor deze ontwikkeling staan bekend als een algoritme, dat bestaat uit een logische volgorde van instructies voor de uit te voeren functie.
Argumentatie logica
Argumentatielogica maakt het mogelijk om de geldigheid te controleren of een bewering waar is of niet. Het is niet gemaakt met relatieve of subjectieve concepten. Het zijn tastbare proposities waarvan de geldigheid kan worden geverifieerd. In dit geval heeft de logica tot doel de vorm van de proposities te evalueren en niet de inhoud. Syllogismen (bestaande uit twee premissen en een conclusie) zijn een voorbeeld van argumentatielogica. Bijvoorbeeld:
Maïsmeel is een hond.
Alle honden zijn zoogdieren.
Daarom is maïsmeel een zoogdier.
Wiskundige logica
Wiskundige logica (of formele logica) bestudeert logica volgens haar structuur of vorm. Wiskundige logica bestaat uit a deductief systeem: van uitspraken die tot doel hebben een groep wetten en regels te creëren om de geldigheid van redeneringen te bepalen. Een redenering wordt dus als geldig beschouwd als het mogelijk is om uit ware premissen een ware conclusie te trekken.
Wiskundige logica wordt ook gebruikt om geldige redeneringen op te bouwen door middel van andere redeneringen. De redeneringen kunnen zijn: deductief (de conclusie is verplicht verkregen uit de waarheid van de premissen) en inductief (waarschijnlijk).
Formele logica kan worden onderverdeeld in twee groepen: propositielogica en predikatenlogica.
Leibniz wordt door velen gezien als de geest die het concept van formele logica of wiskunde initieerde, dat de kernkwesties van de wiskunde aanpakt. Het was echter pas na 1890, met Peano, dat de vraag naar de consistentie van axioma's begon. Enkele belangrijke principes van formele logica zijn te vinden in The Mathematical Analysis of Logic door George Boole (auteur van Boole's logica of algebra).
propositielogica
Propositionele logica is een gebied van logica dat redeneren onderzoekt volgens de relaties tussen clausules (proposities), de minimale eenheden van discours, die waar of onwaar kunnen zijn.