26 votes
Accepted

Does every truth have to be provable based on evidence?

The answer is a point of contention between realism and anti-realism. Truths that "do not have evidence" are termed verification-transcendent truths (coined by Dummett), and realists are committed to ...
Conifold's user avatar
  • 43.1k
24 votes

How to prove (A v B), (A → C), (B → D) therefore (C v D)

Here is part of the question: My only idea is v must be introduced, but how would I use subproofs to show one of A/\C or B/\D is never false if A v B? It might be best to think of using ...
Frank Hubeny's user avatar
  • 19.4k
20 votes

Do atheists bear the burden of proof in showing why/how the reasons presented by theists are unconvincing?

I'd say the burden of proof is on the theist. The theist asserts the existence of some god. The burden of proof lies with the one making the claim.
JRE's user avatar
  • 327
18 votes
Accepted

Do atheists bear the burden of proof in showing why/how the reasons presented by theists are unconvincing?

I think gnasher729 and NotThatGusy make a great first point - "God" is too fuzzy a concept. Any discussion of God first needs to establish what properties we are assuming God has. However, ...
Annika's user avatar
  • 1,661
18 votes

Do atheists bear the burden of proof in showing why/how the reasons presented by theists are unconvincing?

The answer is not going to be "the theist has the burden of proof" nor "the atheist has the burden of proof". Before you can answer "Who has the burden of proof?", you ...
Stef's user avatar
  • 949
17 votes

Is watching an amputated limb regrow proof of the supernatural?

Logically, if we could prove that God healed amputees then it would as a corollary prove the existence of God. (it is simply the argument that; "if X is specifically observed to do Y, then X must ...
Guy Inchbald's user avatar
  • 2,582
17 votes
Accepted

Do people who "withhold judgement" also have a burden of proof?

Describing yourself ("I am not convinced.") is free. Describing the rest of reality ("Your argument is not convincing.") costs an argument.
g s's user avatar
  • 5,845
14 votes

Does software exist to automatically validate an argument?

You are looking for a so-called automated theorem prover. See e.g. pyPL or Tree Proof Generator for two implementations of the calculus of analytic tableaux for classical propositional and first-order ...
Natalie Clarius's user avatar
14 votes

Can we doubt all knowledge?

To answer the question in the title: Yes. That's a key trait of any good scientist. To answer your last question in the body: Because we have no better option to depend on or behave according to.
TCooper's user avatar
  • 275
13 votes

Does theism have the burden of proof?

First of all "the burden of proof" is a matter of "sportsmanship" not logic. Where the idea is that the person making a claim, demanding change or accusing someone of something is ...
haxor789's user avatar
  • 5,881
12 votes

Do atheists bear the burden of proof in showing why/how the reasons presented by theists are unconvincing?

Unless one is a fideist, one is essentially bound to onus probandi. From WP: [T]he burden of proof lies with the one who speaks, not the one who negates... is the obligation on a party in a dispute ...
J D's user avatar
  • 26.6k
12 votes

Do people who "withhold judgement" also have a burden of proof?

First of all, "the burden of proof" is not a hard and fast rule but more about sportsmanship. So as asserting a claim is easier than defending or disproving one the former usually is ...
haxor789's user avatar
  • 5,881
12 votes

How to prove the world is real, and one isn’t just hallucinating everything?

It sounds like you're asking: How do I know reality is real? So, there are variety of scenarios that have been offered in philosophy that challenge the thinker to think about proof and reality. All ...
J D's user avatar
  • 26.6k
12 votes

How to prove the world is real, and one isn’t just hallucinating everything?

Two options: this reality is really real, or it isn't. If reality isn't real, you're probably not going to be able to prove it's not real any time soon, nor figure out the real nature of reality. You'...
TKoL's user avatar
  • 2,910
11 votes

How is Wittgenstein’s “notorious paragraph” about the Gödel's Theorem not obviously correct?

Timm Lampert, cited by the OP, quotes Wittgenstein (§8 of Remarks on the Foundations of Mathematics, Appendix 3): ‘True in Russell’s system’ means, as was said: proved in Russell’s system; and ‘...
Frank Hubeny's user avatar
  • 19.4k
11 votes

Is watching an amputated limb regrow proof of the supernatural?

The term 'supernatural' is generally used by modern skeptics in the sense: "That which cannot be explained by natural processes using the natural sciences." However, any event that can be ...
Ted Wrigley's user avatar
  • 19.6k
11 votes
Accepted

Is watching an amputated limb regrow proof of the supernatural?

Short Answer As an athiest who advocates for philosophy, I would suggest there would be many rational bases for attacking your attribution of the regrowth to the supernatural which by definition ...
J D's user avatar
  • 26.6k
11 votes

Can we doubt all knowledge?

You can of course do anything you want... But to doubt all knowledge is to indulge in radical skepticism, is it not? If we were all radical skeptics, then we'd be living in a world in which knowledge ...
niels nielsen's user avatar
11 votes

Does theism have the burden of proof?

It seems like the other answers so far, and the question itself, do not clarify what is meant by "God". The definition really matters. If God is treated as an entity just like any other ...
Zayn's user avatar
  • 620
10 votes
Accepted

What is the burden of proof? Has this principle ever been challenged?

The burden of proof falls on the one who makes the claim because, usually, they don't make this claim in a vacuum, without any goal in mind: they want other people to accept their claim and adjust ...
armand's user avatar
  • 6,297
9 votes

Proof for the absence of free will?

Seems like no one brought up Frankfurt and hierarchical compatabilism. First-order desires: desires that are directed to objects or states of affairs. We desire things like being healthy, being well-...
J Kusin's user avatar
  • 2,666
8 votes

Is a proof still valid if only the author understands it?

"A language that I don't understand is no language." (Wittgenstein, MS 109) Is a proof still valid if only the author understands it? I do not think so. See Yuri Manin, A Course in Mathematical ...
Mauro ALLEGRANZA's user avatar
8 votes
Accepted

Are axioms tautologies?

It is worth separating the logic from the epistemology. Let's start with the logic. A (first order) theory is a set of sentences. Usually we are interested in deductive systems, so we require a ...
Bumble's user avatar
  • 25.1k
8 votes

Can we logically prove that anything exists?

IMO, there are two related but different issues here. We prove statements : in math and logic we prove a theorem from axioms. There is no way of proving a statement "from scratch", i.e. without ...
Mauro ALLEGRANZA's user avatar
8 votes

How to prove (A v B), (A → C), (B → D) therefore (C v D)

You can use proof by contradiction: p1: A v B p2: A -> C p3: B -> D assume ~(C v D) ~C & ~D (from 1, De Morgan's law) ~C (from 2, conjunction elimination) ~D (from 2, conjunction elimination) ~...
Steven's user avatar
  • 81
8 votes
Accepted

How to show (in a hand waving manner) that the Godel sentence is true

Gödel’s Incompleteness Theorem is a result about formal systems. Its proof requires certain assumptions about the properties of specific formal system F: basically, about its "expressive capabilities"...
Mauro ALLEGRANZA's user avatar
8 votes

Does theism have the burden of proof?

A few, ex mea sententia, salient points: A positive claim precedes a negative claim. The statement God exists comes before its negation that God does not exist. The onus probandi falls on the ...
Agent Smith's user avatar
  • 3,658
8 votes

Do atheists bear the burden of proof in showing why/how the reasons presented by theists are unconvincing?

Practically in informal circumstances the burden of prove lies with whoever needs to convert the doubter. If you are an atheist trying to persuade a Catholic their belief is misguided, the burden of ...
Marco Ocram's user avatar
  • 21.4k
7 votes

Proof for the absence of free will?

This argument constructs a paradox of the type popularized by Zeno, i.e.: one cannot do x until one has done x' one cannot do x' until one has done x'' one cannot do x'' until one has done x'''... ...
Ted Wrigley's user avatar
  • 19.6k

Only top scored, non community-wiki answers of a minimum length are eligible