Can you prove philosophy

We need one more concept: that of a proof. The idea of a direct proof is: we write down as numbered lines the premises of our argument.

Then, after this, we can write down any line that is justified by an application of an inference rule to earlier lines in the proof. When we write down our conclusion, we are done. We start by writing down the premises and numbering them. There is a useful bit of notation that we can introduce at this point. We will write a vertical bar to the left, with a horizontal line indicating that the premises are above the line.

It is also helpful to identify where these steps came from. We can do that with a little explanation written out to the right. Now, we are allowed to write down any line that follows from an earlier line using an inference rule.

And, finally, we want a reader to understand what rule we used, so we add that into our explanation, identifying the rule and the lines used. Notice a few things. The numbering of each line, and the explanations to the right, are bookkeeping; they are not part of our argument, but rather are used to explain our argument. However, always do them because, it is hard to understand a proof without them. Also, note that our idea is that the inference rule can be applied to any earlier line, including lines themselves derived using inference rules.

It is not just premises to which we can apply an inference rule. Finally, note that we have established that this argument must be valid. From the premises, and an inference rule that preserves validity, we have arrived at the conclusion. Necessarily, the conclusion is true, if the premises are true. From repeated applications of modus ponens, we arrived at the conclusion.

If lines 1 through 10 are true, line 19 must be true. The argument is valid. And, we completed it with 19 steps, as opposed to writing out rows of a truth table. We can see now one of the very important features of understanding the difference between syntax and semantics.

Our goal is to make the syntax of our language perfectly mirror its semantics. By manipulating symbols, we manage to say something about the world. This is a strange fact, one that underlies one of the deeper possibilities of language, and also, ultimately, of computers. We can now introduce other inference rules. Looking at the truth table for the conditional again, what else do we observe?

Many have noted that if the consequent of a conditional is false, and the conditional is true, then the antecedent of the conditional must be false. Written out as a semantic check on arguments, this will be:. Remember how we have filled out the truth table. Namely, this can be seen in the last row of the truth table.

We represent it schematically with. And sometimes, philosophers will pretend that even those don't exist. So, philosophy doesn't, as a whole, assume that any fundamental rules exist upon which to build "proven" answers.

Proof is a concept in mathematics, and mathematics is in some ways a formalized version of philosophy that HAS acknowledged the existence of fundamental rules axioms. It is also a concept in legal systems, where again, you have formal systems that have fundamental rules laws. Even formal systems with fundamental rules have problems. I'm sure SOME people would say you can.

Formal logic is a branch of philosophy, and yes, you can certainly prove that a given argument is valid. Other branches of philosophy, of course, have bigger issues with provability. Aesthetics, for example, doesn't lend itself to objective proof very well.

Ontology and epistemology can at times shade into science, although of course many views of the philosophy of science reject that anything can be proven absolutely. That said, your question itself is open to philosophical inquiry; certainly many philosophers have believed that they were proving things conclusively; you'd never convince Descartes that he did not in fact prove to himself that he existed, and many of Aristotle's ideas were held to be truths for many centuries.

Consider the philosophers of science, their struggle is to define the nature of a fact or the "proven true" statement. As there has been no final conclusion in the generational debate between Carnap, Popper, Kuhn, Lakatos, Feyerabend, and others, it would be difficult to apply their understandings to the domain of philosophy as a whole. However, We can state that Carnap's refutation of validation:. The first thesis of physicalism may then be regarded as a new formulation of the principles of empiricism: 1 Statements are to be regarded as scientifically meaningful only if they are in principle intersubjectively confirmable or disconfirmable.

If a statement, by the very interpretation imposed upon it, is in principle incapable even of the most indirect sort of intersubjective test, then though it may have meaning of a purely logical sort, or may be significant in that it carries pictorial, emotional or motivative appeals, or may even be testable in an exclusively subjective manner, it cannot be accepted as an answer to a scientific question.

The phrase " in principle intersubjectively confirmable or disconfirmable " should be understood in the most liberal manner. The sort of indirect testing of assertions here allowed for includes of course the testing of only partially interpreted postulate systems.

It countenances as scientifically meaningful, statements about the most remote, the most intricately concealed or difficult to disentangle states of affairs. It includes statements about unique and unrepeatable occurrences, if only they are of a type that places them within the spatio-temporal-nomological net which itself has an intersubjective confirmation base.

The precise meaning of "sufficiently highly confirmed," as well as the exact explication of "degree of confirmation," "inductive probability," or "evidential support" need not be discussed in the present context.

His use of " spatio-temporal-nomological net " restricts our knowing to confirmation as our perceptions-of-world are anchored temporally to the here-and-now. As we cannot perceive or predict the entire totality of the universe, we cannot declare that any statement is absolutely true or false, even in science, much less in the far harder to test reaches of philosophy. Can you name a field where anything is proved i. By their nature people seek simple things, like religion to promise them if they satisfy a criteria then they are gonna be ok.

In philosophy an end result for anything is just an starting point for something else, it appeals to those who don't want just a yes or no answer but a 'why' as answer. PS: as Joseph Spiros pointed out by refrencing Godel, the very nature of proofs are questioned in philosophy. Proving any statement is true or probably true is impossible, unnecessary and undesirable.

This is true whether the statement is deemed to be philosophical or not. If you assess ideas using argument then the arguments have premises and rules of inference and the result of the argument may not be true or probably true if the premises and rules of inference are false. You might try to solve this by coming up with a new argument that proves the premises and rules of inference but then you have the same problem with those premises and rules of inference.

You might say that some stuff is indubitably true or probably true , and you can use that as a foundation. But that just means you have cut off a possible avenue of intellectual progress since the foundation can't be explained in terms of anything deeper. And in any case there is nothing that can fill that role. Sense experience won't work since you can misinterpret information from your sense organs, e.

Sense organs also fail to record lots of stuff that does exist, e. Scientific instruments aren't infallible either since you can make mistakes in setting them up, in interpreting information from them and so on.

We don't create knowledge useful or explanatory information by showing stuff is true or probably true for reasons so how do we create knowledge? We can only create knowledge by finding mistakes in our current ideas and correcting them piecemeal. You notice a problem with your current ideas, propose solutions, criticise the solutions until only one is left and then find a new problem.

We shouldn't say that a theory is false because it hasn't been proven because this applies to all theories. Rather, we should look at what problems it aims to solve and ask whether it solves them. We should look at whether it is compatible with other current knowledge and if not try to figure out the best solution. Should the new idea be discarded or the old idea or can some variant of both solve the problem?

Bartley III. It seems to me that many philosophers believe that, like mathematicians, they can actually prove the points they believe in, and to that end, they often try to use highly rigorous and technical language, and sometimes they attempt to anticipate and to counter all possible counter-arguments.

I admire such self-confidence, but I am a bit less optimistic and a bit more fatalistic. If you include the logical sciences as part of philosophy, then yes you can, but only with deductive logic. But like mathematics, for any proof you must begin with assumed truths premises , and build from them. Believe in nothing, consider everything. I think philosophy's most valuable insight is the realization that nothing can be known with absolute certainty.

Obviously we want to base our decisions on what seems most logical and practical but i think it's very important to always approach things with some level of caution and uncertainty in the back of your mind. You have to accept the fact that human beings are not capable of complete understanding. It's not always about what you see, but what you don't see. The only truth in our world is that those who claim to have found an infallible truth are not to be taken seriously. To prove something true, you need to 1 know truth, 2 to agree about it and 3 to verify it on a system.

Because if you put an apple in an empty bag, then add another, and you count the apples, you will find two apples. This mechanism of action and reaction is called causality. We learn the action-reaction mechanism before being born and along all our lives.

When something breaks causality, we feel pain, anguish, fear. Imagine you bash your head against the wall, but you don't feel nothing. Imagine you lose a loving one. Imagine you see an UFO or a miracle. All this events break the causality rules in our head and we lose the sense of reality.

The only reality we accept is the one we understand, and that is the one which follows the causality mechanism. Therefore, we all know the mechanism, and we can share thoughts.

We need, therefore, a systematic way of interrogating our own thinking, our models of rationality, and our own sense of what makes for a good reason. It can be used as a more objective standard for assessing the merit of claims made in the public arena. One of the clearest ways to understand critical thinking is as applied epistemology. Issues such as the nature of logical inference , why we should accept one line of reasoning over another, and how we understand the nature of evidence and its contribution to decision making, are all decidedly epistemic concerns.

The American philosopher Harvey Siegel points out that these questions and others are essential in an education towards thinking critically. By what criteria do we evaluate reasons? How are those criteria themselves evaluated? What is it for a belief or action to be justified? What is the relationship between justification and truth? To the extent that critical thinking is about analysing and evaluating methods of inquiry and assessing the credibility of resulting claims, it is an epistemic endeavour.

Engaging with deeper issues about the nature of rational persuasion can also help us to make judgements about claims even without specialist knowledge.

In this way, epistemology serves not to adjudicate on the credibility of science, but to better understand its strengths and limitations and hence make scientific knowledge more accessible. One of the enduring legacies of the Enlightenment , the intellectual movement that began in Europe during the 17th century, is a commitment to public reason. In other words, to produce and prosecute an argument. Read more: How to teach all students to think critically.