Human Rationality Challenges Universal Logic
暂无分享,去创建一个
[1] Alfred Schuetz. On Multiple Realities , 1945 .
[2] Jean-Yves Béziau,et al. 13 QUESTIONS ABOUT UNIVERSAL LOGIC , 2006 .
[3] Carl R. Kordig. The Theory—Ladenness of Observation , 1971 .
[4] Spiros Sirmakessis,et al. Tools and Applications with Artificial Intelligence , 2009, Tools and Applications with Artificial Intelligence.
[5] Patricia A. Blanchette. Frege on Consistency and Conceptual Analysis , 2007 .
[6] Vito F. Sinisi,et al. Entailment: The Logic of Relevance and Necessity , 1996 .
[7] Lorenzo Magnani. Philosophy and geometry : theoretical and historical issues , 2001 .
[8] Brian R. Gaines,et al. BASING KNOWLEDGE ACQUISITION TOOLS IN PERSONAL CONSTRUCT PSYCHOLOGY , 1991 .
[9] David Rapport Lachterman,et al. The Ethics of Geometry: A Genealogy of Modernity , 1989 .
[10] D. Moshman. Cognitive Development beyond Childhood , 1998 .
[11] E. Mares. Relevant Logic: A Philosophical Interpretation , 2004 .
[12] Arnold Koslow,et al. Structuralist Logic: Implications, Inferences, and Consequences , 2007, Logica Universalis.
[13] Jim Davies,et al. Millennial Perspectives in Computer Science , 2000 .
[14] Jean Piaget,et al. Toward A Logic of Meanings , 1991 .
[15] Brian R. Gaines,et al. Knowledge acquisition tools based on personal construct psychology , 1993, The Knowledge Engineering Review.
[16] P. Kitcher,et al. The advancement of science : science without legend, objectivity without illusions , 1995 .
[17] Giovanna Corsi,et al. Deduction, Computation, Experiment: Exploring the Effectiveness of Proof , 2008 .
[18] Frank Fischer,et al. Joy and Freude. A Comparative Study of the Linguistic Field of Pleasurable Emotions in English and German. , 1942 .
[19] A. Jonker. Origins of the modern mind. Three stages in the evolution of culture and cognition , 1998 .
[20] Eberhard Knobloch,et al. :Redefining Geometrical Exactness: Descartes’ Transformation of the Early Modern Concept of Construction. , 2005 .
[21] Ronald J. Brachman,et al. "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation , 1985, AI Mag..
[22] P. Huby. Posterior Analytics I , 1977, The Classical Review.
[23] Alfred Schutz,et al. The Problem of Rationality in the Social World , 1943 .
[24] Robert Lurz,et al. The Philosophy of Animal Minds: Index , 2009 .
[25] E. Zalta,et al. Intensional Logic and the Metaphysics of Intentionality. , 1991 .
[26] Charles O. Frake,et al. The ethnographic study of cognitive systems , 1962 .
[27] David V. Forrest. Fermat’s Enigma: The Quest to Solve the World’s Greatest Mathematical Problem , 1998 .
[28] Martin Henz,et al. SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles , 2009, Tools and Applications with Artificial Intelligence.
[29] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[30] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[31] David Moshman,et al. Adolescent Psychological Development: Rationality, Morality, and Identity , 1999 .
[32] Husain Sarkar. Group Rationality in Scientific Research , 2007 .
[33] I. Sigel,et al. HANDBOOK OF CHILD PSYCHOLOGY , 2006 .
[34] M. Feldman,et al. Niche construction, biological evolution, and cultural change , 2000, Behavioral and Brain Sciences.
[35] Sébastien Maronne. (Recension) « De l’histoire à la philosophie des mathématiques : un programme d’inspiration pragmatiste ? ». Henk J. M. Bos, Redefining Geometrical Exactness : Descartes’ Transformation of the Early Modern Concept of Construction, New York, Springer, 2001. , 2011 .
[36] K BenthemvanJ.F.A.. Where is Logic Going, and Should It? , 2005 .
[37] Gerd Gigerenzer,et al. Homo Heuristicus: Why Biased Minds Make Better Inferences , 2009, Top. Cogn. Sci..
[38] Brian Logan,et al. A Logic of Situated Resource-Bounded Agents , 2009, J. Log. Lang. Inf..
[39] Peter E. Earl. Lifestyle economics : consumer behavior in a turbulent world , 1986 .
[40] David Moshman,et al. : From inference to reasoning: The construction of rationality , 2004 .
[41] C. McLarty,et al. THEOLOGY AND ITS DISCONTENTS: THE ORIGIN MYTH OF MODERN MATHEMATICS , 2012 .
[42] Edward C. Wallace,et al. Roads to geometry , 1991 .
[43] S. S. Culbert,et al. Cognition and Categorization , 1979 .
[44] David Moshman,et al. Adolescent psychological development , 2005 .
[45] T. Wynn. Piaget, stone tools and the evolution of human intelligence. , 1985, World archaeology.
[46] B. Gaines. Memory minimisation in control with stochastic automata , 1971 .
[47] Alfred Schutz. On Multiple Realities , 1962 .
[48] Brian R. Gaines,et al. Linear and Nonlinear Models of the Human Controller , 1969 .
[49] Vimla L. Patel,et al. Distributed cognition, representation, and affordance , 2006 .
[50] A. Avramides. Studies in the Way of Words , 1992 .
[51] A. Korotayev. A Compact Macromodel of World System Evolution , 2005 .
[52] Christopher Cherniak,et al. Minimal Rationality , 1986, Computational models of cognition and perception.
[53] Paula Viterbo,et al. History of Science as Interdisciplinary Education in American Colleges: Its Origins, Advantages, and Pitfalls , 2007 .
[54] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.
[55] J. M. Dunn,et al. Modern Uses of Multiple-Valued Logic , 1977 .
[56] Jean-Yves Béziau,et al. From Consequence Operator to Universal Logic: A Survey of General Abstract Logic , 2005 .
[57] Dov M. Gabbay,et al. The reach of abduction : insight and trial , 2005 .
[58] P. Rozencwajg,et al. Strategy development in a block design task , 2001 .
[59] Peter Gärdenfors,et al. Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.
[60] Arnold Thackray,et al. On Discipline Building: The Paradoxes of George Sarton , 1972, Isis.
[61] Heinrich Wansing,et al. Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System , 2008, Stud Logica.
[62] T. Griffiths,et al. Google and the Mind , 2007, Psychological science.
[63] Yan Zhang,et al. Knowledge forgetting: Properties and applications , 2009, Artif. Intell..
[64] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[65] Daniel S. Weld. Recent Advances in AI Planning , 1999, AI Mag..
[66] M R Quillian,et al. Word concepts: a theory and simulation of some basic semantic capabilities. , 1967, Behavioral science.
[67] David Makinson,et al. Five faces of minimality , 1993, Stud Logica.
[68] Samson Abramsky,et al. Computational Interpretations of Linear Logic , 1993, Theor. Comput. Sci..
[69] Frederic D. Portoraro,et al. Logic with Symlog: Learning Symbolic Logic By Computer , 1994 .
[70] Stephen Gaukroger,et al. The Scientific Revolution: A Historiographical Inquiry , 1994 .
[71] W. Ashby,et al. Every Good Regulator of a System Must Be a Model of That System , 1970 .
[72] Hector J. Levesque,et al. The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.
[73] William R. Hogan. What's in an 'is a' link? , 2009 .
[74] Ronald J. Brachman,et al. What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.
[75] Daniel E. Gershenson,et al. Anaxagoras and the birth of physics , 1964 .
[76] J. Dewey,et al. How We Think , 2009 .
[77] Emily Grosholz,et al. The Growth of Mathematical Knowledge , 2000 .
[78] R. Kurzweil,et al. The Singularity Is Near: When Humans Transcend Biology , 2006 .
[79] Dov M. Gabbay,et al. Cumulativity without Closure of the Domain under Finite Unions , 2008, Rev. Symb. Log..
[80] Philip Kitcher,et al. The Division of Cognitive Labor , 1990 .
[81] Shanyang Zhao,et al. Internet and the lifeworld: updating Schutz's theory of mutual knowledge , 2007, Inf. Technol. People.
[82] Robert Markley,et al. The Janus Faces of Genius: the Role of Alchemy in Newton's Thought , 1993 .
[83] Johan F. Hoorn,et al. Distributed cognition , 2005, Cognition, Technology & Work.
[84] David Moshman,et al. The development of metalogical understanding , 1996 .
[85] Carlo Cellucci,et al. The Growth of Mathematical Knowledge: An Open World View , 2000 .
[86] David Tall,et al. Advanced Mathematical Thinking , 1994 .
[87] Dov M. Gabbay,et al. Defeasible inheritance systems and reactive diagrams , 2009, Log. J. IGPL.
[88] David Makinson,et al. Bridges from classical to nonmonotonic logic , 2005, Texts in computing.
[89] Rogier De Langhe,et al. The division of labour in science: the tradeoff between specialisation and diversity , 2010 .
[90] F. Bartlett,et al. Remembering: A Study in Experimental and Social Psychology , 1932 .
[91] Lawrence Cavedon,et al. Default Reasoning as Situated Monotonic Inference* , 1998, Minds and Machines.
[92] Max Noether. Paul Gordan , 1914 .
[93] B. C. Wright. Reconceptualizing the Transitive Inference Ability: A Framework for Existing and Future Research , 2001 .
[94] Brian R. Gaines,et al. Training, stability and control , 1974 .
[95] Jon Barwise,et al. Information Flow: The Logic of Distributed Systems , 1997 .
[96] Dov M. Gabbay,et al. Chapter 2 - The Practical Logic of Cognitive Systems , 2003 .
[97] G. Kelly. The Psychology of Personal Constructs , 2020 .
[98] Tomasz Jarmużek. David Makinson, "Bridges from Classical to Nonmonotonic Logic", King’s College Publications, London, 2005 , 2007 .
[99] Dov M. Gabbay,et al. The Reach of Abduction: Insight and Trial (A Practical Logic of Cognitive Systems, vol. 2) , 2005 .
[100] Brian R. Gaines,et al. The learning curves underlying convergence , 1998 .
[101] J. Michael Dunn,et al. Partiality and Its Dual , 2000, Stud Logica.
[102] F. Keil. Concepts, Kinds, and Cognitive Development , 1989 .
[103] Ryszard Wójcicki,et al. Theory of Logical Calculi , 1988 .
[104] Barton Moffatt,et al. Distributed Cognition: , 2003 .
[105] Donald E. Knuth,et al. Dancing links , 2000, cs/0011047.
[106] D. Hilbert. Ueber die vollen Invariantensysteme , .
[107] Aristotle,et al. Aristotle's Posterior Analytics , 1981 .
[108] Eric J. Freeman,et al. The printing press as an agent of change: communications and cultural transformations in early-modern Europe , 1981, Medical History.
[109] Jonathon D Crystal,et al. Metacognition in animals. , 2009, Comparative cognition & behavior reviews.
[110] Jerome Stolnitz,et al. The Opening Mind: A Philosophical Study of Humanistic Concepts , 1978 .
[111] Franz Baader. Description Logic Terminology , 2003, Description Logic Handbook.
[112] Henri E. Bal,et al. Solving awari with parallel retrograde analysis , 2003, Computer.
[113] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[114] C. A. Hooker,et al. Reason, regulation, and realism : toward a regulatory systems theory of reason and evolutionary epistemology , 1999 .
[115] Edwin D. Mares,et al. “Four-Valued” Semantics for the Relevant Logic R , 2004, J. Philos. Log..
[116] Dieter Hutter,et al. Mechanizing Mathematical Reasoning , 2008 .
[117] Norman Kaplan,et al. The Sociology of Science: Theoretical and Empirical Investigations , 1974 .
[118] Andrew Pickering,et al. The mangle of practice : time, agency, and science , 1997 .
[119] D. Over,et al. Studies in the Way of Words. , 1989 .
[120] K. Jellinger,et al. In two minds: Dual processes and beyond. , 2009 .
[121] Gary James Jason,et al. The Logic of Scientific Discovery , 1988 .
[122] J. Margolis,et al. Pragmatism's Advantage: American and European Philosophy at the End of the Twentieth Century , 2010 .
[123] O NEUGEBAUER,et al. The exact sciences in antiquity. , 1952, Acta historica scientiarum naturalium et medicinalium.
[124] W. Noble,et al. Human Evolution, Language and Mind: A Psychological and Archaeological Inquiry , 1996 .
[125] D. Melville,et al. Mathematics in Ancient Iraq : A Social History , 2009 .
[126] J. W. Mohr. Surrender and Catch: Experience and Inquiry Today , 1982 .
[127] S. Hurley,et al. Rational Animals ? , 2004 .
[128] F. Keil,et al. Explanation and understanding , 2015 .
[129] Peter Carruthers,et al. Practical Reasoning in a Modular Mind , 2004 .
[130] Leslie H. Tharp,et al. Myth and mathematics: A conceptualistic philosophy of mathematics I , 1989, Synthese.
[131] Brian R. Gaines,et al. On the Complexity of Causal Models , 1976, IEEE Transactions on Systems, Man, and Cybernetics.
[132] Ray Holland,et al. Personal Construct Psychology: Recent Advances in Theory and Practice , 1981 .
[133] Diderik Batens,et al. A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.
[134] K. Arrow. Rational Choice Functions and Orderings1 , 1959 .
[135] R. D'Andrade. The Development of Cognitive Anthropology , 1995 .
[136] S. Traweek,et al. Beamtimes and Lifetimes: The World of High Energy Physicists , 1988 .
[137] Hector J. Levesque,et al. Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..
[138] M. Weitz,et al. The opening mind : a philosophical study of humanistic concepts , 1980 .
[139] David Lindley,et al. Logical foundations of probability , 1951 .
[140] H. Dreyfus. What Computers Can't Do: The Limits of Artificial Intelligence , 1978 .
[141] Ali Haidar,et al. Ayo, the Awari player, or how better representation trumps deeper search , 2004, Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753).
[142] Enrico Giunchiglia,et al. SAT-Based Procedures for Temporal Reasoning , 1999, ECP.
[143] K. Arrow,et al. Handbook of Social Choice and Welfare , 2011 .
[144] C. S. Fisher,et al. The Last Invariant Theorists A sociological study of the collećtive biographies of mathematical specialiśts , 1967, European Journal of Sociology.
[145] Stanislaw Ambroszkiewicz,et al. Mutual Knowledge , 1993, ISMIS.
[146] Eric A. Havelock,et al. The Literate Revolution in Greece and its Cultural Consequences , 1982 .
[147] David H. Jonassen. Learning to Solve Complex Scientific Problems , 2007 .
[148] Nick Chater,et al. Fast, frugal, and rational: How rational norms explain behavior , 2003 .
[149] W. T. Powers. Behavior, the control of perception , 1973 .
[150] Alejandro Ramírez Figueroa. Abductive Reasoning. Logical Investigations into Discovery and Explanation , 2009 .
[151] B. Loasby. Knowledge, institutions, and evolution in economics , 1999 .
[152] Dov M. Gabbay,et al. Reactive Preferential Structures and Nonmonotonic Consequence , 2009, Rev. Symb. Log..
[153] Jean-Yves Béziau,et al. Logica Universalis: Towards a General Theory of Logic , 2007 .
[154] L. Cohen. Can human irrationality be experimentally demonstrated? , 1981, Behavioral and Brain Sciences.
[155] C. S. Fisher,et al. The death of a mathematical theory: a study in the sociology of knowledge , 1966 .
[156] Brian R. Gaines,et al. The collective stance in modeling expertise in individuals and organizations , 1994 .
[157] E. Wenger. Communities of Practice: Learning, Meaning, and Identity , 1998 .
[158] M. Gorman. Simulating Science: Heuristics, Mental Models, and Technoscientific Thinking , 1992 .
[159] D. Kuhn,et al. Cognition, Perception, and Language , 1997 .
[160] Michael Fisher,et al. Exploring the Future with Resource-Bounded Agents , 2009, J. Log. Lang. Inf..
[161] Immanuel Kant,et al. Lectures on Logic , 1992 .
[162] N. C. W. Spence,et al. LINGUISTIC FIELDS, CONCEPTUAL SYSTEMS AND THE WELTBILD , 1961 .
[163] R. Kitchener,et al. Genetic epistemology, equilibration and the rationality of scientific change , 1987 .
[164] Alfred Tarski,et al. Tarski's System of Geometry , 1999, Bulletin of Symbolic Logic.
[165] Robert Stalnaker,et al. What is a Nonmonotonic Consequence Relation? , 1994, Fundam. Informaticae.
[166] Evert W. Beth,et al. Mathematical Epistemology And Psychology , 1966 .
[167] T. Kuhn,et al. The Structure of Scientific Revolutions. , 1964 .
[168] Pierre Ageron. Logic without Self-Deductibility , 2005 .
[169] Mildred L. G. Shaw,et al. On Becoming a Personal Scientist: Interactive Computer Elicitation of Personal Models of the World , 1980 .
[170] Dov M. Gabbay,et al. BELIEF REVISION IN NON-CLASSICAL LOGICS , 2008, The Review of Symbolic Logic.
[171] G. Lloyd,et al. Adversaries and Authorities: Investigations Into Ancient Greek and Chinese Science , 1996, The Journal of Asian Studies.
[172] Vincent Danos,et al. The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs , 1993, Kurt Gödel Colloquium.
[173] K. Manktelow,et al. Psychology of reasoning : theoretical and historical perspectives , 2004 .
[174] R. Hepburn,et al. BEING AND TIME , 2010 .
[175] Peter Carruthers,et al. How we know our own minds: The relationship between mindreading and metacognition , 2009, Behavioral and Brain Sciences.
[176] M. Tomasello. Tools, Language and Cognition in Human Evolution , 1994 .
[177] I. Mitroff. Emotion and Bias in Science. (Book Reviews: The Subjective Side of Science. A Philosophical Inquiry into the Psychology of the Apollo Moon Scientists) , 1974 .
[178] L. Rips. The Psychology of Proof: Deductive Reasoning in Human Thinking , 1994 .
[179] Aaron Hertz May. A Constructive Version of the Hilbert Basis Theorem , 2004 .
[180] Yvette Solomon,et al. Mathematics and Narrative , 1998 .
[181] R. Fritsch,et al. The four-color theorem : history, topological foundations, and idea of proof , 1998 .
[182] T. G.,et al. Logic in Practice , 1934, Nature.
[183] Fausto Giunchiglia,et al. SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective , 2005, Mechanizing Mathematical Reasoning.
[184] Stacy Marsella,et al. Modeling the cognitive antecedents and consequences of emotion , 2009, Cognitive Systems Research.
[185] Alexander Weinmann. Uncertain Models and Robust Control , 2002 .
[186] John H. Boose,et al. Expertise transfer for expert system design , 1986 .
[187] Von Kurt Gödel,et al. ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES , 1958 .
[188] Adrienne Lehrer,et al. Frames, Fields, and Contrasts : New Essays in Semantic and Lexical Organization , 1992 .
[189] Hanne Andersen. Kuhn's Account Of Family Resemblance: A Solution To The Problem Of Wide-Open Texture , 2000 .
[190] Daniel Lehmann,et al. Nonmonotonic Logics and Semantics , 2001, J. Log. Comput..
[191] L. Barsalou. Frames, concepts, and conceptual fields , 1992 .
[192] Terry Kit-fong Au. Counterfactuals: In reply to Alfred Bloom , 1984, Cognition.
[193] M. Hobart,et al. Information Ages: Literacy, Numeracy, and the Computer Revolution , 1998 .
[194] William A. Woods,et al. What's in a Link: Foundations for Semantic Networks , 1975 .
[195] Brian R. Gaines,et al. Knowledge Management in Societies of Intelligent Adaptive Agents , 1997, Journal of Intelligent Information Systems.
[196] Simon Singh,et al. Fermat's Enigma: The Epic Quest to Solve the World's Greatest Mathematical Problem , 1997 .
[197] Stevan Harnad. Distributed processes, distributed cognizers, and collaborative cognition , 2005 .
[198] J. Edwards. Genetic Epistemology , 1971 .
[199] Henk J. M. Bos,et al. Redefining geometrical exactness : Descartes' transformation of the early modern concept of construction , 2001 .
[200] Michael E. Gorman,et al. Scientific and Technological Thinking , 2006 .
[201] J. Piaget,et al. The equilibration of cognitive structures : the central problem of intellectual development , 1985 .
[202] Nancy J. Nersessian,et al. Creating Scientific Concepts , 2008 .
[203] Brian R. Gaines,et al. Comparing conceptual structures: consensus, conflict, correspondence and contrast , 1989 .
[204] Charles J. Mozzochi. The Fermat Diary , 2000 .
[205] Jean Piaget. Main trends in inter-disciplinary research , 1973 .
[206] Philip Kitcher,et al. Precis of The Advancement of Science@@@The Advancement of Science: Science without Legend, Objectivity without Illusions. , 1995 .
[207] Marvin D. Loflin,et al. Discourse and inference in cognitive anthropology: An approach to psychic unity and enculturation , 1978 .
[208] Jean-Pierre Bourguignon,et al. Mathematische Annalen , 1893 .
[209] S. Gelman,et al. The Essential Child : Origins of Essentialism in Everyday Thought , 2003 .
[210] K. J. Craik,et al. The nature of explanation , 1944 .
[211] S. Stich,et al. The cognitive basis of science , 2002 .
[212] M. Kendall,et al. The Logic of Scientific Discovery. , 1959 .
[213] M. Cole,et al. The cultural context of learning and thinking. An Exploration in Experimental Anthropology. , 1971 .
[214] Jacquetta Hill. Culture in Mind: Cognition, Culture, and the Problem of Meaning , 1998 .
[215] Kotaro Suzumura,et al. Introduction, Handbook of Social Choice and Welfare, Edited by Kenneth Arrow, Amartya Sen and Kotaro Suzumura, Amsterdam: Elsevier/North-Holland , 2001 .
[216] Fernando Tohmé,et al. Local logics, non-monotonicity and defeasible argumentation , 2004 .
[217] Georg Brun,et al. Epistemology and Emotions , 2012 .
[218] Dov M. Gabbay,et al. Resource-origins of Nonmonotonicity , 2008, Stud Logica.
[219] Aldo Antonelli. Grounded consequence for defeasible logic , 2005 .
[220] N. Mukunda. Mind from matter? An essay on evolutionary epistemology , 2008, Journal of Genetics.
[221] Carlo Celluci,et al. Why Proof? What is a Proof? , 2008 .
[222] Alexander Jones,et al. The Adaptation of Babylonian Methods in Greek Numerical Astronomy , 1991, Isis.
[223] Benno Artmann. Euclid-The Creation of Mathematics , 1999 .
[224] E. Eisenstein. The printing press as an agent of change : communications and cultural transformations in early-modern Europe : volumes I and II , 1980 .
[225] Geoffrey P. Goodwin,et al. The psychological puzzle of Sudoku , 2008 .
[226] R. Willis,et al. The foundations of primitive thought , 1979 .
[227] G. Kelly,et al. Clinical Psychology and Personality: The Selected Papers of George Kelly , 1969 .
[228] N. Cocchiarella,et al. Situations and Attitudes. , 1986 .
[229] R. Stromberg,et al. The Religion of Isaac Newton , 1976 .
[230] P. Feyerabend. Against Method: Outline of an Anarchistic Theory of Knowledge , 1976 .
[231] Daniel Lehmann,et al. What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..
[232] R. Giere. Cognitive Models of Science , 1992 .
[233] Michael D. Resnik. The Frege-Hilbert Controversy , 1974 .
[234] A. Estany. The Thesis of Theory-Laden Observation in the Light of Cognitive Psychology , 2001, Philosophy of Science.
[235] Edward N. Zalta,et al. Twenty-five basic theorems in situation and world theory , 1993, J. Philos. Log..
[236] E. L.. The Foundations of Geometry , 1891, Nature.
[237] Francesco M. Donini,et al. Complexity of Reasoning , 2003, Description Logic Handbook.
[238] Umesh V. Vazirani,et al. Quantum Complexity Theory , 1997, SIAM J. Comput..
[239] Jonathan Evans. Dual-processing accounts of reasoning, judgment, and social cognition. , 2008, Annual review of psychology.
[240] J. Łoś,et al. Remarks on sentential logics , 1958 .
[241] Furio Honsell,et al. A framework for defining logics , 1993, JACM.
[242] Bernhard Nebel,et al. Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..
[243] N. Wetherick,et al. Reasoning and Rationality , 1995 .
[244] H. Coxeter. Non-Euclidean geometry , 1961 .
[245] Ian Horrocks,et al. Optimizing Terminological Reasoning for Expressive Description Logics , 2007, Journal of Automated Reasoning.
[246] Solomon Feferman,et al. Gödel's Dialectica Interpretation and Its Two-Way Stretch , 1993, Kurt Gödel Colloquium.
[247] A. Bloom,et al. The Linguistic Shaping of Thought: A Study in the Impact of Language on Thinking in China and the West , 1981 .
[248] P. Johnson-Laird,et al. Psychology of Reasoning: Structure and Content , 1972 .
[249] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[250] M. Batty. Generative social science: Studies in agent-based computational modeling , 2008 .
[251] J. Etchemendy. The Concept of Logical Consequence , 1991 .
[252] Krzysztof R. Apt,et al. Logics and Models of Concurrent Systems , 1989, NATO ASI Series.
[253] D. Dennett. The Intentional Stance. , 1987 .
[254] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .
[255] Décio Krause,et al. Relativizations of the Principle of Identity , 1997, Log. J. IGPL.
[256] Brian R. Gaines,et al. Designing Visual Languages for Description Logics , 2009, J. Log. Lang. Inf..
[257] Keith Stenning,et al. Human Reasoning and Cognitive Science , 2008 .
[258] R. Netz. The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History , 1999 .
[259] John W. Tapsall,et al. Life Among the Scientists: An Anthropological Study of an Australian Scientific Community , 1990 .
[260] Etienne Wenger,et al. Communities of Practice: Learning, Meaning, and Identity , 1998 .
[261] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[262] Edward E. Smith,et al. Categories and concepts , 1984 .