Category Archives: Pragmatism

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 5

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through Charles S. Peirce.  Particular attention is paid to the way the inferential rudiments combine to … Continue reading

Posted in Abduction, Aristotle, C.S. Peirce, Deduction, Dewey, Discovery, Doubt, Fixation of Belief, Functional Logic, Icon Index Symbol, Induction, Inference, Information, Inquiry, Invention, Logic, Logic of Science, Mathematics, Morphism, Paradigmata, Paradigms, Pattern Recognition, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, Scientific Inquiry, Scientific Method, Semiotics, Sign Relations, Surveys, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Signs Of Signs • 4

Re: Michael Harris • Language About Language But then inevitably I find myself wondering whether a proof assistant, or even a formal system, can make the distinction between “technical” and “fundamental” questions.  There seems to be no logical distinction.  The … Continue reading

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Signs Of Signs • 3

Re: Michael Harris • Language About Language And if we don’t [keep our stories straight], who puts us away? One’s answer, or at least one’s initial response to that question will turn on how one feels about formal realities.  As … Continue reading

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Signs Of Signs • 2

Re: Michael Harris • Language About Language I compared mathematics to a “consensual hallucination”, like virtual reality, and I continue to believe that the aim is to get (consensually) to the point where that hallucination is a second nature. I … Continue reading

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Signs Of Signs • 1

Re: Michael Harris • Language About Language There is a language and a corresponding literature treating logic and mathematics as related species of communication and information gathering, namely, the pragmatic‑semiotic tradition transmitted through the lifelong efforts of C.S. Peirce.  It is … Continue reading

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Information = Comprehension × Extension • Comment 7

Let’s stay with Peirce’s example of inductive inference a little longer and try to clear up the more troublesome confusions tending to arise. Figure 2 shows the implication ordering of logical terms in the form of a lattice diagram. Figure … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 3 Comments

Information = Comprehension × Extension • Comment 6

Re: Information = Comprehension × Extension • Comment 2 Returning to Peirce’s example of inductive inference, let’s try to get a clearer picture of why he connects it with disjunctive terms and indicial signs.  At this point in time I … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 4 Comments

Information = Comprehension × Extension • Comment 5

Let’s stay with Peirce’s example of abductive inference a little longer and try to clear up the more troublesome confusions tending to arise. Figure 1 shows the implication ordering of logical terms in the form of a lattice diagram. Figure … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 4 Comments

Information = Comprehension × Extension • Comment 4

Re: Information = Comprehension × Extension • Comment 3 Many things still puzzle me about Peirce’s account at this point.  The question marks I added to the Figures of the previous post indicate the node labels I have remaining doubts … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 4 Comments

Information = Comprehension × Extension • Comment 3

Peirce identifies inference with a process he describes as symbolization.  Let us consider what that might imply. I am going, next, to show that inference is symbolization and that the puzzle of the validity of scientific inference lies merely in … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 5 Comments