nogal logisch dat het iets gewoons is cryptisch?
Er bestaat geen universele overeenstemming over de exacte reikwijdte van het begrip logica, maar het omvat traditioneel de classificatie van argumenten, de systematische verkenning van de ‘logische vorm’ die alle geldige argumenten gemeen hebben, de studie van bewijs en gevolgtrekking, inclusief paradoxen en drogredenen, en de studie van syntaxis en semantiek Een legale machine waarvan de naleving de geest beschermt tegen denkfouten. Het wordt voornamelijk onderwezen in de disciplines filosofie, wiskunde, semantiek en informatica. Aristoteles wordt beschouwd als de eerste die over logica schreef als een op zichzelf staande wetenschap, en zijn groep van logische onderzoeken werd de Organon genoemd, dus analogie was volgens Aristoteles de vorm van gevolgtrekking, maar met de opkomst van de Europese renaissance en de renaissance van natuurwetenschappen, logica werd een iets andere wetenschap dan de logica van Aristoteles, dus de logica van inductie verscheen, die hij pionierde Francis Bacon en later aangevuld door John Stuart Mill. Er is ook het aspect van de wiskundige logica, geïnitieerd door Leibniz en gewijzigd door Bertrand Russell, die wiskunde aan logica koppelde en er een verlengstuk van maakte.
Historisch gezien is logica bestudeerd in de filosofie (sinds de oudheid) en wiskunde (sinds het midden van de 19e eeuw), en meer recentelijk in de informatica, taalkunde, psychologie en andere gebieden.
hee nogal logisch dat het iets gewoons is cryptisch?
Een concept is de logische basisvorm in de logica, en de geldigheid van concepten wordt bepaald door hun logische vorm, niet door hun inhoud. Voorbeelden van formele logica zijn traditionele aristotelische logica en moderne symbolische logica.
Niet-formele (informele) logica: is de studie van natuurlijke taalkundige argumenten. De studie van drogredenen is een belangrijke tak van informele logica. Aangezien een groot deel van een informeel argument niet strikt deductief is, is informele logica in sommige noties van logica helemaal geen logica.
Formele logica: is de studie van redeneren met een puur formele inhoud. Een gevolgtrekking heeft een puur formele inhoud als ze kan worden uitgedrukt als een bepaalde toepassing van een volledig abstracte regel, dat wil zeggen een regel die geen betrekking heeft op een bepaald object of een bepaalde eigenschap. De werken van Aristoteles bevatten de vroegst bekende formele studie van logica. Moderne formele logica volgt en breidt de logica van Aristoteles uit. In veel definities van logica zijn logische deductie en gevolgtrekking met een puur formele inhoud hetzelfde. Dit maakt het idee van informele logica niet hol, omdat geen enkele formele logica alle nuances van natuurlijke taal vastlegt.
Symbolische logica is de studie van symbolische abstracties die de formele kenmerken van logisch redeneren belichamen. Symbolische logica wordt vaak verdeeld in twee hoofdtakken: hypothetische logica en predikaatlogica.
Wiskundige logica is een uitbreiding van symbolische logica op andere gebieden, met name de studie van modeltheorie, bewijstheorie, verzamelingenleer en computationele theorie.