Logica
Van Wikipedia
Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het denken. Traditioneel wordt de logica door de filosofie bestudeerd, maar het wordt ook tot de wiskunde gerekend.
De logicus (meervoud: logici) is gespecialiseerd in deze tak van wetenschap, maar ook door wetenschappers binnen zeer veel andere takken en subdisciplines van de wetenschap wordt veel gebruikgemaakt van de logica.
Er zijn verschillende soorten logica's ontwikkeld, waaronder:
- Syllogisme -- of syllogistiek: De eerste formele logica (ontwikkeld door Aristoteles)
- Propositielogica -- Proposities zijn eenvoudige beweringen die al dan niet waar kunnen zijn.
- Predikatenlogica -- Predikaten zijn onderdelen van proposities.
- Typenlogica -- Doet uitspraken over predikaten van een willekeurige orde.
- Modale logica
- Tijdslogica -- Formaliseert temporele informatie.
- Meerwaardige logica waaronder Fuzzy logic -- In (onder andere) de Booleaanse logica kent elke uitspraak maar twee mogelijke antwoorden: waar (true), wat we aanduiden met 1, en onwaar (false), wat we aanduiden met 0. Er bestaan verschillende andere soorten logica waarbij dit principe niet geldt en waarbij een uitspraak dus bijvoorbeeld drie of zelfs oneindig veel mogelijke antwoorden heeft.
- Preferentiële logica of a-logica -- Wordt gebruikt in de Managementtheorie
