Pragmatic phenomenological types

Progress in Biophysics and Molecular Biology

Volumn 119, Issue 3, 2015, Pages 420-436

  Goranson, Ted ^a   Cardier, Beth ^a   Devlin, Keith ^b  

^a Sirius Beta   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

Abstraction; Quantum interaction; Situation theory; Two sorted reasoning; Type systems

Indexed keywords

BIOLOGY; HUMAN; KNOWLEDGE BASE; NEUROPSYCHIATRY; PHILOSOPHY; PHYSICS; PROCEDURES;

BIOLOGY; HUMANS; KNOWLEDGE BASES; NEUROPSYCHIATRY; PHILOSOPHY; PHYSICS;

EID: 84949226491     PISSN: 00796107     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.pbiomolbio.2015.07.006     Document Type: Review

References (85)

1. Abramsky, Samson, and Bob Coecke, A Categorical Semantics of Quantum Protocols. 19th Annual IEEE Symposium on Logic in Computer Science. http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=1319636.
2. Abramsky Samson, Coecke Bob Categorical quantum mechanics. Handbook of Quantum Logic and Quantum Structures: Quantum Logic 2008, 261-324. Elsevier.
3. Acampora G., Loia V., Salerno S., Vitiello A. A hybrid evolutionary approach for solving the ontology alignment problem. Int. J. Intell. Syst. 2012, 27:189-216.
4. Amsden Edward A Survey of Functional Reactive Programming 2011, Rochester Institute of Technology.
5. Atkey Robert What is a categorical model of arrows?. Electron. Notes Theor. Comput. Sci. 2011, 229(5):19-37.
6. Bard Jonathan, Melham Tom, Werner Eric, Noble Denis Plenary discussion of the conceptual foundations of systems biology. Prog. Biophys. Mol. Biol. 2013, 111:137-140.
7. Barwise Jon, Perry John Situations and Attitudes 1983, MIT Press, Cambridge, Massachusetts.
8. Barwise Jon, Seligman Jerry Information Flow: the Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science 2008, Cambridge University Press.
9. Berners-Lee Tim The fractal nature of the semantic web. AI Mag. 2008, 29:29-34.
10. Bilder Robert M., Sabb Fred W., Stott Parker D., Kalar Donald, Chu Wesley W., Fox Jared, Freimer Nelson B., Poldrack Russell A. Cognitive ontologies for neuropsychiatric phenomics research. Cogn. Neuropsychiatry 2009, 14(4):419-450.
11. Birkhoff Garrett, Neumann John von The logic of quantum mechanics. Ann. Math. 1936, 37(4):823.
12. Bohm David, Hiley Basil J. The Undivided Universe 1993, Routledge, New York.
13. Bruza Peter, Kitto Kirsty, Nelson Douglas, McEvoy Cathy Is there something quantum-like about the human mental Lexicon?. J. Math. Psychol. 2009, 53(5):362-377.
14. Bryan Mark, Cameron Julia, Allen Catherine A. The Artist's Way at Work 1999, William Morrow.
15. Buckley, William R., Computational Ontogeny. International Joint Conference on Computational Intelligence.
16. Caleiro Carlos, and Ricardo Gonçalves, On the Algebraization of Many-sorted Logics. International Conference on Recent Trends in Algebraic Development Techniques.
17. Cameron Julia The Artist's Way 1992, Tarcher.
18. Cardier Beth Unputdownable: How the Agencies of Compelling Story Assembly Can Be Modelled Using Formalisable Methods from Knowledge Representation, and in a Fictional Tale about Seduction 2013, University of Melbourne.
19. Chandler, J.L.R., Chemo-informatics as the Source of Morphogenesis - Both Practical and Logical. Email Posting.
20. Coecke Bob Quantum picturalism. Contemp. Phys. 2010, 51(1):59-83.
21. Collier John Informal pragmatics and linguistic creativity. South Afr. J. Phys. 2014, 33(2):121-129.
22. Devlin Keith J. Logic and Information 1995, Cambridge University Press.
23. Devlin Keith J. Good-bye descartes?. Math. Mag. 1996, 69(5):344-349.
24. Devlin, Keith J., Context effects in Intelligence Analysis: How Can Mathematics Help? . http://www.stanford.edu/%7Ekdevlin/Papers/Context_in_Reasoning.pdf.
25. Devlin Keith J. Modeling real reasoning. Formal Theories of Information: from Shannon to Semantic Information Theory and General Concepts of Information 2009, 234-252. Springer. G. Sommaruga (Ed.).
26. Devlin Keith J., Rosenberg Duska Language at Work: Analyzing Communication Breakdown in the Workplace to Inform Systems Design. Center for the Study of Language and Information - Lecture Notes. Center for the Study of Language and Information 1996.
27. Gabbay Dov Handbook of the History of Logic: Sets and Extensions in the Twentienth Century 2012, Elsevier, Oxford.
28. Garshol, Lars Marius, Living with Topic Maps and RDF . http://www.ontopia.net/topicmaps/materials/tmrdf.html#N121.
29. Goranson H.T. The Agile Virtual Enterprise: Cases, Metrics, Tools 1999, Greenwood International.
30. Goranson, H.T., Journals of Int. Soc. Interdiscip. Study Symmetry. http://symmetry-us.com/Journals/.
31. Goranson, H.T., FilmsFolded Essay Site. (accessed 2015). http://filmsfolded.tedgoranson.com.
32. Goranson, H.T., redframer web site. http://www.redframer.com.
33. Goranson H.T. System and Method for Space-time, Annotation Capable Media Scrubbing 2014, Sirius-Beta, Inc.
34. Goranson H.T. Opportunistic Layered Hypernarrative 2015, ACM Hypertext 2015.
35. Goranson H.T., Cardier B. System and Method for Ontology Derivation 2014, Sirius-Beta Inc, USA.
36. Goranson H.T., Cardier B. A two-sorted logic for structurally modeling systems. Prog. Biophys. Mol. Biol. 2013, 113(1):141-178.
37. Goranson H.T., Schachman T. Digital System for Organizing Diverse Information 2014, Sirius-Beta, Inc, USA.
38. Gruber T.R. A translational approach of portable ontology specification. Knowl. Acquis. 1993, 5(2). 1992-1220.
39. Herman David Story Logic: Problems and Possibilities of Narrative 2002, Univ of Nebraska Press.
40. Herman David Introduction. The Cambridge Companion to Narrative 2008, 3-21. Cambridge University Press, Cambridge. D. Herman (Ed.).
41. Hilbert David, Cohn-Vossen S. Geometry and the Imagination 1952, AMS Chelsea, London.
42. Hiley, Basil J., Algebraic Quantum Mechanics, Algebraic Spinors and Hilbert Space. http://www.bbk.ac.uk/tpru/BasilHiley/Algebraic%20Quantum%20Mechanic%205.pdf.
43. Horrocks Ian Ontologies and the semantic web. Commun. ACM 2008, 51(12):58-67.
44. Husimi Kôdi Note on Mayers' theory of cluster integrals. J. Chem. Phys. 1950, 18:682-684.
45. Illert Chris Foundations of Theoretical Conchology from Self-similarity in Non-conservative Mechanics 1992.
46. Jaynes Julian The origin of consciousness in the breakdown of the bicameral mind. 2000. Choices, Values and Frames 1976, Cambridge University Press and the Russell Sage Foundation, New York. H. Mifflin (Ed.).
47. Ladyman James, Øystein Linnebo, Bigaj Tomasz Entanglement and Non-factorability. Stud. Hist. Philos. Mod. Phys. 2013, 44:215-221.
48. Ladyman James, Presnell Stuart A Primer on Homotopy Type Theory. Part !: the Formal Theory 2014.
49. Ladyman James, Ross Don, Collier John, Spurrett J. Every Thing Must Go: Metaphysics Naturalized 2009, Oxford University Press.
50. Lehmann Daniel A presentation of quantum logic based on an "and then" connective. J. Log. Comput. 2008, 18(1):59.
51. Lehmann Daniel Concrete Foundations for Categorical Quantum Physics 2010, Leibniz Center, School of Engineering, Hebrew University.
52. Leyton Michael Symmetry, Causality, Mind 1999, Bradford Books.
53. Leyton Michael A Generative Theory of Shape (Lecture Notes in Computer Science) 2001, Springer.
54. Leyton Michael Shape as Memory (The Information Technology Revolution in Architecture 2002, Birkhäuser Architecture.
55. Lindley Sam, Wadler Philip, Yallop Jeremy Theoretical pearls: the arrow calculus. J. Funct. Program. 2010, 20(1):51-69.
56. Matsuno Koichiro Microdynamic context and macrodynamic data in biological systems. BioSystems 2002, 64(1-3):55-61.
57. Mill John Stuart A System of Logic 1843.
58. Musès Charles Destiny and Control in Human Systems: Studies in the Interactive Connectedness of Time 1985, Kluwer.
59. Palmer Stephen, Scott Michael J. Trauma and Post-Traumatic Stress Disorder 2003, Sage, London.
60. Pavlovic Dusko Monoidal computer I: basic computability by string diagrams. J. arXiv 2012, preprint arXiv:1208.5205.
61. Pittet, Perrine, Christophe Cruz, and Christophe Nicolle., Modeling changes for SHOIN(D) Ontologies: An Exhaustive Structural Model. International Conference on Semantic Computing.
62. Poldrack Russell A., Kittur Aniket, Kalar Donald, Miller Eric, Seppa Christian, Gil Yolanda, Stott Parker D., Sabb Fred W., Bilder Robert W. The cognitive atlas: toward a knowledge foundation for cognitive neuroscience. Front. Neuroinformatics 2011, 5(17).
63. Rapoport, Lucio Diego Hyper Klein Bottle logophysics ontopoiesis of the cosmos and life. Phenomenology of space and time: the forces of the cosmos and the ontopoietic genesis of life: book 2 Analecta Husserliana 117. 2008. The Self-evolving Cosmos 2014, World Scientific Publishing, Hackensack NJ. S.M. Rosen (Ed.).
64. Rowlands Peter Zero to Infinity: the Foundations of Physics 2007, World Scientific Publishing Co, Singapore.
65. Santilli, Ruggero Maria, Isotopic, Genotopic and Hyperstructural Methods in Theoretical Biology. Palm Harbor FL: Hadronic Press.
66. Siek Jeremy, and Philip Wadler., Threesomes, With and Without Blame. Symposium on Principles of Programming Languages.
67. Smith Barry Against Fantology. Experience and Anaylsis 2005, 153-170.
68. Son J., Goldstone R. Contextualization in practice. Cogn. Instr. 2009, 27:51-89.
69. Toga Arthur W., Thompson Paul M. Mapping brain asymmetry. Nat. Rev. Neurosci. 2003, 4:37-48.
70. Trabasso Tom, Sperry L. Causal relatedness and importance of story events. J. Mem. Lang. 1985, 24:595-611.
71. Various, Cognitive Atlas Web Site. http://www.cognitiveatlas.org.
72. Various, ConceptNet5 Web Site. http://conceptnet5.media.mit.edu.
73. Various, Gene Ontology Project Web Site. http://geneontology.org.
74. Various, Open Biological and Biomedical Ontologies Web Site. http://www.obofoundry.org.
75. Various, OrientDB Graph-Documant Database Web Site. http://orientdb.com.
76. Various, OWL Web Site. http://www.w3.org/TR/owl-ref/.
77. Various, Phenowiki Web Site. http://www.phenowiki.org.
78. Various. Quantum Interaction Web Site. http://www.quantuminteraction.org.
79. Visser, P.R.S., Jones, D.M., Bench-Capo, T.J.M., and Shave, M.R.J., An Analysis of Ontology Mismatches; Heterogeneity Versus Interoperability. AAAI Spring Symposium on Ontological Engineering, Stanford University.
80. Weyl Hermann Mind and Nature 1934, University of Pennsylvania Press, Philadelphia.
81. Wigner Eugene The unreasonable effectiveness of mathematics in the natural sciences. Commun. Pure Appl. Math. 1960, 13(1):9.
82. Wille Rudolf Formal concept analysis as mathematical theory of concepts and concept hierarchies. Formal. Concept Anal. 2005, 47-70.
83. Wille Rudolf Restructuring lattice theory: an approach based on hierarchies of concepts. Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 2009, 314-339. Springer. Sé. Ferré, S. Rudolph (Eds.).
84. Wolfram Stephen A New Kind of Science 2002, Wolfram Media.
85. Xiao Ruliang, Shengqun Tang, Ling Li, Lina Fang, Yang Xu, Weiqing Chen, and Youwei Xu. Using Categorical Context-SHOIQ (D) DL to Integrate Context-aware Web Ontology MetaData. Second International Conference on Semantics, Knowledge and Grid.