Deductions Involving Complex Propositions - Revision history

GSalmieri at 18:38, 2 September 2024

2024-09-02T18:38:22Z

← Older revision		Revision as of 14:38, 2 September 2024
Line 1:		Line 1:
	Some deductions involve ''complex propositions''. A complex proposition is a proposition that is made from simpler propositions combined with connectives like "and," "or," and "if... then."		Some [[deductions]] involve ''complex propositions''. A complex proposition is a proposition that is made from simpler propositions combined with connectives like "and," "or," and "if... then."

	When discussing the form of such propositions, we use lowercase letters to represent the simple propositions.		When discussing the form of such propositions, we use lowercase letters to represent the simple propositions.

GSalmieri: /* Conditional Sylogism */

2024-09-02T17:55:11Z

Conditional Sylogism

← Older revision		Revision as of 13:55, 2 September 2024
Line 25:		Line 25:
	Modus Tollens should not be confused with the fallacy of [[denying the antecedent]].		Modus Tollens should not be confused with the fallacy of [[denying the antecedent]].

	==~~Conditional Sylogism~~==		==Hypothetical Syllogism==

	A ~~conditional~~ syllogism is a two-premise deductive argument in which each premise is a conditional, the consequent of one these conditionals is the antecedent of the other, and the conclusion is a third conditional with the remaining antecedent as its antecedent and the remaining consequent as its consequent.		A hypothetical syllogism is a two-premise deductive argument in which each premise is a conditional, the consequent of one these conditionals is the antecedent of the other, and the conclusion is a third conditional with the remaining antecedent as its antecedent and the remaining consequent as its consequent.

	{{Map\|https://app.reasonspace.com/smaps/88b51968ded24d69b8a8d88e4f03ca53}}		{{Map\|https://app.reasonspace.com/smaps/88b51968ded24d69b8a8d88e4f03ca53}}

GSalmieri: /* Disjunctive Dilemma */

2024-09-02T17:54:40Z

Disjunctive Dilemma

← Older revision		Revision as of 13:54, 2 September 2024
Line 31:		Line 31:
	{{Map\|https://app.reasonspace.com/smaps/88b51968ded24d69b8a8d88e4f03ca53}}		{{Map\|https://app.reasonspace.com/smaps/88b51968ded24d69b8a8d88e4f03ca53}}

	=Disjunctive ~~Dilemma~~=		=Disjunctive Syllogism=

	A disjunction is a complex proposition in which two other propositions (called the "disjuncts") are connected by an "or". In logic "or" is usually interpreted inclusively, meaning that ''at least one'' of the disjuncts must be true, but that both might be. The main type of argument involving disjunctions is called disjunctive ~~dilemma~~. It's a two-premise argument in which one premise is a disjunction, the second premise denies one of the disjuncts, and the conclusion affirms the remaining disjunct.		A disjunction is a complex proposition in which two other propositions (called the "disjuncts") are connected by an "or". In logic "or" is usually interpreted inclusively, meaning that ''at least one'' of the disjuncts must be true, but that both might be. The main type of argument involving disjunctions is called disjunctive syllogism. It's a two-premise argument in which one premise is a disjunction, the second premise denies one of the disjuncts, and the conclusion affirms the remaining disjunct.

	{{Map\|https://app.reasonspace.com/arguments/858f60a9-6ede-4af0-8abd-7275bcf8be56}}		{{Map\|https://app.reasonspace.com/arguments/858f60a9-6ede-4af0-8abd-7275bcf8be56}}

GSalmieri at 17:52, 2 September 2024

2024-09-02T17:52:14Z

← Older revision		Revision as of 13:52, 2 September 2024
Line 27:		Line 27:
	==Conditional Sylogism==		==Conditional Sylogism==

	A conditional syllogism is a two-premise deductive argument in which each premise is a conditional, the consequent of one these conditionals is the antecedent of the other, and the conclusion is a third conditional with the remaining ~~anticeedent~~ as its ~~anticeedent~~ and the remaining consequent as its consequent.		A conditional syllogism is a two-premise deductive argument in which each premise is a conditional, the consequent of one these conditionals is the antecedent of the other, and the conclusion is a third conditional with the remaining antecedent as its antecedent and the remaining consequent as its consequent.

	{{Map\|https://app.reasonspace.com/smaps/88b51968ded24d69b8a8d88e4f03ca53}}		{{Map\|https://app.reasonspace.com/smaps/88b51968ded24d69b8a8d88e4f03ca53}}

			=Disjunctive Dilemma=

			A disjunction is a complex proposition in which two other propositions (called the "disjuncts") are connected by an "or". In logic "or" is usually interpreted inclusively, meaning that ''at least one'' of the disjuncts must be true, but that both might be. The main type of argument involving disjunctions is called disjunctive dilemma. It's a two-premise argument in which one premise is a disjunction, the second premise denies one of the disjuncts, and the conclusion affirms the remaining disjunct.

			{{Map\|https://app.reasonspace.com/arguments/858f60a9-6ede-4af0-8abd-7275bcf8be56}}

GSalmieri at 17:47, 2 September 2024

2024-09-02T17:47:41Z

← Older revision		Revision as of 13:47, 2 September 2024
Line 5:		Line 5:
	In this article we will cover arguments involving ''conditionals'' (complex propositions joined by "if... then..." and ''disjunctions'' (complex propositions joined by "or").		In this article we will cover arguments involving ''conditionals'' (complex propositions joined by "if... then..." and ''disjunctions'' (complex propositions joined by "or").

	=~~Arguments involving conditionals~~=		=Deductions Involving Conditionals=

	In a conditional, the proposition following the "if" is called the "antecedent" and the one following the "then" is called the consequent.		In a conditional, the proposition following the "if" is called the "antecedent" and the one following the "then" is called the consequent.
Line 24:		Line 24:

	Modus Tollens should not be confused with the fallacy of [[denying the antecedent]].		Modus Tollens should not be confused with the fallacy of [[denying the antecedent]].

			==Conditional Sylogism==

			A conditional syllogism is a two-premise deductive argument in which each premise is a conditional, the consequent of one these conditionals is the antecedent of the other, and the conclusion is a third conditional with the remaining anticeedent as its anticeedent and the remaining consequent as its consequent.

			{{Map\|https://app.reasonspace.com/smaps/88b51968ded24d69b8a8d88e4f03ca53}}

GSalmieri: Created page with "Some deductions involve ''complex propositions''. A complex proposition is a proposition that is made from simpler propositions combined with connectives like "and," "or," and "if... then." When discussing the form of such propositions, we use lowercase letters to represent the simple propositions. In this article we will cover arguments involving ''conditionals'' (complex propositions joined by "if... then..." and ''disjunctions'' (complex propositions joined by "or..."

2024-09-02T17:41:03Z

Created page with "Some deductions involve ''complex propositions''. A complex proposition is a proposition that is made from simpler propositions combined with connectives like "and," "or," and "if... then." When discussing the form of such propositions, we use lowercase letters to represent the simple propositions. In this article we will cover arguments involving ''conditionals'' (complex propositions joined by "if... then..." and ''disjunctions'' (complex propositions joined by "or..."

New page

Some deductions involve ''complex propositions''. A complex proposition is a proposition that is made from simpler propositions combined with connectives like "and," "or," and "if... then."

When discussing the form of such propositions, we use lowercase letters to represent the simple propositions.

In this article we will cover arguments involving ''conditionals'' (complex propositions joined by "if... then..." and ''disjunctions'' (complex propositions joined by "or").

=Arguments involving conditionals=

In a conditional, the proposition following the "if" is called the "antecedent" and the one following the "then" is called the consequent.

==Modus Ponens==

Modus Ponens (or "affirming the antecedent") is a two-premise deduction of which one premise is a conditional, the other is the antecedent of the conditional, and the conclusion is the consequent of the same conditional.

{{Map|https://app.reasonspace.com/smaps/5990cb375a5241449251c01d0cc072d6}}.

Modus ponens should not be confused with the fallacy of [[affirming the consequent]].

==Modus Tollens==

Modus Tollens (or "denying the consequent") is a two-premise deduction of which one premise is a conditional, the other is the denial of the consequent, and the conclusion is the denial of the antecedent.

{{Map|https://app.reasonspace.com/smaps/511f1f9953684a1e89cf42343520a4c7}}

Modus Tollens should not be confused with the fallacy of [[denying the antecedent]].