Questions tagged [logic]

For questions about logic, whether it concerns syllogistic logic, mathematical logic or the nature of logic itself.

Filter by
Sorted by
Tagged with
2
votes
1answer
50 views

Good (intro) textbook for deontic logic

I've read 90% of Sider's Logic for Philosophy and thought it was great - very lucid. Assuming I am more or less familiar with what's introduced there, are there any great resources out there for ...
0
votes
2answers
104 views

Formal Proof and Russell's paradox?

I am a little thrown off with this. Can we express Russell’s paradox as "A dog chases all and only those dogs that don’t chase themselves"? What is a formal proof showing that it is ...
0
votes
0answers
15 views

Does Rawls aim at stating the necessary conditions or the sufficient conditions for a society to be just?

Note : this question does not aim at discussing in detail Rawls' theory, nor at showing a profound knowledge of Rawls' doctrine ; it only deals with the global intentions of Rawls in A Theory Of ...
-1
votes
1answer
54 views

Can you give me two translations into predicate logic that are distinct for the sentence?

Consider the claim "Nothing cleans like Lysol." It can, I think, be translated in two distinct ways using two different quantifier expressions of a predicate logic. Can you give me two ...
-1
votes
1answer
122 views

Robinson Arithmetic and Church-Turing Thesis

What is the connection (if any) between proving the undecidability of Robinson Arithmetic and the Church-Turing Thesis? If there is any connection to CTT, is it necessary?
0
votes
3answers
168 views

Is my analysis of Dawkins fallicies correct?

I have been analyzing arguments made by prominent atheist and looking for logical fallacies. I am new at this. Are my analyses correct? from: “The All Time best arguments against religion/faith #2 (...
0
votes
0answers
12 views

Are all “actions” considered to be a type of “conditions”?

Are all "actions" considered to be a type of "conditions"? Let's take the following sentence: "Each display and local field can contain one or more rules that contain a set ...
0
votes
1answer
76 views

Difference between non-sequitur fallacy and post hoc fallacy?

What is the difference between post hoc fallacy and non sequitur fallacy?
0
votes
2answers
68 views

What relationship exists between logical and. material Implication (Conditional)? Can you please represent both conditionals in a truth table?

Can someone help me derive the truth table of the logical conditional from the material conditional? Here are three statements about logical implication from my logic professor: Given the argument: S:...
0
votes
0answers
21 views

Can we make statements for persons/objects that cease to exist?

I am asking this question because I thought what truth value would have a have a quantifier over a set that contains persons that are dead. For example suppose I state: "For every x that is ...
1
vote
2answers
98 views

Is an “observer” always implied in scientific statements?

I'm not sure what it's called, but Russell famously resolved problematic statements like "The present King of France is bald," simply by saying that it contains a hidden assumption of ...
1
vote
0answers
47 views

Is there some non-classical logic where the van der Waerden theorem does not apply?

The van der Waerden theorem is a theorem in the branch of mathematics called Ramsey theory which states that for any given positive integers r and k, there is some number N such that if the integers {...
-2
votes
1answer
68 views

Should we define truth (given it exists)?

Should we, human-beings, try to define truth (given truth exists in reality)? Personally, I don't think we should reduce truth to symbols and syllables because I think it will take us into weird ...
2
votes
0answers
48 views

How does Davidson's Slingshot argument escape Russell's Theory of Definite Descriptions?

Hi I am trying to understand Davidson's Slingshot argument. Apparently it is said that Russell's Theory of Definite Descriptions does not face the problem that Davidson highlights. For instance, if we ...
2
votes
1answer
49 views

How do I translate “all and only” and “if and only if”?

Hi is the translation for "if and only if" (iif) the same as "All and only" i.e. both requires the bicondtional?
4
votes
1answer
72 views

What are some non-trivial examples of the use/mention error?

Examples of use/ mention fallacies one often encounters are toy examples, such as : (1) The Morning Star is Venus. (2) Venus is a 5 letters word. (3) Therefore the Morning Star is a 5 letters word. (1)...
2
votes
1answer
60 views

Soundness and Completeness of Tableaux

Tableaux to my knowledge are both sound and complete. The statement: "If P is valid then tableau for -P eventually closes". Does this statement prove that tableau is sound and complete or ...
2
votes
1answer
103 views

Is the statement “If you are against criticizing the media, then you are against free speech” begging the question?

I have a question to any fallacy experts out there: I was in a recent discussion about media bias and the perceived harm to media by the president's statements about fake news and media bias. I made ...
0
votes
0answers
39 views

Is the included derivation feasible? If so, would my proof be correct?

The simple derivation seems correct and intuitive, and yet I feel as if something is off. I would greatly appreciate it if someone could double-check the provided formal proof. Thank you in advance ...
2
votes
4answers
159 views

What is my fallacy? LSAT Reasoning Question: Titanium Ink

I have a question regarding an LSAT Reasoning question and it drives me crazy Question is: Until recently it was thought that ink used before the sixteenth century did not contain titanium. However, ...
1
vote
3answers
103 views

Do philosophers think physical laws are logical statements?

I had some questions like: Do philosophers think that the rules of the universe are always logical or can they be somehow divorced from logic? The rules of physics seem to follow the laws of logic, so ...
1
vote
1answer
71 views

I talk to every goblin every day. Question about “vacuously true”?

A short question about vacuously true. (1) I talk to every goblin every day. (2) I talked to every goblin yesterday. Goblins don't exist. So universal claims like (1) and (2) are vacuously true, ...
4
votes
1answer
290 views

In how many and which ways can a logic be non-classical? Are there systems for organizing them?

I asked on MathSE What are the various respects under which a logic can deviate from classical logic, thus being “ non-classical”? and received one short answer. So, I'm interested in responses from ...
5
votes
1answer
47 views

Approximately directed graph of logic types

I'm not sure if this is the right stack to post this question. Given there are many types of logic; Syllogistic, Symbolic, Modal, Deontic, Temporal, Epistemic, (non)monotonic, formal, informal, FOL, ...
1
vote
2answers
122 views

Was Peirce the first to distinguish objective and subjective possibilities?

I was reading IEP article about C.S Peirce where some of his logical notations for modal logic are presented, and one them seem to make a distinction between a subjective formula and an objective one....
2
votes
2answers
87 views

Fail to understand Tarski's substitution argument for logic apriorism and a rebuttal against it

I have been reading Bueno and Colyvan's Logical Non-apriorism and they mentioned that Tarski has the following argument for logic apriorism: If, in the sentences of the class K and in the sentence X, ...
0
votes
1answer
55 views

Is having “skin in the game” always beneficial in “thought and action” as Taleb seems to think?

I was skimming through the tweets about Taleb when I saw one from one of his former [friends][1] which was about Taleb's "skin of the game" that was about it say that is neither necessary ...
0
votes
2answers
69 views

What are some possible motivations for Peirce's use of only one operator(his NAND) to recreate the “and”, “or” and “not” operators?

It was found in Peirce's unpublished papers that he defined the NAND operator and discovered that all classical logical operators could be replaced by combinations of NAND. What are some possible ...
0
votes
2answers
78 views

FOL translations (double predicates)

I'm learning first order logic right now and I'm stuck on some translations. Key: G(x) : x is a galaxy M(x) : x is a moon P(x) : x is a planet S(x) : x is a star B(x,y) : x is bigger than y O(x,y) : x ...
0
votes
1answer
27 views

FOL Translation

I'm learning first order logic right now and I'm stuck on a translation. Key: P(x) : x is a planet M(x) : x is a moon S(x) : x is a star O(x,y) : x orbits around y Only stars have planets orbiting ...
0
votes
0answers
21 views

Self-evident vs. self-explanatory vs. …?

How far apart are these descriptions? I was approaching the issue from the perspective of erotetic logic, and my intuition is that self-evidence is when a proposition is evident from its erotetic ...
2
votes
2answers
102 views

Can we define the notion of an “omnipotent God” in terms of computational power?

A classic omnipotence paradox asks, "can an omnipotent God create a stone so heavy that He cannot lift it?" The problem here is that we take omnipotence to mean "capable of anything ...
2
votes
1answer
69 views

Explanation of Littlewood's profound philosophical joke

In "A mathematician's Miscellany", By J. E. Littlewood, I found this piece of conversation between Littlewood and Wittgenstein: "Schoolmaster: Suppose x is the number of sheep in this ...
0
votes
0answers
30 views

How to deduce V from (U → V ), (¬U→V) using Deduction theorem?

We have these axioms and modus ponens: Axiom 1 is: P→(Q→P) Axiom 2 is: (P→(Q→R))→((P→Q)→(P→R)) Axiom 3 is:(P→Q)→(¬Q→¬P) Modus ponens is: from P and P→Q infer Q Edit: I still couldn't solve it, so I ...
1
vote
0answers
42 views

Which unary or binary logical operators existed in logic before 1854 besides 'and', 'or', and 'not'?

Logical operators are a central focus of logicians, and two important books with innovative thoughts on logic include Begriffsschrift (1879) by Gottlob Frege and The Laws of Thought by George Boole in ...
3
votes
5answers
224 views

Why is first-order logic interesting to philosophers?

This site had a question: Is First Order Logic (FOL) the only fundamental logic? Let me ask the opposite: Why is FOL still interesting or useful to philosophers? For example, the "ancestor" ...
1
vote
1answer
25 views

Rudimentary Proof in SL

So I'm currently being introduced to SL and asked to prove a statement. A simple question with the premise L & W and L ⇒ ¬ F. I am asked to prove W & ¬ F. Could someone verify my solution? So ...
1
vote
0answers
31 views

Yablo's theory of aboutness: Upper bound and lower bound on subject matters

What does it mean that the following two condition defines respectively a lower bound and an upper bound in the set of subject matters of a sentence S in Yablo's theory of aboutness, and why, given ...
2
votes
1answer
29 views

Question Concerning Validity and Logical Arguments

I have some questions about the study of logical reasoning and arguments. Is it true that no two false sentences are logically equivalent? For example, "A square has 5 sides" and "I ...
1
vote
1answer
55 views

According to logic and argumentation theory, how does one build strong arguments?

I'm very new to philosophy and the formal study of argumentation. In every essay so far, I've argued against a thesis. I attack the validity or strength of premises and the soundness or strength of ...
2
votes
1answer
161 views

Is logic relative like Einstein's Special Relativity or is it absolute?

Is logic relative like Einstein's Special Relativity or is it absolute? I am thinking it is absolute, but at the same time I am inclined to think that it's not as simple as you may think.
1
vote
0answers
39 views

Is there a non-transitive frame in which schema 4 is true? Or an irreflexive frame in which schema T is true?

So, I know that I can construct a frame {W, R, I} which is not transitive and in which schema 4 is not true (more specifically, Axiom Schema K and Axiom Schema 4 are not both true). I also know that I ...
1
vote
2answers
88 views

Can the paradox of the gentle murderer be resolved using the sentence-type/token distinction?

Quick recap: the paradox in question can be formulated like so (I think; look in the SEP article on deontic logic for a better recap if this doesn't work): If Jill kills Jane, she ought to kill Jane ...
2
votes
2answers
137 views

Formal versions of exotic logical connectives in natural language

Formal logic tends to be concerned with minimal or at least almost-minimal sets of logical connectives. The standard logical connectives are and, or, implies, iff, neg (I couldn't use Latex for their ...
1
vote
1answer
77 views

Name for a logical fallacy: confusing measures in argumentation

I have encountered a line of reasoning in my research which seems to be fallacious. An example is if you wanted to know something about the general health of an individual, you could measure many ...
7
votes
5answers
3k views

What's the right term in logic for this phenomenon?

The statement "My mother is my parent" is always true, however, the opposite statement "My parent is my mother" is not always true because my father is also my parent. What's the ...
3
votes
3answers
342 views

Can a category of non-difference exist in Western logic?

Indian philosophy has a logical category of non-difference (related somewhat to abheda) in which something is different from something else but identical to it as well. An example is that of the the ...
0
votes
2answers
58 views

Prove that the following is a logical truth (tautology) using a natural deduction derivation: (B → C) ˅ (¬B → C) [closed]

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 ...
2
votes
1answer
117 views

Tarski's convention-T and inductive definition

I am studying the famous tarskian theory of truth ad there is a thing not clear to me. 1)Why does the T-schema "'S' is true if an only if S" specifies the truth-condition for the sentence 'S'...
1
vote
0answers
35 views

TFL - Natural Deduction Problem Solving

I am using a website called Carnap.io for submitting my proofs for natural deduction for TFL. It keeps telling me the proof for the following premise is wrong: ⊤ ⊢ (A ↔ ¬B) → (¬A → B) but I'm not sure ...

1
2
3 4 5
60