Q:

Are the Foundations of Mathematical Logic Shaky?

The mathematics community at large seems pretty satisfied right now with the common practice of 1. starting with some axioms and 2. deriving theorems from them by employing some logic. All mathematics is done like this (as far as I know).
Here's the problem I see with this, specifically in the logic part (although I'm not so confident that I can explain it clearly). In defining a logic, you say things like, "A theory T is called a formal theory, if and only if there is an algorithm allowing to verify, is a given text a correct proof via principles of T, or not" (I just copied that from a webpage, so don't worry about the details). I'm focusing specifically on the "if and only if" part. What does "if and only if" mean, logically (i.e. how do I apply it)? Well, It means different things in different logics (our common notion of it changes especially in paraconsistent logics). So do words like "and," "or," and "is." For example, in our daily speaking language when we say "the light is on," we would consider that equivalent to "the light is not off." Not so if we were using a paraconsistent logic. So why assume, in important definitions such as the above, that we are using some agreed upon logic (the logic people normally assume is Aristotelian logic, which assumes the law of non-contradiction and the law of the excluded middle).
Here's my attempt to say it in one sentence with commentary: Using a logic (i.e. applying it to axioms to derive theorems) necessarily entails using another logic (not necessarily the same as the other one) that is not formally defined (it's not that you can't formally define it, but that you are not using it formally but casually, assuming that Aristotelian logic is the "right logic"). 
Thus, if I applied a logic to some axioms using a paraconsistent logic (which allows contradictions to a degree) instead of Aristotelian logic, a different theory would emerge. 
I guess it seems to me that logic is so embedded in our natural language that it's impossible to define a truly "formal" logic in the sense that it does not assume anything (which is precisely what mathematicians have desired to do); even a formal logic assumes the casual use of another logic.

A:

No, they are not shaky.
I answered a similar question before, but let me try again.
You make a number of assumptions about logic. You are assuming that it is a goal of logic to bootstrap itself and mathematics starting from nothing. You think that a logician is not allowed to use the words "or" and "and" until he has somehow defined them without using them. You assume that "it is logics all the way down", that is to say, that the only way to define a logic is to use another logic. All these assumptions are incorrect.
You want logicans to impart on you a feeling of absolute security in mathematics, starting from nothing. I could probably do that with some cool drugs and a bit of religuous brainwashing. My preferred method is more mundane: teach you reading and writing and basic math, expose you to the wealth of human knowledge, train you in critical thinking, and then have you visit a course in mathematical logic. These are the true foundation of mathematics and logic.
If a logician is not allowed to use "and", "or" and other common words, then perhaps you should explain what he is allowed to use. Nothing? Surely, that is a bit too harsh. If you think about how one might achieve "perfect security" in mathematics, you will of course be reduced to questions about humans and the physical world, which lie outside the scope of mathematics and mathematical logic. All that logicians offer is a a mathematical analysis and reflection upon the nature of mathematics. And that is a very valuable thing to have.

