1: Why do we say that there can't be other logics/mathematics than those we have?
2: Logic and maths are independent of reality. Then, if we have invented a logic/math based on reality, would it be wrong or false?
Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.Sign up to join this community
Who says that you can't have other logic or mathematics than we have?
This is simply not the case, for some alternative logic systems see here, and in mathematics new mathematical systems can be constructed by changing the axioms to produce difference formulations. Some of these can behave quite differently from conventional mathematics.
We use the systems that we use because they have proven useful and, to a large degree, behave in a similar way to the way the observable world seems to work.
Logic and mathematics are not independent of reality but have been abstracted from reality and are relying on tools of reality when being pursued and expressed in monologue, dialoge and general discourse.
Unfortunately this fact has not been recognized even by otherwise very able men. Einstein asks: "How is it possible that mathematics, which is a product of human thinking independent of all experience, fits reality in such an excellent way?" [A. Einstein: "Geometrie und Erfahrung", Festvortrag, Berlin (1921), reprinted in A. Einstein: "Mein Weltbild", C. Seelig (ed.), Ullstein, Frankfurt (1966) p. 119]
Without mental images from sensory impressions and experience thinking is impossible. Without reality (which includes the apparatus required for thinking as well as the objects of thinking – we never think of an abstractum "number 3" but always of three things or the written 3 or the spoken word or any materialization which could have supplied the abstraction) mathematics could not have evolved like a universe could not have evolved without energy and mass. Therefore real mathematics agrees with reality in the excellent way it does.
Einstein answers his question in a relativizing way: "In so far the theorems of mathematics concern reality they are not certain, and in so far as they are certain they do not concern reality." [loc cit]
He states a contraposition (R ==> ¬C) <==> (C ==> ¬R). Both statements are equivalent. Both statements are false. To contradict them a counterexample is sufficient. A theorem of mathematics is the law of commutation of addition of natural numbers a + b = b + a. It can be proven in every case in the reality of a wallet with two pockets.