12,122
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 16:12, 17 December 2010
, 16:12, 17 December 2010→Version 2. “A Theory of Probable Inference” (1883): + text
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
Q ~\operatorname{is}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime};
Q ~\text{is}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime};
\\[4pt]
\\[4pt]
S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime}, ~\operatorname{are}~ R\operatorname{'s};
S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime}, ~\text{are}~ R\operatorname{'s};
\\[4pt]
\\[4pt]
\operatorname{Hence,}~ Q ~\operatorname{is~an}~ R.
\text{Hence,}~ Q ~\text{is an}~ R.
\end{array}</math>
\end{array}</math>
|-
|-
S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime}, ~\text{etc., are samples of the}~ X\operatorname{'s},
S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime}, ~\text{etc., are samples of the}~ X\operatorname{'s},
\\[4pt]
\\[4pt]
Q ~\text{is found to be}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime}, ~\text{etc.};
&
&
S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime}, ~\text{etc., are found to be}~ R\operatorname{'s};
\\[4pt]
\\[4pt]
\text{Hence, hypothetically,}~ Q ~\text{is an}~ X.
&
&
\text{Hence, inductively, every}~ X ~\text{is an}~ R.
\end{array}</math>
\end{array}</math>
|}
|}