12,080
edits
Changes
Directory: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
<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>
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>
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>