Questions tagged [proof]

For questions about the correctness of a proof or the nature of proofs in general.

197 questions
15 views

Language Proof and Logic 15.16 [duplicate]

This problem concerns the practice problem 15.16 of the textbook Language, Proof and Logic. So I saw a similar post here, which gave most of the correct answer (Language proof and logic Chapter 15 ...
40 views

Logical, semantic and self-referential paradoxes: The Truth teller and the Liar (draft) can an expert on the matter give feedback?

Title: Logical semantic and self-referential paradoxes: The Truthteller and the Liar (draft, informal) (major) assumption: A statement is either true or not true (law of excluded middle, classical ...
59 views

Fitch Proof - Arrow's logic of preferences

I've been stumped on this one question in particular for several days now and I'm hoping to get some help on where I'm going wrong. Given the following premises: ∀x∀y(StrongPref(x,y)→ ¬StrongPref(y,...
1k views

Can we logically prove that anything exists?

Suppose I want to prove that negative numbers exist. Well, I could easily do that using a mathematical proof. However, all I would be doing is adding another logical object to a list of known logical ...
69 views

Fitch Arrow Proofs [closed]

Using the FITCH program and the FITCH derivation rules you should make a proof or derivation of C10 from P5 through P11. P5: ∀x∀y(StrongPref(x,y)→ ¬StrongPref(y,x)) P6: ∀x∀y∀z((StrongPref(x,y)∧...
230 views

Help with a proof in Classical Sentence Logic

Premise: (A implies B) implies C Conclusion: (C implies A) implies A I had a logic exam a few hours ago and this was one of the problems, but I really didn't know where to start. Since the main ...
8k views

How does one prove De Morgan's laws for quantifiers?

One of De Morgan's laws state that ¬∃x P(x) is equivalent to ∀x ¬P(x), but how would one go about formally proving this? Numerous attempts to find a solution have been futile, even proofwiki.org ...
64 views

Proof Tree to Fitch Proof

I was wondering if anyone could help me on a proof I've been working on: I was able to check that it is valid with a proof tree generator (prooftools): However, I still haven't figured out the proof....
432 views

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

Timm Lampert quotes from Wittgenstein's "notorious paragraph" (§8 of Remarks on the Foundations of Mathematics, Appendix 3) in http://wab.uib.no/agora/tools/alws/collection-6-issue-1-article-6....
668 views

How to find redundant premises?

Suppose I have this simple argument: ( P ⊃ Q ) R P Therefore, Q Here's the truth table I made in an excel worksheet: As you can see this comes out valid but in reality it isn't valid ...
65 views

I'm having trouble understanding writing out a proof. The proof I'm trying to work with is : How do I reach this goal? Which rules do I use and with which support steps to each rule (proofs to prove ...
58 views

I'm having trouble understanding writing out a proof. The proof I'm trying to work with is : [![enter image description here]] How do I reach this goal? Which rules do I use and with which ...
39 views

Fitch Proof Help

I'm having some trouble solving this proof in Fitch. How do the universals switch place from the premise to the goal? There is no negation in the goal so negation introduction is not the way to go, I ...
63 views

Fitch Question Help

I'm having trouble understanding quantifiers in proofs. The proof I'm working with is : ¬∀x Tet(x) -- Premise ¬∀x (Tet(x) ∧ Medium(x)) -- Goal How do I reach this goal and also get to the goal ...
100 views

Does anyone know of a philosophy which rectifies or considers the following question?

Let's imagine that I began to doubt the validity of one of my arguments, which leads me to question my ability to make rational arguments. And so begin to distrust my intuitive ideas about logic, then ...
72 views

Logical equivalence proofs

Trying to master logical equivalence proofs out of a textbook is proving to be difficult. I’m hung up on these four problems. I can make some progress, but usually get stuck towards the very end. Any ...
52 views

Solving a proof in which the goal is the negation of a variable in Fitch

I'm working on an assignment and I'm stuck on this proof. I feel like I'm on the right track but I can't find the way to prove the goal. A ^ B (A ^ ~C) --> ~D A -> ~C (B ^ E) --> (C v D) ~E I ...
253 views

Clear and canonical examples of analytical proofs in philosophy

I am used to the proof methods of mathematics, and I have formally studied formal logic and mathematical logic. I like philosophy but have never followed a rigorous course in analytical philosophy. ...
151 views

Do α and β entail each other?

Show whether the following is true or false: α |= β or β |= α, for any two formulas α and β I'm assuming here that α and β are formulas, not a set of formulas. My thought is that I can prove that ...
66 views

How to find a stance towards a controversial topic

When is a stance towards a topic "proven"? To create this example I will take the anti vax topic. My first impulse is: anti vax people are stupid. They ignore basic science. I myself would (...
174 views

New riddle of induction; does the observer know the arbitrary time t?

Wikipedia, in "New riddle of induction", sets out Nelson Goodman's paradox as follows: Goodman defined grue relative to an arbitrary but fixed time t as follows: An object is grue if and only if ...
171 views

Using predicate logic, how to solve symmetric and anti reflexive

The networks is: A->B->C->D The channels used by the network are: lo, med, hi h-hi, l-lo, m-med i) A network uses one, and only one channel. ii) Networks within close proximity cannot both use the ...
253 views

How does a truth tree provide positive and negative effect tests for implication?

I'm trying to prove that the truth-tree method can be used to give a positive effect test for implication, and a negative effect test for non-implication. I've been given the fact that The truth-tree ...
84 views

Correct Way of Handling A Corollary of A Corollary?

I have a conclusion S that is moderately interesting. While the corollary of S is more interesting, the corollary of the corollary of S is extremely interesting. Should I just label them corollary 1 ...
49 views

Structure of an if and only if proof

I am trying to get this proof to work out and so far I feel like I have the first part right but I'm stuck on how to get the A→B part.
14k views

Does a negative claimant have a burden of proof?

I have often heard it said that the burden of proof is on the positive claimant but not on the one making a negative claim. A person claiming, "God exists" has a burden of proof but not a person ...
282 views

Fitch Proof Question

I'm having trouble with a proof and I'm not sure if it's valid or not. If it appears to be invalid, we are supposed to assign names to the letters in the proof and check it in a World, but when I do ...
1k views

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

Some time ago I was reading about the recent Shinichi Mochizuki's proof for the famous ABC conjecture. It's enormous and so incredibly difficult that at that time virtually nobody was able to ...
169 views

Where can I learn about the philosophy behind mathematical and logical proofs?

I'm looking for something that dives into the philosophical idea of a "proof," and explains how the subjects of mathematics and logic deal with it. Does anyone have any book or article recommendations ...
3k views

Why is Modus Ponens valid?

I am having trouble understanding what defines Entailment operator. On Mathoverflow I posted this question on what I perceive to be paradox of entailment. Consider: Modus Ponens: P therefore Q P ...
15k views

Can you prove anything in philosophy?

I don't understand philosophy very well, and so I am wondering whether you can "prove" anything in philosophy. It always seems you can go a layer down, and find another question, almost endlessly ...
111 views

Why cannot the following theory be refuted by logic but is rejected because of lack of empirical support?

The following statements are taken from a book: The man in the street, and also the philosopher K. Marbe, believe that after a run of seventeen heads tail becomes more probable. This argument has ...
272 views

How to Prove P(a) → ∀x(P(x) ∨ ¬(x = a)) using Natural Deduction

How would a formal Fitch proof look like. I am given P(a) → ∀x(P(x) ∨ ¬(x = a)) to prove using Natural Deduction of predicate logic. I am confused on how to proceed with the proof. Please advice me ...
990 views

Given P ∨ ¬ P prove (P → Q) → ((¬ P → Q) → Q) by natural deduction

I am very new to proof and logic and I would really appreciate a rundown of this proof. I use a program called Fitch to construct my proofs. I understand there are two types of proofs. Direct ...
90 views

De Morgan for Quantifiers Formal Proof: Inhabitance Question

I have a problem reading existing question's answers. I've successfully encoded the proof of one of De Morgan's Laws, ¬∃x P(x) → ∀x ¬P(x), for Quantifiers formally via cubicaltt type-checker via Curry-...
150 views

Is anything not proven impossible therefore possible?

Is it a truism that, except for that which is proven impossible, everything is or must be considered possible? If so, why? It seems to me to be an argument from ignorance to say that just because we ...
163 views

De Morgan for Quantifiers Formal Proof: ∀∃-intro and -elim Questions

I have a problem reading existing question's answers. I've successfully encoded the proof of one of De Morgan's Laws, ¬∃x P(x) → ∀x ¬P(x), for Quantifiers formally via cubicaltt type-checker via Curry-...
155 views

Do picture proofs of the Pythagorean theorem make it empirical?

As I understand it, the Pythagorean Theorem, which defines the metric for Euclidean space, is said to be strictly mathematical in the sense that it is derived from a set of purely theoretical axioms (...
283 views

Does anyone have a proof checker they prefer using for modal logic?

I am looking for a proof checker for modal logic using natural deduction or sequent calculus. I am trying to learn Isabelle, but I think there should be a simpler solution. Although I can rely on ...
84 views

How to prove or disprove validity of ◻◻p → ◻p in the frame (Q,<) of the rational numbers with the usual less-than ordering?

I was wondering if someone can perhaps help with this proving. I am not sure how to handle a temporal frame that is not a set of only natural numbers. Any suggestions? Thank you.
74 views

I need some help determining the validity of the following argument

“I got the highest grade on the last test and I have perfect attendance. If I get a cold, then I miss at least one class. I came down with a cold. Therefore, if I missed at least one class, then I ...
40 views

Proof with conditional introduction

Below is a screen-cap of part of a video where a proof using conditional introduction is shown, which is proving under certain assumptions that given A is true, then the adjacent sentence is also true....
197 views

Is an argument in natural language as logically valid as in formal logic?

Is a natural language philosophical argument which is argued strictly from first principles widely considered equally as valid as a proof written in formal logic?
134 views

Prove or disprove ~◇◻p → ◇◇~p in system K

How to start with the following proof? Any help would be appreciated. I have tried by assuming the left side is true, however, I get confused with the negation. ~◇◻p → ◇◇~p
161 views

Modal validity & vagueness

(2nd version to make explicit my implicit assumptions about A, B and C, and the definitions of the non-logical constants "⊂" and "≡".) Intuitively, the following modal argument seems valid to me and ...
285 views

Is the Kalam cosmological argument scientifically provable?

Kalam Cosmological Argument: (1) Everything that has a beginning of its existence has a cause of its existence. (2) The universe has a beginning of its existence. Therefore: (3) The universe has a ...
350 views

If there is anything that could behave like a god, is it then a real god? [closed]

Let's assume that the our universe's physics allows time travel. This is my main assumption! Let's further assume that there is an quite intelligent, invulnerable being, that found a way to achieve ...
1k views

Are there rules for dealing with self-reference “paradoxes” in logic?

My favorite paradox that leads to an endless regress, and also leads to a question: The sentence after this is true. The sentence before this is false. When contradictions appear in proofs, ...