Category Archives: Propositions

Types of Reasoning in C.S. Peirce and Aristotle • 2

Re: Peirce List Discussion • Ben Udell • Gary Richmond Present business has kept me from following much of the recent discussion on Peirce’s three types of reasoning, but we have been down this road before and so old tunes … Continue reading

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Peirce, Peirce List, Philosophy, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotic Information, Semiotics, Sign Relations, Syllogism | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Types of Reasoning in C.S. Peirce and Aristotle • 1

Re: Peirce List Discussion In one of his earliest treatments of the three types of reasoning, from his Harvard Lectures “On the Logic of Science” (1865), Peirce gives an example that illustrates how one and the same proposition might be … Continue reading

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Peirce, Peirce List, Philosophy, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotic Information, Semiotics, Sign Relations, Syllogism | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Theme One Program • 1

This is a Survey of previous blog and wiki posts on the Theme One Program that I worked on all through the 1980s. The aim of the project was to develop fundamental algorithms and data structures to support an integrated … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Cognitive Science, Computation, Computational Complexity, Computer Science, Computing, Constraint Satisfaction Problems, Cybernetics, Data Structures, Diagrammatic Reasoning, Diagrams, Differential Analytic Turing Automata, Education, Educational Systems Design, Educational Technology, Equational Inference, Functional Logic, Graph Theory, Indicator Functions, Inquiry, Inquiry Driven Education, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge, Learning, Learning Theory, Logic, Logical Graphs, Machine Learning, Mathematics, Mental Models, Minimal Negation Operators, Painted Cacti, Peirce, Programming, Programming Languages, Propositional Calculus, Propositional Equation Reasoning Systems, Propositions, Research Technology, Semeiosis, Semiosis, Semiotics, Sign Relations, Surveys, Teaching, Theorem Proving, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

C.S. Peirce • Syllabus • Selection 2

But round about the castle there began to grow a hedge of thorns, which every year became higher, and at last grew close up round the castle and all over it, so that there was nothing of it to be … Continue reading

Posted in Assertion, Foundations of Mathematics, Icon Index Symbol, Logic, Mathematics, Metaphysics, Normative Science, Peirce, Phenomenology, Philosophy, Pragmatism, Propositions, References, Relation Theory, Semiosis, Semiotics, Sign Relations, Sources, Triadic Relations, Triadicity, Truth | Tagged , , , , , , , , , , , , , , , , , , , , | 1 Comment