Line 9: |
Line 9: |
| [https://oeis.org/wiki/Riffs_and_Rotes Riffs and Rotes] | | [https://oeis.org/wiki/Riffs_and_Rotes Riffs and Rotes] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language] | + | [https://oeis.org/wiki/Forest_Primeval Forest Primeval] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Theme_One_Program Theme One Program] | + | [https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview Cactus Language] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Propositions_As_Types Propositions As Types] | + | [https://oeis.org/wiki/User:Jon_Awbrey/Mathematical_Notes Mathematical Notes] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems] | + | [https://oeis.org/wiki/User:Jon_Awbrey/Philosophical_Notes Philosophical Notes] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Peirce%27s_1870_Logic_Of_Relatives Peirce's Logic Of Relatives] | + | [https://oeis.org/wiki/Semiotic_Information Semiotic Information] |
| | | |
− | Logical Graphs : [http://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/ One] [http://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/ Two]
| + | [https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Overview Theme One Program] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction] | + | [https://oeis.org/wiki/User:Jon_Awbrey/Exploratory_Qualitative_Analysis_of_Sequential_Observation_Data Sequential Observations] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus] | + | [https://oeis.org/wiki/Futures_Of_Logical_Graphs Futures Of Logical Graphs] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Differential_Analytic_Turing_Automata Differential Analytic Turing Automata] | + | [https://oeis.org/wiki/Pragmatic_Theory_Of_Truth Pragmatic Theory Of Truth] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems] | + | [https://oeis.org/wiki/User:Jon_Awbrey/Peirce%27s_Logic_Of_Information Peirce's Logic Of Information] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems] | + | [https://oeis.org/wiki/Logical_Graphs Logical Graphs] [https://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/ One] [https://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/ Two] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems] | + | [https://oeis.org/wiki/User:Jon_Awbrey/EXCERPTS Collection Of Source Materials] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Information_%3D_Comprehension_%C3%97_Extension Information = Comprehension × Extension] | + | [https://oeis.org/wiki/Propositions_As_Types_Analogy Propositions As Types Analogy] |
| | | |
− | [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] | + | [https://oeis.org/wiki/Precursors_Of_Category_Theory Precursors Of Category Theory] |
| + | |
| + | Functional Logic [https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy (1)] [https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Higher_Order_Propositions (2)] [https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Quantification_Theory (3)] |
| + | |
| + | [https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Overview Peirce's 1870 Logic Of Relatives] |
| + | |
| + | [https://oeis.org/wiki/Differential_Propositional_Calculus Differential Propositional Calculus] |
| + | |
| + | [https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview Differential Logic] [https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1 (1)] [https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2 (2)] [https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3 (3)] |
| + | |
| + | [https://oeis.org/wiki/Differential_Analytic_Turing_Automata Differential Analytic Turing Automata] |
| + | |
| + | [https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems] |
| + | |
| + | [https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems] |
| + | |
| + | [https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview Differential Logic and Dynamic Systems] |
| + | |
| + | [https://oeis.org/wiki/Information_%3D_Comprehension_%C3%97_Extension Information = Comprehension × Extension] |
| + | |
| + | [https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] |
| + | |
| + | [https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview Inquiry Driven Systems • Inquiry Into Inquiry] |
| | | |
| </center> | | </center> |
Line 43: |
Line 65: |
| {| align="center" style="text-align:center" width="100%" | | {| align="center" style="text-align:center" width="100%" |
| |- | | |- |
− | | [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Live Inquiry Live] | + | | [http://mywikibiz.com/Inquiry_Live Inquiry Live] |
− | | [http://intersci.ss.uci.edu/wiki/index.php/Logic_Live Logic Live] | + | | [http://mywikibiz.com/Logic_Live Logic Live] |
| |- | | |- |
| | [http://stderr.org/cgi-bin/mailman/listinfo/inquiry Inquiry Project] | | | [http://stderr.org/cgi-bin/mailman/listinfo/inquiry Inquiry Project] |
− | | [http://stderr.org/pipermail/inquiry/ Inquiry Archive] | + | | [http://web.archive.org/web/20150301180400/http://stderr.org/pipermail/inquiry/ Inquiry Archive] |
| |- | | |- |
| | [http://inquiryintoinquiry.com/ Inquiry Into Inquiry] | | | [http://inquiryintoinquiry.com/ Inquiry Into Inquiry] |
− | | [http://jonawbrey.wordpress.com/ Jon Awbrey • Blog] | + | | [http://jonawbrey.wordpress.com/ Jon Awbrey • Blog] |
| |- | | |- |
− | | [http://intersci.ss.uci.edu/wiki/index.php/User:Jon_Awbrey InterSciWiki User Page] | + | | [https://web.archive.org/web/20191124081501/http://intersci.ss.uci.edu/wiki/index.php/User:Jon_Awbrey InterSciWiki User Page] |
− | | [http://intersci.ss.uci.edu/wiki/index.php/User_talk:Jon_Awbrey InterSciWiki Talk Page] | + | | [https://web.archive.org/web/20191025121620/http://intersci.ss.uci.edu/wiki/index.php/User_talk:Jon_Awbrey InterSciWiki Talk Page] |
| |- | | |- |
| | [http://mywikibiz.com/Directory:Jon_Awbrey MyWikiBiz Directory] | | | [http://mywikibiz.com/Directory:Jon_Awbrey MyWikiBiz Directory] |
Line 67: |
Line 89: |
| | [http://forum.wolframscience.com/member.php?s=&action=getinfo&userid=336 NKS Profile] | | | [http://forum.wolframscience.com/member.php?s=&action=getinfo&userid=336 NKS Profile] |
| |- | | |- |
− | | [http://oeis.org/wiki/Welcome OEIS Land] | + | | [https://oeis.org/wiki/Welcome OEIS Land] |
− | | [http://oeis.org/search?q=Awbrey Bolgia Mia] | + | | [https://oeis.org/search?q=Awbrey Bolgia Mia] |
| |- | | |- |
− | | [http://oeis.org/wiki/User:Jon_Awbrey OEIS Wiki Page] | + | | [https://oeis.org/wiki/User:Jon_Awbrey OEIS Wiki Page] |
− | | [http://oeis.org/wiki/User_talk:Jon_Awbrey OEIS Wiki Talk] | + | | [https://oeis.org/wiki/User_talk:Jon_Awbrey OEIS Wiki Talk] |
| |- | | |- |
| | [http://list.seqfan.eu/cgi-bin/mailman/listinfo/seqfan Fantasia Sequentia] | | | [http://list.seqfan.eu/cgi-bin/mailman/listinfo/seqfan Fantasia Sequentia] |
Line 97: |
Line 119: |
| | [http://ontolog.cim3.net/cgi-bin/wiki.pl?JonAwbrey OntoLog Profile] | | | [http://ontolog.cim3.net/cgi-bin/wiki.pl?JonAwbrey OntoLog Profile] |
| |- | | |- |
− | | [http://semanticweb.org/wiki/User:Jon_Awbrey SemanticWeb Page] | + | | [http://web.archive.org/web/20150127223035/http://semanticweb.org/wiki/User:Jon_Awbrey SemanticWeb Page] |
− | | [http://semanticweb.org/wiki/User_talk:Jon_Awbrey SemanticWeb Talk] | + | | [http://web.archive.org/web/20100716202618/http://semanticweb.org/wiki/User_talk:Jon_Awbrey SemanticWeb Talk] |
| |- | | |- |
− | | [http://zh.wikipedia.org/wiki/User:Jon_Awbrey 维基百科 : 用户页面] | + | | [https://zh.wikipedia.org/wiki/User:Jon_Awbrey~zhwiki 维基百科 : 用户页面] |
− | | [http://zh.wikipedia.org/wiki/User_talk:Jon_Awbrey 维基百科 : 讨论] | + | | [https://zh.wikipedia.org/wiki/User_talk:Jon_Awbrey~zhwiki 维基百科 : 讨论] |
| |} | | |} |
| + | |
| + | ==Contributions== |
| + | |
| + | ===Articles=== |
| + | |
| + | [[Ampheck]] |
| + | [[Boolean domain]] |
| + | [[Boolean function]] |
| + | [[Boolean-valued function]] |
| + | [[Charles Sanders Peirce]] |
| + | [[Charles Sanders Peirce (Bibliography)]] |
| + | [[Comprehension (logic)]] |
| + | [[Continuous predicate]] |
| + | [[Correspondence theory of truth]] |
| + | [[Cybernetics]] |
| + | [[Descriptive science]] |
| + | [[Differential logic]] |
| + | [[Dynamics of inquiry]] |
| + | [[Entitative graph]] |
| + | [[Exclusive disjunction]] |
| + | [[Formal science]] |
| + | [[Graph (mathematics)]] |
| + | [[Graph theory]] |
| + | [[Grounded relation]] |
| + | [[Inquiry]] |
| + | [[Inquiry driven system]] |
| + | [[Integer sequence]] |
| + | [[Hypostatic abstraction]] |
| + | [[Hypostatic object]] |
| + | [[Kaina Stoicheia]] |
| + | [[Logic]] |
| + | [[Logic of information]] |
| + | [[Logic of relatives]] |
| + | [[Logic of Relatives (1870)]] |
| + | [[Logic of Relatives (1883)]] |
| + | [[Logical conjunction]] |
| + | [[Logical disjunction]] |
| + | [[Logical equality]] |
| + | [[Logical graph]] |
| + | [[Logical implication]] |
| + | [[Logical matrix]] |
| + | [[Logical NAND]] |
| + | [[Logical negation]] |
| + | [[Logical NNOR]] |
| + | [[Minimal negation operator]] |
| + | [[Multigrade operator]] |
| + | [[Normative science]] |
| + | [[Null graph]] |
| + | [[On a New List of Categories]] |
| + | [[Parametric operator]] |
| + | [[Peirce's law]] |
| + | [[Philosophy of mathematics]] |
| + | [[Pragmatic information]] |
| + | [[Pragmatic maxim]] |
| + | [[Pragmatic theory of truth]] |
| + | [[Pragmaticism]] |
| + | [[Pragmatism]] |
| + | [[Prescisive abstraction]] |
| + | [[Propositional calculus]] |
| + | [[Relation (mathematics)]] |
| + | [[Relation composition]] |
| + | [[Relation construction]] |
| + | [[Relation reduction]] |
| + | [[Relation theory]] |
| + | [[Relation type]] |
| + | [[Relative term]] |
| + | [[Semeiotic]] |
| + | [[Semiotic information]] |
| + | [[Semiotics]] |
| + | [[Sign relation]] |
| + | [[Sign relational complex]] |
| + | [[Sole sufficient operator]] |
| + | [[Tacit extension]] |
| + | [[The Simplest Mathematics]] |
| + | [[Triadic relation]] |
| + | [[Truth table]] |
| + | [[Truth theory]] |
| + | [[Universe of discourse]] |
| + | [[What we've got here is (a) failure to communicate]] |
| + | [[Zeroth order logic]] |
| + | |
| + | ===Notes=== |
| + | |
| + | * [[Directory:Jon Awbrey/Notes/Factorization Issues|Factorization Issues]] |
| + | |
| + | * [[Directory:Jon Awbrey/Notes/Factorization And Reification|Factorization And Reification]] |
| + | |
| + | ===Papers=== |
| + | |
| + | ====Functional Logic==== |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions|Functional Logic : Higher Order Propositions]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy|Functional Logic : Inquiry and Analogy]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory|Functional Logic : Quantification Theory]] |
| + | |
| + | ====Differential Logic==== |
| + | |
| + | * [[Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction|Differential Logic : Introduction]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Differential Propositional Calculus|Differential Propositional Calculus]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems|Differential Logic and Dynamic Systems 1.0]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0|Differential Logic and Dynamic Systems 2.0]] |
| + | |
| + | ====Logic and Semiotics==== |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Futures Of Logical Graphs|Futures Of Logical Graphs]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives|Peirce's 1870 Logic Of Relatives]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Peirce's Logic Of Information|Peirce's Logic Of Information]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems|Propositional Equation Reasoning Systems]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Semiotic Information|Semiotic Information]] |
| + | |
| + | ====Inquiry Driven Systems==== |
| + | |
| + | * [[Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems|Prospects for Inquiry Driven Systems]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems|Introduction to Inquiry Driven Systems]] |
| + | |
| + | * [[Directory:Jon Awbrey/Essays/Inquiry Driven Systems : Fields Of Inquiry|Inquiry Driven Systems : Fields Of Inquiry]] |
| + | |
| + | * [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems|Inquiry Driven Systems : Inquiry Into Inquiry]] |
| + | |
| + | ===Projects=== |
| + | |
| + | * [[Directory:Jon Awbrey/Projects/Cactus Language|Cactus Language]] |
| + | |
| + | * [[Directory:Jon Awbrey/Projects/Differential Logic|Differential Logic]] |
| + | |
| + | * [[Directory:Jon Awbrey/Projects/Inquiry|Inquiry]] |
| + | ** [[Directory:Jon Awbrey/Projects/Architecture For Inquiry|Architecture For Inquiry]] |
| + | ** [[Directory:Jon Awbrey/Projects/Inquiry Driven Systems|Inquiry Driven Systems]] |
| + | |
| + | * [[Directory:Jon Awbrey/Projects/Logic Of Information|Logic Of Information]] |
| + | ** [[Directory:Jon Awbrey/Projects/Pragmatic Theory Of Information|Pragmatic Theory Of Information]] |
| + | ** [[Directory:Jon Awbrey/Projects/Semiotic Theory Of Information|Semiotic Theory Of Information]] |
| + | |
| + | * [[Directory:Jon Awbrey/Projects/Notes And Queries|Notes And Queries]] |
| + | |
| + | * [[Directory:Jon Awbrey/Projects/Peircean Pragmata|Peircean Pragmata]] |
| + | |
| + | * [[Directory:Jon Awbrey/Projects/Theme One Program|Theme One Program]] |
| + | |
| + | * [[Directory:Jon Awbrey/Projects/Theory Of Relations|Theory Of Relations]] |
| + | |
| + | ===Poetry=== |
| + | |
| + | * [[Directory:Jon Awbrey/Poetry/Past All Reckoning|Past All Reckoning]] |
| + | |
| + | * [[Directory:Jon Awbrey/Poetry/Poems Of Emediate Moment|Poems Of Emediate Moment]] |
| + | |
| + | * [[Directory:Jon Awbrey/Poetry/Questionable Verses|Questionable Verses]] |
| + | |
| + | * [[Directory:Jon_Awbrey/Poetry/Iconoclast|Iconoclast]] |
| + | |
| + | ===User Pages=== |
| + | |
| + | * [[Directory:Jon Awbrey/EXCERPTS|Collection Of Source Materials]] |
| + | * [[User:Jon Awbrey/Examples Of Inquiry|Examples Of Inquiry]] |
| + | * [[User:Jon Awbrey/Mathematical Notes|Mathematical Notes]] |
| + | * [[User:Jon Awbrey/Philosophical Notes|Philosophical Notes]] |
| + | |
| + | * [http://mywikibiz.com/index.php?title=Special%3APrefixIndex&prefix=Jon+Awbrey&namespace=2 MyWikiBiz User Pages] |
| + | * [http://intersci.ss.uci.edu/wiki/index.php?title=Special%3APrefixIndex&prefix=Jon+Awbrey&namespace=2 InterSciWiki User Pages] |
| + | * [http://mywikibiz.com/index.php?title=Special%3APrefixIndex&prefix=Jon+Awbrey&namespace=110 MyWikiBiz Directory Pages] |
| | | |
| ==Presentations and Publications== | | ==Presentations and Publications== |
Line 135: |
Line 328: |
| | | |
| * '''1976. [http://web.archive.org/web/20001206050600/http://www.msu.edu/dig/msumap/phillips.html B.A. Mathematical and Philosophical Method]''', <br> [http://www.enolagaia.com/JMC.html Justin Morrill College], [http://www.msu.edu/ Michigan State University]. | | * '''1976. [http://web.archive.org/web/20001206050600/http://www.msu.edu/dig/msumap/phillips.html B.A. Mathematical and Philosophical Method]''', <br> [http://www.enolagaia.com/JMC.html Justin Morrill College], [http://www.msu.edu/ Michigan State University]. |
| + | |
| + | ==Category and Subject Interests== |
| + | |
| + | [[Category:Artificial Intelligence]] |
| + | [[Category:Automata Theory]] |
| + | [[Category:Category Theory]] |
| + | [[Category:Charles Sanders Peirce]] |
| + | [[Category:Cognitive Science]] |
| + | [[Category:Combinatorics]] |
| + | [[Category:Computer Science]] |
| + | [[Category:Critical Thinking]] |
| + | [[Category:Cybernetics]] |
| + | [[Category:Differential Logic]] |
| + | [[Category:Education]] |
| + | [[Category:Formal Languages]] |
| + | [[Category:Formal Sciences]] |
| + | [[Category:Graph Theory]] |
| + | [[Category:Group Theory]] |
| + | [[Category:Hermeneutics]] |
| + | [[Category:Information Systems]] |
| + | [[Category:Information Theory]] |
| + | [[Category:Inquiry]] |
| + | [[Category:Inquiry Driven Systems]] |
| + | [[Category:Integer Sequences]] |
| + | [[Category:Intelligence Amplification]] |
| + | [[Category:Learning Organizations]] |
| + | [[Category:Linguistics]] |
| + | [[Category:Knowledge Representation]] |
| + | [[Category:Logic]] |
| + | [[Category:Mathematics]] |
| + | [[Category:Natural Languages]] |
| + | [[Category:Philosophy]] |
| + | [[Category:Pragmatics]] |
| + | [[Category:Psychology]] |
| + | [[Category:Science]] |
| + | [[Category:Semantics]] |
| + | [[Category:Semiotics]] |
| + | [[Category:Statistics]] |
| + | [[Category:Systems Science]] |