6

People who study mathematical logic make arguments about logic itself. So it seems that people take for granted an "intuitive logic" (otherwise, how would they form arguments?). So the observation is this: there is an accepted way of reasoning all throughout math, which I'm calling "intuitive logic", and we apply that same reasoning towards logic itself.

My concern is this:

Can "intuitive logic" be studied? Any form of reasoning about "intuitive logic" would have to use "intuitive logic". This seems paradoxical because reasoning/argumentation is used as a method of justification and it doesn't really make sense to provide justification for something that has been taken for granted.

I think my question is basically equivalent to

How to justify the use of logic?

isthisreallife
  • 191
  • 2
  • "People who study natural languages make statements about language itself. Is this paradoxical ?" NO: it is the only way to reason about any topic whatsoever. – Mauro ALLEGRANZA Dec 02 '17 at 15:35
  • You don't need natural language to form a statement about natural language. "Statements about natural language" can be written in a formal, non-natural language. So this is not really analogous to what I'm saying. Correct me if I misunderstood? – isthisreallife Dec 02 '17 at 15:41
  • So are you saying that you cannot learn a foreign language, like e.g. Italian using a Grammar textbook written in e.g. English, because it is not "formalized" ? Interesting... How did people learned how to read and write before the "discovery" of math logic ? – Mauro ALLEGRANZA Dec 02 '17 at 15:44
  • Regarding the question's title:YES, we can. We do it usually. – Mauro ALLEGRANZA Dec 02 '17 at 15:45
  • I don't understand what you mean. – isthisreallife Dec 02 '17 at 16:12
  • Any math log textbook is written in natural language, and is full of theorems proved "informally". The Soundness Th for propositional calculus (for example: every formula derivable in the calculus is a tautology) is proved with "informal logic" as quite all mathematical theorems. Thus, the conclusion is: YES, we reason about logic in any math logic or formal logic textbook, – Mauro ALLEGRANZA Dec 02 '17 at 17:33
  • What do you mean by 'intuitive logic'? There are distinctions between types of logic. For instance mathematical logic differs from Aristotelian logic. Both are distinct to Modal logic. – Logikal Dec 02 '17 at 19:17
  • 1
    and I've never seen mathematicians be particular about how they reason. The discipline of "mathematical logic" is reasoned about like any other mathematical discipline. The type of reasoning that is used throughout math is what I'm calling "intuitive logic". – isthisreallife Dec 02 '17 at 20:03
  • What do you I made no sense?? Do you think Aristotle the founder of deductive logic used mathematical logic or as you think Math? I think you can clearly see all logic is not math. Hence the term "Mathematical logic" which also clearly appears as such on numerous text books as "Mathematical logic." Reasoning throughout math is specifically called Mathematical logic! If Deductive logic would be a parent set and mathematical logic would be a sub set (a child set) in the same circle. – Logikal Dec 03 '17 at 00:34
  • Maybe my last comment was brash. When I say "mathematical logic", I just mean the discipline. – isthisreallife Dec 03 '17 at 02:23
  • I think you talk about classic logic. Because I can't understand what is intuitive logic. Maybe you mean "intrinsic" reasoning that every human possesses. Then there is no paradox here, as logic by itself doesn't establish rules, doesn't teach us how to think "properly". Instead logic shows us the way to interpret informal statements using that "intrinsic" logic that every human has. You need to know that logic by itself doesn't have any axioms and don't built a theory upon them either. Logic just shows us the way to make true conclusions given premises. – Turkhan Badalov Dec 03 '17 at 03:28
  • And the fact that logic is well studied and documented may create some impression that it is like religion that teaches us to think. But it is not so. We humans have that "inuitive", "intrinsic" logic. And logic is built on it (uses only it). And there is no other way to see other intuitive ways of reasoning. It is in our nature that we can't go outside of it. Anyway, if someone would never read logic, he can spend the whole life thinking about reasoning and would come to the same conclusions about reasoning as logic already describes. We just can't go outside of this. – Turkhan Badalov Dec 03 '17 at 03:34
  • Have we a logical faculty whose products are arguments and whose mathematical model is mathematical logic ? Maybe... – Mauro ALLEGRANZA Dec 03 '17 at 09:41
  • You can see this recent post: the-computer-and-the-brain-the-mathematical-language-of-the-brain with ref to The Computer and the Brain. – Mauro ALLEGRANZA Dec 03 '17 at 09:42
  • Maybe related: Yair Neuman, Mathematical Structures of Natural Intelligence, Springer (2017) – Mauro ALLEGRANZA Dec 03 '17 at 09:54
  • I;m not sure intuition is the right word but I'd agree that logic begins at home, as it were, and not in a text-book. Aristotle codified his basic rules to model what you're calling 'intuitive' logic and did not invent them. , –  Dec 03 '17 at 12:29
  • Please define “intuitive logic”. The absence of an effective definition is preventing readers from offering a useful answer. – Mark Andrews Dec 03 '17 at 23:48
  • I haven't formally studied logic. I believe the accepted (mainstream) way of reasoning in math is to use "classical logic", so "intuitive logic"="classical logic". Are there textbooks that talk about different kinds of logic? – isthisreallife Dec 04 '17 at 04:18
  • I would say that Aristotle's logic models what you call 'intuitive' logic. This seems to have been his intention. Hence the phrase 'laws of thought'. As far as I can tell his model is correct and does describe how I naturally think. –  Sep 18 '19 at 12:03

5 Answers5

1

There is something called Intuitionistic Logic. It's used in lots of AI and was created by the great topologist Brouwer. It considers only Potential Infinity as real. https://plato.stanford.edu/entries/intuitionism/#IntLog

The exact nature of logic is viewed by many professional logicians as a fundamental, yet open problem. Considering fundamental logic, most mathematicians would shrug.

More generally, one could propose that logic is whatever can be chased around a diagram: hence the rise of Category Theory as a foundation of mathematics, even physics... This has the advantage of mimicking what is probably ongoing in the brain's neural networks...

Patrice Ayme
  • 11
  • 1
0

Mathematical logic isn't logic, but a formalisation thereof; one view is to think of it as mathematics as inspired by logic, in the same way that mathematics has been inspired by physics but is not synonymous with it - indeed they often have difficult understanding each other despite the laymans view that they are virtually synonymous.

There is such a thing as naive set theory, and mathematicians that aren't set theorists use this all the time when they reason about sets. Likewise, one can say that there is a naive or intuitive logic that mathematicians use when they reason about mathematics.

Logic remain a field of study in philosophy, and it isn't neccessarily mathematical; linguistics and semantics for example come into it as well as others.

Mozibur Ullah
  • 47,073
  • 14
  • 93
  • 243
0

We have to assume some finitary arithmetic, otherwise there's no way to even begin making sense of symbols, formulas, etc.

According to Hilbert, there is a privileged part of mathematics, contentual elementary number theory, which relies only on a “purely intuitive basis of concrete signs.” Whereas the operating with abstract concepts was considered “inadequate and uncertain,” there is a realm of

extra-logical discrete objects, which exist intuitively as immediate experience before all thought. If logical inference is to be certain, then these objects must be capable of being completely surveyed in all their parts, and their presentation, their difference, their succession (like the objects themselves) must exist for us immediately, intuitively, as something which cannot be reduced to something else.

These objects were, for Hilbert, signs. The domain of contentual number theory consists in the finitary numerals, i.e., sequences of strokes. These have no meaning, i.e., they do not stand for abstract objects, but they can be operated on (e.g., concatenated) and compared. Knowledge of their properties and relations is intuitive and unmediated by logical inference. Contentual number theory developed this way is secure, according to Hilbert: no contradictions can arise simply because there is no logical structure in the propositions of contentual number theory.

The intuitive-contentual operations with signs forms the basis of Hilbert's metamathematics. Just as contentual number theory operates with sequences of strokes, so metamathematics operates with sequences of symbols (formulas, proofs). Formulas and proofs can be syntactically manipulated, and the properties and relationships of formulas and proofs are similarly based in a logic-free intuitive capacity which guarantees certainty of knowledge about formulas and proofs arrived at by such syntactic operations. [...]

The question of what Hilbert thought the epistemological status of the objects of finitism was is equally difficult. In order to carry out the task of providing a secure foundation for infinitistic mathematics, access to finitary objects must be immediate and certain. Hilbert's philosophical background was broadly Kantian, as was Bernays's, who was closely affiliated with the neo-Kantian school of philosophy around Leonard Nelson in Göttingen. Hilbert's characterization of finitism often refers to Kantian intuition, and the objects of finitism as objects given intuitively. [...] Both Bernays and Hilbert justify finitary knowledge in broadly Kantian terms (without however going so far as to provide a transcendental deduction), characterizing finitary reasoning as the kind of reasoning that underlies all mathematical, and indeed, scientific, thinking, and without which such thought would be impossible.

https://plato.stanford.edu/entries/hilbert-program/

Community
  • 1
  • We could take the manipulation of formulas and symbols as primitives rather than the arithmetic of natural numbers as primitive. That's even how we're taught arithmetic. –  Apr 18 '19 at 23:05
0

I think you have this backwards. 'Reason' is inherently linguistic: reasoning is what we do to systematize and structure out language use. Logic and mathematics are particular forms of reasoning done within particular linguistic domains with particular linguistic rules. There is obviously some feedback — it's useful sometimes to take insights from logic and mathematics and try to extend them to the larger domain of reasoning proper — but let's not put the cart in front of the horse.

Wondering whether 'intuitive logic' can be studied the way we use reasoning in maths is like driving down the road in one's car wondering whether it's possible to make a functional wheel.

Ted Wrigley
  • 19,410
  • 2
  • 22
  • 55
0

You are right to say there is an intuitive use of logic. Even little children can understand basic deductions and use logical operators in their speech. Consider a child who says, "If I go to bed, then tomorrow I can have breakfast AND desert?". While not the only example, clear a mastery of the conditional and the conjunction. It is a trope that children quickly acquire the skills of a lawyer around 3 or 4. The basic operations of quantification, qualification, classification, and logic are a function of neural development.

Keeping in mind that logic is grown from neurons, it helps keep perspective on what logic really is and isn't. Logic isn't some program transferred to the mind like software is uploaded to a computer. Logic is more like the skill of playing a violin: some natural talents are present, but then the skill is slowly developed through practice when the brain is ready. As a former teacher, particularly enlightening are the ideas of Jean Piaget's theory of cognitive development. While your question is about logic, which is a field of study generally placed in philosophy departments, in some ways your question is a question of human development.

Ultimately, there is no monolith called "logic", but rather a series of "logics" that vary in terms of complexity and are adopted one after another. For instance, Aristotelian syllogisms are rather simple and intuitive, but modal logics require some studying, particularly as formalisms are used. Mathematical logic is just another formalism in a sense.

Can the "intuitive logics" be studied? Yes, they are, but not by philosophers. Rather the basis of how the brain infers is more a question pursued by cognitive scientists like those with backgrounds in cognitive semantics, artificial intelligence researchers, and psychologists. Generally the intuition-provided logics are part of a philosophers intuition or metaphysics and often aren't scrutinized.

J D
  • 26,214
  • 3
  • 23
  • 98