Madeleine Sergant - Acco 150: Logisch Redeneren

ISBN
   

Soort boek
Onbekende bindwijze

"Denken, redeneren en argumenteren moeten voldoen aan eisen van logische gestrengheid, willen e tot iets anders leiden dan tot louter retorische of sofistische aaneenschakelingen van zinnen. In een eerste deel wordt een klassieke predikatieve logica opgebouwd op een niet-geformaliseerde wijze. Dit mondt uit in een theorie die vaak syllogistiek genoemd wordt. Daarin wordt, op grond van vier regels, de geldigheid bepaald van syllogistische predikatieve redeneringsvormen. In het tweede deel wordt de klassieke logica op een geformaliseerde wijze, in fragmenten semantisch opgebouwd. Als eerste fragment wordt de propositielogica semantish voorgesteld op grond van de notie ""waarheidsfunctcie"". Via een extensieprocedé gaat men over naar de volgende fragmenten; de ontledingsmiddelen worden verrijkt door het invoeren van nieuwe bewerkingen, enerzijds de predikatie, de abstractie en de generalisatie voor de predikatenlogica, anderzijds de relatie en de identiteit voor de relatie- en de identiteits"