Tag: deduction

11 What's the relevance of falsifiability in regards to logical arguments? 2011-06-08T02:03:22.977

10 Are "if smoke then fire" arguments deductive or inductive? 2017-09-18T20:46:40.357

10 Is there a deduction analog to the problem of induction? 2017-12-14T23:19:22.467

8 Are "If P then Q" and "Q only if P" equivalent? 2015-09-27T00:08:38.683

6 The difference between argument, inference, deduction and proof? 2015-08-27T19:55:22.837

6 What is the nature of "validity" in deduction when dealing with conclusions unrelated to premises? 2018-03-05T20:25:45.583

5 What is this technique to gain proof called? 2012-02-19T10:49:28.877

5 Malthus's argument on population - Test 1, Q14, by Mark Shepherd 2014-09-07T07:36:42.397

5 Proof that deduction is valid in all possible realities? 2015-08-18T19:39:40.757

5 Why can't uniformity of nature (in principle) be proven deductively? 2017-10-20T22:31:13.680

5 If turtles see everything, and nothing seen can see, does it follow that non-turtles exist? 2019-03-02T06:29:34.050

5 Why does Gensler's Star Test not work on some syllogisms? 2020-07-13T05:51:29.140

4 What were Kant's thoughts on ethics and "Transcendental Deduction"? 2011-08-08T14:48:01.347

4 Isnt induction just deduction with an implicit premise? 2012-10-17T17:20:54.960

4 Help with simple deductive proof 2014-07-04T03:00:53.423

4 help with deductive proof 2014-08-30T17:33:41.333

4 What is the logical form of the definition of validity? 2014-10-09T23:29:01.677

4 Challenges to the principle of deductive closure 2015-05-05T13:42:12.400

4 Question regarding logical fallacies 2016-10-01T23:24:04.037

4 How can one intuit that P → Q ≡ ¬P ∨ (P ∧ Q)? 2016-11-14T14:02:53.990

4 Can all inductive arguments be written as deductive arguments? 2018-12-06T22:03:56.103

3 Argument where premises cannot all be true 2014-04-18T03:14:56.367

3 Anyone can help me with proving ~(AvB) |- ~(BvA) via natural deduction? 2014-10-13T20:11:42.110

3 If deduction does not exist in regards to the free will, is omniscience possible with omnipotence? 2014-10-15T12:37:32.100

3 Introductory Natural Deduction Question 2014-10-22T14:39:28.743

3 What is the difference between deductive and inductive reasoning? 2015-08-08T14:16:56.633

3 If "All S is P" is true, does it contradict "No non-S is non-P"? 2016-03-31T13:27:05.573

3 How do you prove that this is a tautology? 2016-04-09T10:36:12.770

3 Implication Introduction formulated as a theorem? 2017-02-02T19:20:48.537

3 What are the rules for a zero-premise derivation involving disjunctions? 2017-07-25T04:11:55.527

3 Does an implied premise mean a formal fallacy if used in deduction? 2018-04-07T08:54:26.277

3 Inductive and deductive arguments and mathematical induction 2018-08-19T09:30:23.043

3 Why is this deductive reasoning incorrect? 2019-11-03T12:52:04.783

3 Logical fallacy: Person argues with wrong probability of event, without considering similar events 2020-02-03T17:20:45.143

3 Are all non-deductive arguments inductive? 2020-04-19T17:19:05.453

2 Propositions that are always true, but aren't tautologies? 2015-05-19T20:32:47.813

2 How does it make sense to infer the existence of a group from a sequence of events? 2015-12-14T19:02:44.420

2 Does a logical answer equal a simple answer in deductive reasoning? 2016-02-29T20:42:58.863

2 Is the logic of this argument valid? 2016-05-23T08:05:02.887

2 How to prove 1. ~(KvF) 2. ~F=>(KvC) 3. (GVC)=>~H / ~(KvH) using natural deduction 2016-10-11T19:28:11.807

2 Proof for the Rule of Absorption in Propositional Logic? 2017-06-10T02:45:26.447

2 Quick logic deduction question 2017-06-16T10:38:38.970

2 Is this an inductive or a deductive argument? 2017-06-24T14:18:21.330

2 Logic question regarding a logical truth 2017-08-04T12:24:05.980

2 In fitch, S → (R ∨ P), P → (¬R → Q) ∴ S → (Q ∨ R) 2017-12-12T18:16:51.107

2 Deriving "(p.q) v (p.r) from "p.(q v r)"? 2018-04-03T09:34:34.763

2 Natural deduction proof help! 2018-05-27T01:49:51.620

2 Is there a single definition of truth? 2018-08-23T10:06:28.703

2 What is a natural deduction proof from ~(A↔B) to ~(A→B)? 2019-05-29T16:18:11.543

2 Thoughts on Open Logic Project? 2019-10-26T19:21:38.060

2 Counterfactuals in Premises for Arguments 2020-07-08T03:12:37.937

2 Are inferences in everyday life often combinations of inductive, deductive and other possible methods of inference? 2020-10-20T09:59:47.067

1 How to infer ¬Q when there seems to be no way to 2016-07-21T04:14:44.347

1 ⊢ ((AvB) -> C) -> (A -> C) using simple derivation rules 2016-10-16T21:23:56.207

1 Based on evolution, do we arrive at deductive principles inductively? 2017-07-26T07:00:35.040

1 Is this a valid argument (using probability and uncertainties)? 2017-11-04T08:53:39.077

1 Predicate logic proofs - how to split a disjunction bound by two quantifiers 2017-11-16T05:05:33.983

1 How can I prove ⊢(∀x)(Fx V ~Fx) with natural deduction? 2018-06-12T14:17:37.783

1 Justification of deductive reasoning 2018-06-20T18:12:59.173

1 How do I operate with philosophers if I reject deductive reasoning? 2018-09-14T11:40:25.520

1 Does Hume reject the possibility of is-ought syllogisms? 2018-09-16T18:27:34.563

1 How to get proof using proof editor and checker 2018-10-23T03:22:02.553

1 Is deduction based on induction? 2019-01-03T15:35:02.777

1 Quick question on discharging assumptions 2019-07-02T20:11:48.200

1 Confusion between deductive and inductive reasoning definitions 2019-07-22T00:31:28.737

1 Reasoning for deductive inference? 2019-08-26T08:22:38.537

1 Is there a semantically complete system of direct-method natural deduction/sequent calculus? 2020-01-04T10:01:37.943

1 Have I totally misunderstood conditionals all along? 2021-02-20T06:39:05.907

0 Logical analysis of "Free will and god(s)" argument 2016-10-26T12:08:51.517

0 Is logic based on uncertainty the fundamental logic? 2017-01-15T16:44:22.710

0 Is this inductive or deductive? 2017-04-13T04:09:19.260

0 ~(~P&Q) & ~(P&Q) : Prove ~Q 2018-11-30T03:28:49.847

0 What is the difference between the resolution rule and the elimination in natural deduction? 2019-04-09T18:42:53.643

0 How to solve this natural deduction problem? 2019-07-27T22:08:42.823

0 Are there rules for the following in the Open Logic Project's proof checker? 2019-07-28T22:08:15.050

0 What are some key differences between an argument in logic and a theory in mathematics? 2019-08-24T13:08:58.403

0 Reasoning for Inductive inference? 2019-08-26T16:30:11.860

0 Clarifications on 1) Modus Ponens, 2) Modus Tollens, 3) Inductive, 4) Incomplete based on examples 2019-08-29T10:24:24.847

0 Classification of deductive reasoning types 2020-04-20T21:41:38.980

0 In a deductive reasoning system, what happens if we have unfounded axioms? 2020-05-26T22:38:19.537

0 Intro Natural Deduction Problem: Given premise (p -> q) -> p show p using deduction 2020-07-29T19:14:40.850

0 How to deduce V from (U → V ), (¬U→V) using Deduction theorem? 2020-11-05T17:40:48.707

0 Is it standard to distinguish two versions of the hypothetico-deductivist conception of science : confirmation approach and falsificationism? 2021-01-04T23:19:16.830

0 Why is "an invalid argument, the conclusion of which is a tautology" not possible? 2021-02-07T23:50:05.233

-1 Semantics vs Deduction 2014-08-30T12:02:45.800

-1 Tacit inferences? 2019-04-05T16:24:53.477

-1 (p->q) v (q->p) with Natural Deduction 2019-11-24T07:42:35.180

-1 Hey all can you help prove the following from Garson's ML for Philosophers: 2020-06-08T04:05:43.850

-1 Deductive reasoning & conditionals 2020-06-27T08:11:57.990

-1 How to prove: 1. (A^B)v(A^C) 2. (AvD) -> E //E 2020-10-06T23:14:25.727

-1 Prove that the following is a logical truth (tautology) using a natural deduction derivation: (B → C) ˅ (¬B → C) 2020-10-26T02:35:05.417

-2 Does the alleged answer overinfer? - Test 2, Q21, p 113, by Mark Shepherd 2014-09-08T09:01:37.910

-2 Does the Law Of Excluded Middle Apply to the Principle Of Identity and Non Contradiction? 2019-08-27T18:21:38.960