Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [logic]

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

0
votes
1answer
31 views

A physical thing to see [on hold]

I mean, can our reality have a different effect? For example, we see the sun as balls and someone else from another dimension as a square.
0
votes
3answers
555 views

I'm stuck and having trouble with ¬P ∨ Q Prove: P → Q

I am having trouble with this problem as I have just started doing logic. Is this the same as P → Q Prove: ¬P ∨ Q ?
-2
votes
0answers
29 views

Need some expert help on this proof problem [on hold]

Not sure how to do these problems and need some guidance on it 1. ¬(Y → X) 2. ¬(X → H) Prove: K
-3
votes
0answers
167 views

Philosophy of Logic – Converting formal proofs to the sound deductive logical inference model [on hold]

How do we convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive logical inference model? What would be the benefits of doing this? PROPOSED ANSWER: ...
3
votes
2answers
37 views

Logical analysis under Russell's theory of definite descriptions

My question stems from the two different logical forms for the following sentence under Russell's analysis. One in which the word 'not' has a wide scope and one where it has a narrow scope. The ...
9
votes
3answers
11k views

What is the difference between intensional and extensional logic?

Homotopy type theory talks is conjectured to be the internal language of (infinity,1)-toposes; it comes in two flavours: extensional and intensional - these aren't notions that I've come across before ...
0
votes
1answer
40 views

How Do I start on Premise: B ↔ ¬B Conclusion: J ↔ ¬C?

I have started a new chapter and I do not quite understand how you start questions like these? Do i need to just keep doing contradictions to get an answer like this? Can someone point me in the right ...
-1
votes
1answer
52 views

Can anyone help me solve this problem?

Hi can anyone help me with this problem? Would greatly be appreciated. M → I ¬ I ∧ L M ∨ B Prove: B
-4
votes
0answers
50 views

Should only philosophy students study logic, ethics, axiology, phenomenology, epistemology, and aesthetics? [on hold]

E.g a physician. Should they not start in any univeristy studying these modules? Actually a lawyer most law schools teach philosophy of law as an elective module. And no social philosophy or ...
1
vote
1answer
47 views

Where can I study this in more detail?

I am finding al-Farabi's Philosophy of Plato and Aristotle on pages 13-17, paragraphs 1-9, (pages 11-13 in the pdf file linked below), very interesting: http://traditionalhikma.com/wp-content/uploads/...
7
votes
4answers
1k views

In predicate logic, does existential quantification (∃) include universal quantification (∀), i.e. can 'some' imply 'all'?

I am having a discussion whether 'some' can also imply 'all'. The definition for some, 'an unspecified number or amount of people or things' seems to leave room for this interpretation. Discussion ...
19
votes
7answers
2k views

What formal logical systems “resolve” the Liar Paradox?

Short version of my question. What formal logical systems can represent, and seem robust against, the Liar Paradox? N.B. I would like to avoid reference to truth-values, except inasmuch as they ...
2
votes
0answers
32 views

How did Aristotelian logic view this?

I am very interested in the logical aspect of Aristotelian philosophy, especially how it was used by al Farabi and Ibn Sina in explaining understanding and breaking this complicated process down ...
3
votes
1answer
282 views

What should one know about term logic before studying propositional and predicate logic?

I'm hearing that predicate logic replaces term logic, but teaching of predicated logic assumes knowledge of term logic. What are essential to know from term logic before studying propositional and ...
-1
votes
0answers
46 views

What would happen if we saw an impossible thing? Would we see it? [on hold]

Consider there is a multiverse where all kinds of impossible worlds and things occur. Where illogical/logically impossible things exist. Where there are even, somehow, things that are logically ...
4
votes
4answers
561 views

Is it possible to logically derive moral statements from factual statements?

Yes, this is essentially the is-ought problem posed as a question. The reason I am asking however, is that I have so far found absolutely no satisfactory arguments for this being the case anywhere ...
0
votes
3answers
42 views

Can two different objects at the same time be the same? [on hold]

Can two things be different and yet the same at the same time? For example, a chair (white) does not have one leg and another (black) has all of its legs. As in the question, these two things with ...
0
votes
4answers
68 views

Finite Alphabets

This is a question based on section 2.5.6 from the book Logic, laws of truth, by Nicholas J.J Smith, page 48. What does Nicholas mean when he says: Note that we can further specify exactly what we ...
7
votes
1answer
349 views

Is Tarski's derivation of the Liar paradox valid?

First a link to his derivation: http://www.jfsowa.com/logic/tarski.htm Its a famous essay so you really should read all of it but at the moment its enough if you read section 7 where Tarski derives ...
5
votes
6answers
1k views

How does catuskoti apply to everyday life?

An article on Aeon published the concept of catuskoti, a principle in use during the age of Buddha. It states that for any given statement, there are four possibilities i.e. it might be true (and ...
0
votes
3answers
97 views

Logical expression that non-existent things don't do anything?

How could we express the idea that "something that doesn't exist cannot possibly do anything" using a logical argument? And if so, it is at all possible to prove that kind of proposition?
2
votes
4answers
1k views

Is the argument below valid?

If interest rates go down, then I will buy a house. If I buy a house, I will need a loan. Therefore, I will not need a loan if I do not buy a house. Is this argument valid?
-3
votes
2answers
74 views

Is it possible to mathematically define a hypercomputer-universe where things that could not be computed by it could exist? [duplicate]

There are a few physicists that propose that the universe is a hypercomputer. One example is Roger Penrose, who, basing in his quantum interpretation (https://en.wikipedia.org/wiki/...
1
vote
0answers
35 views

What is a good history of logic book that covers all logic?

Including inductive, formal and mathematical. I find them separated a lot and I don't know if I have the ability to sit through all the Handbook of the History of Logic series.
2
votes
2answers
250 views

can we reason about logic?

People who study mathematical logic make arguments about logic itself. So it seems that people take for granted an "intuitive logic" (otherwise, how would they form arguments?). So the observation is ...
3
votes
4answers
235 views

Could we develop a notion of conceivability that would allow us to imagine impossible/inconsistent/illogical things?

There are things that we cannot imagine because they are impossible (like a solution to Russell's set theory, since it is impossible to reach that solution because it is illogical.) Some months ago, ...
2
votes
1answer
81 views

Alternate form of “all x are y”

It's typically correct to say something like "all cats are beautiful" as ∀x(CAT(x)->BEAUTIFUL(x)). It is incorrect to say ∀x(CAT(x) & BEAUTIFUL(x)) because you're effectively saying "everything ...
3
votes
1answer
67 views

On Putnam's belief that we can choose a logic system based on the task at hand

I was reading "A Graphic Guide to Logic" and a little speech bubble from Hilary Putnam says that "I still believe that there are facts in the world that determine which logic it is appropriate to use ...
3
votes
1answer
87 views

Formal logic to describe causation?

I'm looking for any formal work that has been done on describing causation the way people understand it. I am not looking for logical implication, more a way to talk about "Why?" questions. Basically, ...
2
votes
3answers
641 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 ...
1
vote
3answers
528 views

Deduction vs Induction — are they equally valid?

I've been reading on deduction vs induction as two primary modes of reasoning. Can't exactly remember where but I have also seen deduction being described as backward and induction as forward thinking....
7
votes
3answers
597 views

Is there modal logic without possible worlds?

Would it be desirable to carry out a deflationary research programme in modal logic? In other words, would it be desirable to re-think modal logic without the possible worlds semantics? The original ...
1
vote
0answers
107 views

Is it there any trivialist model in physics (like in quantum mechanics)?

Trivialism is a system that proposes that literally every proposition is true and false at the same time blatantly breaking the principle of no contradiction and triggering the principle of explosion (...
4
votes
2answers
168 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 ...
9
votes
4answers
2k 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 ...
63
votes
12answers
14k 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 ...
5
votes
1answer
95 views

Are there “partially explosive” logics?

Roughly speaking, I'm wondering if it's possible to meaningfully grade different systems on how explosion-tolerant they are. In classical sentential logic and intuitionistic sentential logic, a ...
5
votes
0answers
69 views

Hume's argument for the subjectivity of morality

I am trying to analyze the following argument by Hume in his Treatise of Human Nature: But can there be any difficulty in proving, that vice and virtue are not matters of fact, whose existence we ...
1
vote
1answer
192 views

Omnipotence Paradox Defense and Meinongianism/Neo-Meinongianism

I was considering a solution to the omnipotence paradox in which excluding logical impossibilities from the definition of omnipotence is justified as follows. Consider the proposition, "God could ...
0
votes
0answers
39 views

Is it there any model of the universe or any (physical) cosmological theory or model completely compatible with trivialism? [duplicate]

Trivialism is a system that proposes that literally every proposition is true and false at the same time blatantly breaking the principle of no contradiction and triggering the principle of explosion (...
4
votes
3answers
199 views

How is the nature of logical principles commonly defined in contemporary philosophy?

In contemporary philosophy, how exactly is the nature of logical principles defined? For example, the way I've commonly seen logical principles construed are as true propositions which described the ...
0
votes
2answers
68 views

Is “If…then” not a truly logical connective?

Since you can completely fill out a truth table for "not A", "A and B", and "A or B", but not for "if A then B", can it really be a logical connective? The only thing that can be confirmed about the ...
1
vote
1answer
84 views

What is an example of a predictive conditional?

Can someone explain to me with an example what a predictive conditional is? Does this type of conditional have necessary and sufficient conditions?
0
votes
2answers
33 views

Recursive definitions (a couple questions based on them)

From the book Logic, laws of truth, by Nicholas J.J Smith: What does Smith mean by recursive definitions? Why does it matter? How do you make recursive definitions for something such as: a) the set ...
1
vote
0answers
55 views

Can hypercomputation compute the impossible?

There are things which are illogical/logically impossible (like saying that 2+2=4 and 2+2=5. Without changing anything in the axioms of mathematics or logic, this would be a contradiction and would be ...
6
votes
1answer
109 views

Is the principle of non-contradiction self-evident?

The principle of non-contradiction is that contradictory propositions cannot both be true, e. g. the two propositions "A is B" and "A is not B" are mutually exclusive. However, whenever something is ...
0
votes
1answer
53 views

Syntax of propositional logic

From the book Logic: The laws of truth by Nicholas J.J Smith, page 40, sub-heading: "Syntax of PL". What does the author mean by the syntax of PL? Can someone explain what the author is trying to ...
1
vote
1answer
108 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 ...
0
votes
1answer
112 views

Can you imagine a completely different logical/mathematical system than that we have?

Can you imagine a different logic and mathematics? For example, with a different arithmetic, or even a universe with no logic or mathematics and contradictions? A non consistent system?...