# Questions tagged [proof]

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

201 questions
Filter by
Sorted by
Tagged with
110 views

### Are analogical middle terms sufficient for a valid demonstration?

William A. Wallace, O.P., in “Thomism and the Quantum Enigma,” The Thomist 61 (1997): 455–468, claims that analogical middle terms are sufficient for a valid demonstration and that this is a ...
64 views

### Help with an existential natural deduction proof

From the assumption ∃x∃y R(x, y) I need to derive the conclusion ∃y∃x R(x, y) From the comments: I tried to use Existential Elimination but I can't figure out how to do it properly.
23 views

From no assumptions derive the conclusion ∃x t = x (where t can be any term).
41 views

### Are there rules for the following in the Open Logic Project's proof checker?

I'm using http://proofs.openlogicproject.org/ but can't find out what the translation of the rules are. I'm new at this, so when I try to make proofs, I know what I want the justification to be (which ...
261 views

### Can incompleteness be eliminated by redefining the notion of a formal system? [closed]

The ONLY reason that we know that "cats are animals" and "2 + 3 = 5" are true is that these are defined to be true. The entire body of conceptual knowledge works this same way: Expressions of language ...
110 views

### Language Proof and logic Chapter 13 problem 31

I have been working on this problem for over an hour and I think I have simply missed something. I need some help. I don't see how this is supposed to work out Here are the premises: ∀x ∀y[Likes(x,...
224 views

### Language proof and logic Chapter 15 question 16 help

I'm trying to go about solving this problem but I'm having problems even knowing how to approach it. Can someone help me to set it up? Here is the premise: ∀x∀y(x ⊆ y ↔️ ∀z(z ∈ x ⟶ z ∈ y) Here is ...
747 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....
105 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-...
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 ...
183 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-...
50 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 ...
176 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 ...
22 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 ...
48 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 ...
67 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,...
73 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)∧...
231 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 ...
68 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....
671 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 ...
68 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 ...
61 views

I'm having trouble understanding writing out a proof. The proof I'm trying to work with is : [![enter image description here][1]][1] How do I reach this goal? Which rules do I use and with which ...
65 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 ...
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 ...
54 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 ...
255 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. ...
156 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 ...
69 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 ...
180 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 ...
262 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 ...
93 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 ...
54 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 ...
296 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 ...
112 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 ...
301 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 ...
1k 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 ...
157 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 ...
161 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 (...
313 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 ...
85 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 ...