|
Post by Eugene 2.0 on May 14, 2021 21:32:38 GMT
Heinrich Behmann's remarks about analytic/synthetic math formulas were interesting to note among them one curious phrase (I'll be translating, so hold up =) ): If we want to draw a fat line between "the self-evident" and "the thoughtful" judgements, then we have to put those judgments, which are logical for any science, - except for the logic itself (= have no content or have the empty content). - to the first group [to the analytic statements]. Logically self-evident are: 1. the laws of logic, and 2. application of the logic laws to some outer logic deities. To the first category we have "If X is A, and all A is B, then X is B"; to the second one: "If Socrates is a man, and all men are mortal, then Socrates is mortal"; and in a minor sense the judgments like this "If the Moon is vertebrate, and all the vertebrates have wings, then the Moon has wings" [The Source]. And what is bothering me: does logic have any practical laws? I mean - does logic suppose its own practical usage? Because it sounds weird for a logic to not have any practical implications. It's like - logic is about anything beyond the speculative, and as such - how can it dare to solve anything beyond it? Another one thing is some laws in logic that can be maintained as the ones that has some practical issues, like these two: ∀xPx⇒Py Py⇒∃xPx
These both laws can tell us about some indefinite numbers of cases, or a set of case, while the form as Py is the self-evident form of some practical issues. Even if to escape some unnecessary connotations we might use instead: ∀xPx⇒Pa Pa⇒∃xPx
while there's no such super necessity to not understand Py as just another way of saying Pa, Pb, Pc... etc.
|
|
Triangle
Full Member
Posts: 356
Likes: 134
|
Post by Triangle on May 15, 2021 16:06:56 GMT
Art is a search for the individuality of a certan idea, person or thing. It can search singularities for study. Logic was called the art of reasoning in the past. So, the search of individuality in words are the same. To be methodic is a great thing to have, do you agree? We can attain certain things much more easy, and with less sacrifices. Yes, I do agree with you about the role of the methodology, because it seems to be the same with: "to be equipped in time is about to be a winner"but for me it is obvious that that cannot be - a logician plays the role only for social current circumstances. No, a logician can be as a musician or an architect - he can make his project in hope one day they will be pleased and used. In a daily life I can't see much effect of logicians, except for their cooperation with the other disciplines like the math, or philosophy. Perfect. Logic is a project, a social project or a personal project we use in private life.
|
|
|
Post by Eugene 2.0 on May 15, 2021 19:06:45 GMT
Yes, I do agree with you about the role of the methodology, because it seems to be the same with: "to be equipped in time is about to be a winner"but for me it is obvious that that cannot be - a logician plays the role only for social current circumstances. No, a logician can be as a musician or an architect - he can make his project in hope one day they will be pleased and used. In a daily life I can't see much effect of logicians, except for their cooperation with the other disciplines like the math, or philosophy. Perfect. Logic is a project, a social project or a personal project we use in private life. Maybe you're right, maybe not. We can't just make a conclusion like that easily. Either there'll be non sequitur, or the oversimplification fallacy [ link]. We don't know yet what logic is, but at least we've made some investigation on it.
|
|