ϕ Logic vs. ‘common sense’

Logic is a doctrine of correct judgment and it’s “our everything” (in the sense that it is necessary for any theory and learning). But to discover or ‘invent’ (formulate for the very first time) the laws of logic it is already necessary to think (judge) correctly — so there is a question:

Isn’t there a kind of paradox? Or at least a vicious circle?

Indeed, if you think correctly you can formulate correct logic laws and using them prove something (and maybe the way of how you judged about correctness of the laws formulated) — but if you don’t then the laws are invalid and you are unable even to find that.

Seems the ability of reasoning is intrinsic for people (at least for those who is educated enough) and the ‘discovery’ of the ‘laws’ is just a result of observations (of own and other people thinking and judgments and their correspondence to a real state) and further refinements of them. But usually that ability is unconscious (intuitive) and informal (nobody judges like “A is true because there exists a rule that if B then A and currently B is true” — no, it sounds like “A because B” instead). This is called common sense and logical thinking. And this is quite different from logical thinking from the Logic point of view.

Comments

Post a Comment

Popular posts from this blog

💻 Programming: recipe: response validation against OpenAPI schema in Python

Image
Summary: code snippets and explanation of how to validate HTTP-response using  openapi-core package If you deal with some service based on OpenAPI Specification you might want to perform validation of HTTP responses returned by it. One of the ways to do this an internet search provides for Python is to use openapi-core package. If you look at their documentation ( here or here ) you will find it very stingy: couple of short code snippets and couple of sentences just stating what is done. In particular for response validation we have exactly the following:   You can also validate against responses   from openapi_core . validation . response . validators import ResponseValidator   validator = ResponseValidator (spec) result = validator . validate (request, response)   # raise errors if response invalid result .raise_for_errors()   # get list of errors errors = result .errors ...   Here we see some confusing things: why do we need a request objec...
Read more

💡💻 Genius inventions: FORTH programming language

Forth  is an example of what I call “ elegant solution  of a complicated problem”. What will you do if you have a computer without any software to operate on it? It’s hard to imagine an alternative to what Charles H. Moore invented in 1970. Indeed, if you don’t have an operational environment to accomplish your goal you have to create that environment from zero. The question is only of ‘cost’ — efforts you will spend. The geniousness of the Forth language is that it is designed so that it can be easily implemented step by step from scratch and on each next step existing part of the system helps you a lot to move further. _________ ..other articles..
Read more

⚙️ TRIZ notes: the law of regression

Image
 Working  on his theory of inventions  Genrich Altshuller  invented/discovered so called  Laws of technical systems evolution  which further were developed by other contributors. Looking at those laws we can see that all of them are in some sense “positive” — i.e. implicitly assume that technical systems always develop from “worse” to “better” only. BUT from my experience I can conclude that the things are not so simple. For example: in 2000ths I used several button-based “stupidphones”. They could do almost nothing except the very basic functions a phone in general is necessary for. And of course it was very unsatisfactory. But when I changed to use “smartphones” I soon was faced with very disappointing obstacle: when I set an alarm on a “stupidphone” and it happens that the device is low on power it still is able to awake next day to activate the alarm and perform ringing even if it turned off due to a complete discharge of the battery before. Very helpfu...
Read more