Tag Archives: Reasoning

Functional Logic • Inquiry and Analogy • 17

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Our excursion into the expanding landscape of higher order propositions has come round to the point where we can begin to open up new perspectives on quantificational logic. … Continue reading

Functional Logic • Inquiry and Analogy • 16

Inquiry and Analogy • Extending the Existential Interpretation to Quantificational Logic One of the resources we have for this work is a formal calculus based on C.S. Peirce’s logical graphs.  For now we’ll adopt the existential interpretation of that calculus, fixing … Continue reading

Functional Logic • Inquiry and Analogy • 15

Inquiry and Analogy • Measure for Measure Let us define two families of measures, by means of the following equations: Table 14 shows the value of each on each of the 16 boolean functions   In terms of the implication … Continue reading

Functional Logic • Inquiry and Analogy • 14

Inquiry and Analogy • Umpire Operators The measures of type present a formidable array of propositions about propositions about 2-dimensional universes of discourse.  The early entries in their standard ordering define universes too amorphous to detain us for long on … Continue reading

Functional Logic • Inquiry and Analogy • 13

Inquiry and Analogy • Higher Order Propositional Expressions Higher Order Propositions and Logical Operators (n = 2) By way of reviewing notation and preparing to extend it to higher order universes of discourse, let’s first consider the universe of discourse … Continue reading

Functional Logic • Inquiry and Analogy • 12

Inquiry and Analogy • Higher Order Propositional Expressions Interpretive Categories for Higher Order Propositions (n = 1) Table 12 presents a series of interpretive categories for the higher order propositions in Table 11.  I’ll leave these for now to the reader’s … Continue reading

Functional Logic • Inquiry and Analogy • 11

Inquiry and Analogy • Higher Order Propositional Expressions Higher Order Propositions and Logical Operators (n = 1) A higher order proposition is a proposition about propositions.  If the original order of propositions is a class of indicator functions then the … Continue reading

Functional Logic • Inquiry and Analogy • 10

Inquiry and Analogy • Functional Conception of Quantification Theory Up till now quantification theory has been based on the assumption of individual variables ranging over universal collections of perfectly determinate elements.  The mere act of writing quantified formulas like and … Continue reading

Functional Logic • Inquiry and Analogy • 9

Inquiry and Analogy • Dewey’s “Sign of Rain” • An Example of Inquiry We turn again to Dewey’s vignette, tracing figures of logic on grounds of semiotic. A man is walking on a warm day.  The sky was clear the … Continue reading

Functional Logic • Inquiry and Analogy • 8

Inquiry and Analogy • Dewey’s “Sign of Rain” • An Example of Inquiry To illustrate the role of sign relations in inquiry we begin with Dewey’s elegant and simple example of reflective thinking in everyday life. A man is walking … Continue reading