3

Can something be true if it is not logical? Can something be true if it does not follow logic? if I can't deduce it logically? or if it contradicts logic?

In other words: if someone says statement X is true, can it be that X contains some ilogical constructs, and still remains true?

Or again in other words if I find a logical flaw in a sentence which someone says, can it be still true?

11
  • Like the sky is blue?
    – Conifold
    Commented Feb 23, 2016 at 18:52
  • @Conifold That is true because we agree on what blue color means
    – user19479
    Commented Feb 23, 2016 at 18:53
  • @Conifold And if we agree what blue means, then it is logical to say sky is blue
    – user19479
    Commented Feb 23, 2016 at 18:53
  • Semantics of words in a language usually is not considered part of logic, which deals with forms of reasoning, not its content. Aside from that, "sky is blue" expresses a truth about similarity of the sky to that of other blue things, which presumably has nothing to do with even semantic conventions.
    – Conifold
    Commented Feb 23, 2016 at 20:57
  • @Conifold I meant if we agree what blue is, then it logically follows that sky is blue
    – user19479
    Commented Feb 23, 2016 at 21:09

9 Answers 9

3

Firstly, in a strictly formal setting, we note that Gödel's first incompleteness theorem tells us that truth is not reducible to proof, so there are many truths which are not derivable.

In a formal setting, we chose our axioms because we believe them to be self-evident truths - i.e., true for no (logical) reason. But why do we assume that only self-evident truths are not derivable.

More generally, beyond the formality of mathematics, if one accepts that nature includes random processes, then such processes may provide examples of brute facts which are true simply because they are true and for no other (logical) reason. For example, if one accepts that the human evolutionary process is driven by random mutations of our genetic material, then we are who and what we are for no logical reason. It is true that humans exist on planet Earth, but it is not a logical necessity and it could have been otherwise.

Regarding true statements that contradict logic, one might argue that quantum superpositioning may provide examples. Superpositioning is a phenomenon that is supported by experimental evidence, but it certainly appears to be illogical to assert that a particle can be simultaneously in two different states or two different locations. Having said that, it may follow logically from the formalism of quantum theory that superpositioning is a logical necessity. I'm not a physicist, so I'm not entirely sure.

9
  • 3
    Godel's theorems are about a specific class of formal systems and what theorems exist in them, and do not say anything about the nature of truth or proof as general concepts.
    – Era
    Commented Feb 23, 2016 at 23:09
  • 1
    @Era That's true. The reason I mention Godel is because the question is posed with regard to logical derivation. Also, Godel's result does say something about the general nature of mathematical truth if not truth in general, namely that our mathematical intuition transcends formal systems. I tried to deal with the more general case in the second have of my answer, thought I admit it is not very effective or convincing.
    – nwr
    Commented Feb 23, 2016 at 23:17
  • Yes Nick that is my point, assuming we agree on some facts, how largely do you agree that to construct a true sentence from these facts, you need to follow logic more or less?
    – user19479
    Commented Feb 28, 2016 at 16:04
  • Indeed there maybe some events in nature that are true simply just because, e.g., sky is blue - maybe there is no logical explanation to it, maybe there is
    – user19479
    Commented Feb 28, 2016 at 16:05
  • @user200312 Perhaps you could have a look at "Gettier problem" on wikipedia. Gettier highlighted cases where we obtain true knowledge by luck rather than purely logical means. His paper undermined the classical theory of knowledge as "justified, true belief" which had held sway since first proposed by Plato. Although there may be a logical basis for Gettier truths, the problem does undermine the role of logic.
    – nwr
    Commented Feb 28, 2016 at 17:18
1

Perhaps you mean: "Can there be undemonstratively true truths?"

Aristotle, when resolving the infinite regress problem, shows, against those who believed no or all truths are demonstrable, that there are some truths which cannot be demonstrated to be true. Thus, Aristotle could be considered a precursor to Gödel.

See

(quoted here)

2
  • 1
    Godel's theorems don't show that there exist truths which cannot be demonstrated or shown to be true. It has to do with proofs within a particular formal system. The Godel sentences of PA can be proved by ZFC, which in turn has its own Godel sentences that can be proved by a stronger system, and so on. The point is that no such system is self-contained as there will always be Godel sentences, but no particular Godel sentence is "unprovable full stop" as you seem to be indicating.
    – Era
    Commented May 27, 2016 at 15:47
  • @Era When you prove with a "stronger system" what was not provable in the "weaker system," you have introduced new axioms. Aristotle realized this weakness axiomatic systems when he said there are almost as many premises as conclusions (Posterior Analytics bk. 1 ch. 43 (88b4)). So, are you claiming every "particular Gödel sentence" is provable, given a "strong" enough axiomatic system (i.e., one with enough axioms)?
    – Geremia
    Commented May 27, 2016 at 23:07
0

Truth is a property of propositions. A proposition is true if it refers to a fact. Hence truth is a relation between a proposition, a sentence from language, and a fact, a component of the real world.

This kind of truth bears no relation to logic. Whether a single proposition is true or not, cannot be decided by logic. As an example take the proposition "On 1.1.2016 it rained in Manhattan."

On the other hand - and now without looking at the physical world -, one can investigate logical relations between different propositions. E.g., if a proposition is true for all objects of a certain kind, then the proposition remains true when restricted to one particular object. Textbook example: "All humans are mortal." "Socrates is a human." Hence "Socrates is mortal."

According to classical logic it is not possible that two propositions are true if they contradict each other (law of non-contradiction).

12
  • Thanks Jo but I think you didn't understand me. I don't mean "rained in manhattan". Or sentence like "Shut the door". I mean if someone says statement X is true, can it be that X contains some ilogical constructs, and still remains true?
    – user19479
    Commented Feb 23, 2016 at 18:55
  • Must the sentence be logically justifiable to be true?
    – user19479
    Commented Feb 23, 2016 at 18:59
  • @users200312 According to classical logic any proposition of type "A and B" is false if B itself is false. I assume that the term "false" is what you denote by "illogical". - There are propositions which are true but not justifiable by logic. See my example about raining in Manhattan.
    – Jo Wehler
    Commented Feb 23, 2016 at 19:00
  • "On 1.1.2016 it rained in Manhattan." according to my definition this can also be justified by logic: We check if it did really rain in manhattan on that day, and then it is true(logical) to say it did. Do you follow me? My point is that something can't be true in the end if somewhere in between it contains some illogical facts? e.g. be it from real world, or reasoning fallacies?
    – user19479
    Commented Feb 23, 2016 at 19:14
  • @user200312 I agree with you that a check is necessary whether it rained in Manhattan. But the check is empirical not logical.
    – Jo Wehler
    Commented Feb 23, 2016 at 19:22
0

Can something be true ... if I can't deduce it logically

Logic in one sense, is truth-preserving; hence it isn't the art or techne by which finds out new truths, or how truths we now hold were first discovered.

This, for example, in Badious philosophy is the role of Love, Art, Science and Politics.

Can something be true ... if it's illogical ... or contradictory

This is the position of dialethism, which holds that there are such things as true contradictions; a position which is more common in Eastern philosophy than Western - for example, see Nagarjunas use of the cakaskoti however Graham Priest is a modern exponent of this, which should be carefully distinguished from his advocacy of non-classical logics, including notions of paraconsistency.

8
  • Do you agree with the fact that for something to be true it must be both empirically and logically correct?
    – user19479
    Commented Feb 23, 2016 at 19:35
  • @yser200312: that's polling for opinion - which isn't what SE is about; but yes, but not wholly, and nor are the two as closely or as simply connected as you make them; since I happen to think that there are true contradictions, which doesn't mean every contradiction is true. Commented Feb 23, 2016 at 19:41
  • So there is no consesus on this? Do you have example of sentence which contains empirically true facts, is logical, and in the end not true?
    – user19479
    Commented Feb 23, 2016 at 19:55
  • Well, there's a spectrum of opinion, a range of positions; you should ask a new question, rather than ask them in comments; comments are for small corrections or clarifications. Commented Feb 23, 2016 at 20:02
  • Yeah but I just got the feel that I didn't get an answer to my current question
    – user19479
    Commented Feb 23, 2016 at 20:06
0

It can be true even if it does not follow logic. Because logic does not cover all aspect of life. The best explanation for logic is, discovering links between two things.

Let us say there exist some thing which you never experienced in real life.

How will you treat the event? Do you really do all logical mind kung fu or treat it as broadening of your awareness?

Logic won't cover every thing unless you know everything which is kind of paradox in itself.

It is the main reason why Indian philosophies look different from western point of view.

1
  • that is not what i mean, although those explanations might still follow logic, e.g. why grass is green? there maybe logical explanation with that. I mean once you accept some empirical facts, and when you want to logically derive something
    – user19479
    Commented Feb 25, 2016 at 17:09
0

It is perfectly possible to come to truthful conclusions while the logical arguments upon which those conclusions are flawed.

Herebelow are three examples of basic propositional logic where the conclusion is correct but something is wrong in the logical argumentation for it.


Example 1

  1. Sven is a man.

  2. All men have mustaches.

The logical conclusion of propositions (1) and (2) would be that Sven has a mustache.

Now, Sven indeed does happen to have a mustache. However, not all men have mustaches. In this example, proposition (2) is wrong, yet the conclusion based on both propositions happens to be correct.


Example 1

Consider the following propositions :

  1. Heidi is a man.

  2. All men have breasts.

The logical conclusion of propositions (1) and (2) would be that Heidi has breasts.

Now, Heidi indeed does happen to have breasts. However, she isn't a man. Neither do all men have breasts. In this example, both proposition (1) and (2) are wrong, yet the conclusion based on those propositions happens to be correct.


Example 3

  1. Sven is a man.

  2. Some men have mustaches

You cannot conclude based on propositions (1) and (2) that Sven has a mustache. Drawing that conclusion based only on those two propositions would be a logical error. However, it just happens to be the case that Sven has a mustache.

0

In the popular example of "Schrödinger's cat" (see citation below), both polemic states of being alive and dead are accepted as true. Schrödinger presents a situation that, despite the seemingly inherent fact that if one is alive they are not dead (and vice versa), in the mathematical interpretation of a physical experiment you can have a "justified true belief" for both possibilities simultaneously. It is only until one opens the box that one becomes true and the other false.

This epistemological issue exists in the relationship to "Truth" and "Knowledge". While A and "not-A" cannot both be observably true, they can theoretically (mathematically) exist simultaneously given a closed system without an observer. This same issue is brought to light with similar thought experiments.

A man stands in a field full of barn facades. In the field there is one real (non-facade) barn. The man, under the impression that all the barns are real, points to the real barn and says, "That is a barn".

Though the man has a "true belief", the justification of that belief complicates the matter, because he has a false sense of the accuracy of his choice. However it does not in the end diminish the accuracy of his statement. Therefore, even with a fallacious premise ("the man believing all the barns were real") the truth of his statement remains intact. Just as the truth of the cat being simultaneous dead and alive remains intact, until an observer opens the box. These are examples of Logical Truths despite false premises.

...ridiculous cases [like, a] cat is penned up in a steel chamber, along with the following device (which must be secured against direct interference by the cat): in a Geiger counter, there is a tiny bit of radioactive substance, so small, that perhaps in the course of the hour one of the atoms decays, but also, with equal probability, perhaps none; if it happens, the counter tube discharges and through a relay releases a hammer that shatters a small flask of hydrocyanic acid. If one has left this entire system to itself for an hour, one would say that the cat still lives if meanwhile no atom has decayed. The psi-function of the entire system would express this by having in it the living and dead cat (pardon the expression) mixed or smeared out in equal parts.

~ Erwin Schrödinger, Die gegenwärtige Situation in der Quantenmechanik (The present situation in quantum mechanics), Naturwissenschaften (translated by John D. Trimmer in Proceedings of the American Philosophical Society)

Link to Wikipedia

7
  • This still seems really poorly balanced in terms of what's needed to answer vs. how much you write...
    – virmaior
    Commented May 30, 2016 at 10:15
  • @virmaior you can edit it if you would like. I am unsure how 8 sentences is excessive. Commented May 31, 2016 at 22:00
  • for me, the "truth" issue regarding Schrodinger's cat is that of choosing between the Copenhagen interpretation of quantum mechanics vs. that of the Many Worlds interpretation. Commented Jun 3, 2016 at 17:23
  • @alampert22 I'm not sure how I can edit something that I would never write ...
    – virmaior
    Commented Jun 6, 2016 at 7:36
  • @virmaior if it's "poorly balanced", perhaps you could edit it and improve the balance? It would help me understand the constructive criticism. Commented Jun 6, 2016 at 7:44
0

What kind of logic? There are many logical systems, devised by human beings to think about and understand different kids of phenomena or experience. For example, the two valued Aristotelian logic. That logic is inadequate to understand the sub-atomic phenomena of quantum physics. Even though sub-atomic phenomena are real, they seem illogical to Aristotelian mind.

-1

here is a religious perspective:

"...Jews demand signs and Greeks search for wisdom, but we preach Christ crucified, a stumbling block to Jews and foolishness to Gentiles, ..."

there appears to be something goofy about seeking the salvation of humankind in that of sacrifice. just doesn't seem logical.

9
  • Your answer appears to assume the truth of the quoted text. How do you justify this?
    – nwr
    Commented Jun 3, 2016 at 17:00
  • that's sorta the nature of holding to a religious belief. persons of faith detect or discern truths (or maybe better said "Truth") in "things hoped for [and of] of things not seen." and for non-believers, that is considered foolishness. what differentiates the different religions is what those "things" are. and, to some degree, it's the invisible "things" that's what differentiates believers in God from believers in something else (e.g. a Multiverse). believing in God may seem like foolishness to some and believing in other universes may seem like foolishness to others. Commented Jun 3, 2016 at 17:10
  • That's "certainly" true.
    – nwr
    Commented Jun 3, 2016 at 17:22
  • i'm just a little curious. where is the word "certainly" being quoted from? Commented Jun 3, 2016 at 17:25
  • I used the quotes to highlight that, while I believe it to be true and would say in conversation "that's certainly true", it is not strictly a certain truth.
    – nwr
    Commented Jun 3, 2016 at 17:31

You must log in to answer this question.