Skip to main content
Philosophy

Questions tagged [tautology]

Ask Question

The tag has no summary.

29 questions
Newest Active Bountied Unanswered
5 votes
8 answers
1k views

For example, is "a bachelor is an unmarried man" a definition or tautology? The context is this: "Some philosophers of science have argued that 'survival of the fittest' is a tautology (...
buck's user avatar
  • 69
4 votes
4 answers
410 views

In Wittgensteins Tractatus Logico-Philosophicus, particularly TLP 4.461 (Ramsey Ogden translation), we read that "Tautology and contradiction are without sense" but in 4.4611-4.4612 we read ...
Gabriel Fenwick-Kearns's user avatar
  • 59
2 votes
2 answers
278 views

Is there a sense in which the hypothetical syllogism isn’t a tautology? I ask because of the following: The hypothetical syllogism is usually written as the following: ((A→B) ∧ (B→C)) → (A→C). Or it ...
Lorenzo Gil Badiola's user avatar
  • 2,592
-4 votes
3 answers
159 views

I've been doing some work in proving my deductive system, which is a logistic system, is analytic and complete, I call it LP1. Right now I'm interested in showing that its definitions are theorems of ...
lee pappas's user avatar
  • 2,284
3 votes
0 answers
94 views

And not when, "Possibly not X," or, "Not necessarily X," are implied by, "Impossibly X," already. But so is it possible to have a tautology be a statement of mere ...
user avatar
1 vote
4 answers
373 views

Are there any interesting examples of tautologies that are not mathematical? Something non-trivial like It is raining or it is not raining. I can't come up with one nor have I found any on the ...
Alex's user avatar
  • 149
1 vote
3 answers
365 views

On p22 in The Big Questions by Solomon: A tautology is a trivially true statement. Some examples: A man is free if he is free. You can't know anything unless you know something. I wouldn't be here ...
Tim's user avatar
  • 479
1 vote
1 answer
248 views

The Wikipedia article on the corresponding conditional contains the following sentence: An argument is valid if and only if its corresponding conditional is a logical truth. Some sources use "...
user51462's user avatar
  • 493
4 votes
3 answers
1k views

I have just started learning Epistemology. I am not sure about the relation between a priori and tautologies. My textbook has given definitions for a priori and tautology. A priori: knowledge which is ...
Heidi Zhang's user avatar
  • 41
23 votes
13 answers
9k views

Many times in class, we are asked to answer, "What is 2+2?" or "What is the derivative of the function x?". It would not be the intended answer to write "2+2" or "...
user107952's user avatar
  • 10.1k
-1 votes
2 answers
162 views

Prove that the following is a logical truth (tautology) using a natural deduction derivation: (B → C) ˅ (¬B → C) How do I prove this using statement logic? I know I need to start with a supposition ...
Muskaan Mehta's user avatar
  • 7
0 votes
0 answers
185 views

Is the proof below correct for the following premise?: ⊤ ⊢ (B → ¬B) → ¬B 1 B → ~B :AS 2 B :AS 3 ~B : → E1,2 4 ⊥ 5 ~B :~I1-4 6 -- 7 (B->~B)-> ~B :->I1-...
Pri's user avatar
  • 1
0 votes
1 answer
608 views

I assumed an idea is consistent with itself if it does not contradict itself, and that this is "tautological" because it can be inferred from itself and nothing else. Is that a misunderstanding of the ...
user avatar
-1 votes
1 answer
293 views

First of all, please don't close this question cause I don't get the explanation given in: Use the Fitch system to prove the tautology (p ∨ ¬p) I have been trying to solve this exercise for days ...
Luen's user avatar
  • 1
0 votes
0 answers
66 views

I'm having trouble solving this one. I've been stuck in step 9 for days now. Any help is very much appreciated.
Luen's user avatar
  • 1

15 30 50 per page
1
2