Stephen Downes

Knowledge, Learning, Community

This paper (19 page PDF) is pretty close to my own view about logic and formal reasoning in general. "Logic, we propose, aims at a structure, at a system of inferential patterns and inferential roles. This system is not necessarily exactly instantiated by the natural language from which we start, it is a result of idealization." Logic is based on the actual patterns of inference we employ in natural language, argues Jaroslav Peregrin, and is much like a natural science in that way. "There is no reason for it to be seen as proceeding via some mysterious 'a priori analysis'." Right. Knowledge - including mathematical and logical knowledge - is (pattern) recognition. Image: Analytics Vidhya.

[Direct link]


Stephen Downes Stephen Downes, Casselman, Canada

Creative Commons License.

Copyright 2022
Last Updated: Sept 22, 2022 3:27 p.m.