- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
This paper focuses on two notions of effectiveness which are not treated in detail elsewhere. Unlike the standard computability notion, which is a property of functions themselves, both notions of effectiveness are properties of interpreted linguistic presentations of functions. It is shown that effectiveness is epistemically at least as basic as computability in the sense that decisions about computability normally involve judgments concerning effectiveness. There are many occurrences of the present notions in the writings of logicians; moreover, consideration of these (...) |
|
|
No categories |
|
|
Roy Bhaskar, Reclaiming Reality: a Critical Introduction to Contemporary Philosophy, London: Verso, 1989, £24.95, paper £8.95, ix + 218 pp. |
|
|
|
|
|
|
|
|
|
|
|
In this work, attention is drawn to the abundant use of metaphor and analogy in works of logic. I argue that pervasiveness of figurative language is to be counted among the features that characterize logic and distinguish it from other sciences. This characteristic feature reflects the creativity that is inherent in logic and indeed has been demonstrated to be a necessary part of logic. The goal of this paper, in short, is to provide specific examples of figurative language used in (...) |
|
|
This paper presents a defense of Epistemic Arithmetic as used for a formalization of intuitionistic arithmetic and of certain informal mathematical principles. First, objections by Allen Hazen and Craig Smorynski against Epistemic Arithmetic are discussed and found wanting. Second, positive support is given for the research program by showing that Epistemic Arithmetic can give interesting formulations of Church's Thesis. |
|
|
In this paper I discuss a generalization of communication theory. I sketch a model of the communication situation sufficiently general to subsume all models of particular aspects of communication. Several definitions and lines of inquiry are proposed. It will be evident that much of what I say has been influenced by Bar-Hillel, and also that this paper goes beyond Bar-Hillel's both in generality of scope and in details of analysis. The more general aim of the paper is to suggest a (...) |
|
|
The three processes needed to create life, compartmentalization, metabolism, and information transfer (memory stored in nucleic acids and manipulation operated by proteins) are embedded in organized genome features. The core of life puts together growth and maintenance (which drives survival), while life in context explores and exploits specific niches. Analysis of gene persistence in a large number of genomes shows that the former constitutes the paleome, which recapitulates the three phases of the origin of life: metabolism of small molecules on (...) |
|
|
This book explores the interplay between logic and science, describing new trends, new issues and potential research developments. |
|
|
Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: On the Need for (...) |
|
|
Permission is hereby granted until the end of December, 2009 to make single copies of this document as desired, and to make multiple copies for use by teachers or students in any course offered by any school. |
|
|
|
|
|
|
|
|
No categories |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-9lpj8 uwo