What Proto-logic Could not be

Abstract

Inspired by Bermudez's notion of proto-logic, I would like to fathom what the true proto-logic could be like. But this will be approached only in a negative way of figuring out what it could not be. I shall argue that it could not be purely deductive by exploiting the recent researches in logic of maps. This will allow us to reorient the search for proto-logic, starting with animal abduction. I will also suggest that proto-logic won't get off the ground without proto-geometry. These negative results will shed some lights on some further conceptual and historical issues around the language of thought hypothesis to arrive at the true proto-logic.