Aristotle: Logic. Aristotle does not believe that the purpose of logic is to prove that human beings can have knowledge. (He dismisses excessive scepticism.) The aim of logic is the elaboration of a coherent system that allows us to investigate, classify, and evaluate good and bad forms of reasoning.

What is the logical basis of AL.

We all intuitively accept 'if a equals b and b equals c then a equals c' . What is the basis or proof of such a belief? These kinds of logical snippets are the basis of daily reasoning and we learn then informally growing up. How are these apparent truths known to be valid.

This not a thread on syllogisms, it is on the basis of reasoning.

https://en.wikipedia.org/wiki/Term_logic

In philosophy, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to logic that began with Aristotle and that was dominant until the advent of modern predicate logic in the late nineteenth century. This entry is an introduction to the term logic needed to understand philosophy texts written before it was replaced as a formal logic system by predicate logic. Readers lacking a grasp of the basic terminology and ideas of term logic can have difficulty understanding such texts, because their authors typically assumed an acquaintance with term logic.

https://oregonstate.edu/instruct/phl...f_thought.html

Law Of Identity A = A, is this provable? Or is it a definition?