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
2answers
191 views

an argument about a logic question

I've had an argument with someone and I would like to know for sure if I'm right. I don't know if you have heard of the board game "Catan", it's not really important. Well, long story short, at the ...
8
votes
2answers
5k views

Can an eternal god destroy himself? [duplicate]

Possible Duplicate: Is the definition of God consistent? (primary) also: An immovable object and an irresistible force God's paradoxes and their implications To many, at first sight, ...
25
votes
4answers
4k views

What are the philosophical implications of category theory?

I have heard about topoi being the ideal entities to use for foundations of mathematics (since we are able to reasonably interpret our theories in them), so I imagine there might possibly be some ...
15
votes
6answers
982 views

When given limited information, is the simplest solution that matches that information most likely correct?

Is there any basis in philosophy for the idea that when given limited information, the simplest solution that matches that information should be presumed correct or most likely to be correct? For ...
10
votes
4answers
1k views

Syllogism from Lewis Carroll

I was reading Code by Charles Petzold, and on page 86 he references a syllogism from Lewis Carroll: All philosophers are logical; An illogical man is always obstinate; Therefore, some obstinate ...
3
votes
1answer
169 views

What is a mathematical or logical name for the process of proving a statement by exhausting the domain?

I am trying to understand logic and I came across a set of actions that I describe below that I can't get my head around. Suppose you have a bag of multiple colored balls. Situation 1. Argument: ...
10
votes
1answer
3k views

What is Kant's argument about the relationship between logic and reason?

At Wikipedia, I read: Logic arose (see below) from a concern with correctness of argumentation. Modern logicians usually wish to ensure that logic studies just those arguments that arise from ...
8
votes
5answers
2k views

A bizarre question asked at a job interview about conditional probability [closed]

I was recently asked a "logic puzzle" type question at a job interview which seems to be a slightly mangled version of a N-coin puzzle (intended to test the subject's knowledge of conditional ...
2
votes
1answer
63 views

Term for a reduction to an unanticipated result

I'm looking for a term that describes the logical argument I am making. Both to just have a way to describe it and ensure that it is indeed a sound argument. Somewhat formally the argument is as ...
5
votes
1answer
169 views

Seemingly invalid piece of reasoning in The Republic

In the beginning of The Republic, when discussing the nature of justice, Socrates leads Polemarchus to agree with him in this line of reasoning (the numbering is mine): But let us consider this ...
42
votes
16answers
11k views

How to get started with philosophy without getting overwhelmed quickly?

I’ve spent a lot of time trying to find how to get started with philosophy but I can’t. It seems that getting started with computer programming is nothing in comparison - with computer programming it’...
9
votes
4answers
1k views

Does the phrase “vacuous tautology” have specific meaning?

I just came across a use of the phrase "vacuous tautology" used in a piece of writing. Now, based on my understanding, by definition a tautology has no content and is therefore always vacuous. This ...
4
votes
1answer
435 views

Is there a category or grouping of logical strategies that focuses on “anti-fallacious” techniques?

Original Question: I am a newbie, but am interested in some perspective here. I find it fascinating to examine and read about fallacies commonly used as techniques to gain an upper hand in debate. ...
4
votes
3answers
340 views

Name for this illogical technique?

I recently noticed a pattern of interaction with someone. This person will start talking about something, give overly elaborate explanations that wander wildly between disconnected ideas, often using ...
-3
votes
3answers
192 views

Human in Outer space [closed]

Is it true that human in outer space can't differ right side and left side? Around human no another solid. Thanks.
1
vote
2answers
1k views

Do we need reason for “Not Doing” something? [duplicate]

Possible Duplicate: Does a negative claimant have a burden of proof? I have always wondered if NOT doing something requires reason like doing something does. As an example, do you think the ...
3
votes
2answers
312 views

How to distinguish premise in an argument

I am studying a logic text book and there is the following example which I don't get: Because I had decided, right off, that I liked John, what I heard in his answer was toughness and ...
11
votes
3answers
503 views

Is the notion in Hume that you cannot deduce an “ought” from “is” related to his assertion that reason must be the servant of the passions?

I hear it asserted that David Hume said one cannot deduce an "ought" from an "is". I also find it asserted that he said reason must be only the servant of the passions. I had long uncritically ...
8
votes
9answers
2k views

Is it reasonable to arrive at a conclusion based on lack of evidence to the contrary?

I was having a discussion last night about my atheism, and it was suggested to me that agnostism is the only reasonable conclusion, as it leaves the door open for new information. This made me think, ...
2
votes
1answer
328 views

Underlying logical structure behind Descartes' Ontological argument?

Quoting SEP: Version A: Whatever I clearly and distinctly perceive to be contained in the idea of something is true of that thing. I clearly and distinctly perceive that necessary ...
7
votes
3answers
8k views

What does Epistemic Closure mean?

I keep coming across this term and would appreciate it if someone could define it for me and also provide a relevant example.
13
votes
4answers
7k views

What is the difference between Law of Excluded Middle and Law of Non Contradiction?

In spite of reading the SEP entry under Contradiction several times I have difficulty distinguishing between the two. We can translate the Aristotelian language, with some loss of faithfulness, ...
14
votes
6answers
3k views

Is formal logic unsuitable for philosophical reasoning?

I'm taking a course at university about philosophical reasoning / argumentation. The professor came up with an example where formal logic was wrong: If Dave is in London, then he is in England. (p: D....
0
votes
2answers
188 views

There must be a reason we were given reason, no? [closed]

Let's assume that God created man for no reason, that there was no purpose (or goal or plan) to our general being. If there was no overall purpose to our being, then the only thing we can say about ...
3
votes
2answers
2k views

Falsifiability, facts, opinions, and tautologies

Wikipedia says: In the same way, "all men are mortal" is unfalsifiable: even if someone is observed who has not died so far, he could still die in the next instant. By contrast, "all men are ...
5
votes
2answers
512 views

Entailment/Presupposition in if-clause [closed]

In our semantics class we were arguing about the exercise 3.(7) from page 33 in Chierchia et al.: What relationship holds between the sentences in the following example?: a) "If John discovers that ...
-1
votes
1answer
180 views

Logical NOT of an Implication [closed]

How could you write NCpq in terms of moving the negation inside the conditional and keeping the conditional? The question got posed here originally by someone else. I can't post there at the moment, ...
2
votes
5answers
747 views

Why is this set {CqCpq, CCpCqrCCpqCpr, CCNpNqCqp} the most common set of axioms for propositional calculus?

If you look, you can find many "equivalent", sufficient axiom sets for classical propositional calculus. The set {CqCpq, CCpCqrCCpqCpr, CCNpNqCqp} seems like the axiom set most commonly used. There ...
1
vote
3answers
321 views

A special name for a proposition where the predicate is the subject?

Consider the following propositions: "I am me" "I am my Father's son" In both these cases, the predicate is the same as the subject by definition of the very subject and predicate. Is there a ...
22
votes
15answers
4k views

Is there any rigorous philosophical basis for atheism?

Definition/Update In what follows I use the term God to refer to an entity that has at least one of the following properties: Has created the universe Is omnipotent Is omniscient Approaches to ...
3
votes
4answers
4k views

How can we have a 'natural existence' for complex numbers? [closed]

For those who don't know what a complex number is, in simple terms, a complex number is the square root of a negative number! For example, the square root of -1 is called a complex number. Those ...
22
votes
10answers
3k views

Are different values of nothing equivalent?

Are different values of nothing equivalent? Is 'no tigers' the same as 'no zebras'?
27
votes
3answers
1k views

What are the major research programmes in contemporary logic?

As an interested outsider who is prone to reading about different formulations of logic, I've become interested in better understanding the big picture of what people are trying to accomplish as they ...
5
votes
1answer
2k views

What is the sense of the phrase “(no) fact of the matter about/as to”?

Could someone explain to me what exactly is meant by the phrase "fact of the matter about" (or "no fact of the matter about")? Another variant is: "(no) fact of the matter as to". In some cases, ...
22
votes
12answers
2k views

Motivations for dialetheism?

At the request of the moderators, I've reformulated this question to change the emphasis of the question to something perhaps a little more broad-ranging: Question. What are the major modern ...
9
votes
4answers
462 views

Is there a logic that takes time into account?

I hope this is neither too simple nor off-topic; I apologize if so. I have just noticed that standard sentence logic seems to make assumptions about time in determining the truth/falsity of a ...
1
vote
2answers
106 views

Does it make sense to think that algorithms can be specified only for all that which is manmade? [closed]

I've been asking myself the following question over and over again: can one write an algorithm (a series of steps for solving a problem) for something that came about through a process that is at ...
7
votes
5answers
464 views

Is it possible to generate logically valid sentences made up of “atomic contradictions”?

Is it possible to generate sentences that are made up of "atomic contradictions", but which remain logically valid as a whole? By "atomic contradictions", I mean atomic propositions that are not ...
0
votes
2answers
702 views

Hempel's ravens (the confirmation paradox) [closed]

While taking a group of benefactors on a tour through the new aviary they had just helped to build, a noted ornithologist commented, "And here we have two of the finest examples of ravens that I have ...
3
votes
3answers
1k views

What is a mathematical representation of the physical world?

Possible Duplicate: Was mathematics invented or discovered? To be more precise, does mathematics describe the physical world or does it describe a mental representation of the physical world? If ...
7
votes
2answers
287 views

What is fallacious about an argument that “I know X well, so she is right”?

I often hear from media personalities that they are right about a theory or assertion merely by associating themselves with someone or something. For example: "I know Mr. X very well (for years) and ...
7
votes
3answers
350 views

Is it possible to deny that affirming a logical contradiction implies every possible proposition?

I find myself aligned with the motivation behind paraconsistent logic, they seem to me reason enough to warrant an attempt to structure logical systems which deny logical explosion. It does seem very ...
9
votes
5answers
555 views

Why would definition not be proposition?

I've read in one mathematics book that any definition is not a proposition. Why is it so? What definition of proposition makes the former into the latter? EDIT: There is well-known analytic-syntactic ...
-2
votes
2answers
499 views

Does the law of excluded middle follow the law of excluded middle?

Example is that the word unknown is not unknown so it doesn't define itself. Similarly French is not French, it's in English, and "long" is not long and only 4 letters short. That's by example my ...
3
votes
3answers
302 views

Is always lying about everything a consistency?

Here is another question I didn't get a clear answer to when the term "consistency" is applied in philosophy, logic and computer science. Is always lying consistent since we know the statements are ...
3
votes
3answers
9k views

Is illogical = not logical?

I think law of excluded middle makes sense to mean that a statement should be either logical or illogical but in this case I don't assume "not logical" = "illogical" since the author didn't say "...
19
votes
1answer
1k views

Should Wittgenstein be given some credit for Godel's incompleteness theorem?

Is there a connection between Wittgenstein's argument against the "Theory of Types" and the proof of Godel's Incompleteness Theorem? Being only semi-knowledgeable, I will draw the connection of which ...
17
votes
5answers
5k views

Can a lack of knowledge or understanding invalidate a positive claim?

Consider the example of causal determinism. It can be phrased in many ways, all with identical meaning: - The idea that "every event, including human cognition and behavior, decision and action, is ...
38
votes
13answers
7k views

What are the necessary conditions for an action to be regarded as a free choice?

A common philosophical question revolves around the existence of free will, but what I've found is that these debates seem to gloss over the concept of "free will" itself, either taking it as a given ...
0
votes
2answers
233 views

Language as barrier to concepts [closed]

Can the limitations of language be considered a barrier in conveying a philosophical concept? How can an idea that resists linguistic formulation be conveyed without losing the essence? Is there a ...