12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday March 26, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 05:01, 26 December 2010
, 05:01, 26 December 2010→Version 1. “On the Natural Classification of Arguments” (1867): modify notation
Line 259:
Line 259:
t ~\operatorname{is}~ P^{\prime}, P^{\prime\prime}, ~\operatorname{and}~ P^{\prime\prime\prime},+t ~\operatorname{is}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime};+t ~\operatorname{is}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime};+
<center>
<center>
<math>\begin{matrix}
<math>\begin{matrix}
−T ~\operatorname{is}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime},
\\[4pt]
\\[4pt]
−S^{\prime}, S^{\prime\prime}, ~\operatorname{and}~ S^{\prime\prime\prime} ~\operatorname{are}~ q;
+S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are}~ Q;
\\[4pt]
\\[4pt]
−\therefore t ~\operatorname{is}~ q.
+\therefore T ~\operatorname{is}~ Q.
\end{matrix}</math>
\end{matrix}</math>
</center>
</center>
Line 276:
Line 276:
S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are~taken~as~being}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime},
S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are~taken~as~being}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime},
\\[4pt]
\\[4pt]
−S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are}~ q;
+S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are}~ Q;
\\[4pt]
\\[4pt]
−\therefore ~(\operatorname{By~induction})~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime} ~\operatorname{is}~ q,
+\therefore ~(\operatorname{By~induction})~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime} ~\operatorname{is}~ Q,
\\[4pt]
\\[4pt]
−T ~\operatorname{is}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime};
\\[4pt]
\\[4pt]
−\therefore ~(\operatorname{Deductively})~ t ~\operatorname{is}~ q.
+\therefore ~(\operatorname{Deductively})~ T ~\operatorname{is}~ Q.
\end{matrix}</math>
\end{matrix}</math>
</center>
</center>
Line 293:
Line 293:
S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are,~for~instance,}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime},
S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are,~for~instance,}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime},
\\[4pt]
\\[4pt]
−T ~\operatorname{is}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime};
\\[4pt]
\\[4pt]
−\therefore ~(\operatorname{By~hypothesis})~ t ~\operatorname{has~the~common~characters~of}~ S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime},
+\therefore ~(\operatorname{By~hypothesis})~ T ~\operatorname{has~the~common~characters~of}~ S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime},
\\[4pt]
\\[4pt]
−S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are}~ q;
+S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are}~ Q;
\\[4pt]
\\[4pt]
−\therefore ~(\operatorname{Deductively})~ t ~\operatorname{is}~ q.
+\therefore ~(\operatorname{Deductively})~ T ~\operatorname{is}~ Q.
\end{matrix}</math>
\end{matrix}</math>
</center>
</center>
