Search results for 'formalized knolwledge' (try it on Scholar)

1000+ found
Sort by:
  1. Jonathan Birch (2014). Has Grafen Formalized Darwin? Biology and Philosophy 29 (2):175-180.score: 18.0
    One key aim of Grafen’s Formal Darwinism project is to formalize ‘modern biology’s understanding and updating of Darwin’s central argument’. In this commentary, I consider whether Grafen has succeeded in this aim.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. P. Clote, P. Hájek & J. Paris (1990). On Some Formalized Conservation Results in Arithmetic. Archive for Mathematical Logic 30 (4):201-218.score: 18.0
    IΣ n andBΣ n are well known fragments of first-order arithmetic with induction and collection forΣ n formulas respectively;IΣ n 0 andBΣ n 0 are their second-order counterparts. RCA0 is the well known fragment of second-order arithmetic with recursive comprehension;WKL 0 isRCA 0 plus weak König's lemma. We first strengthen Harrington's conservation result by showing thatWKL 0 +BΣ n 0 is Π 1 1 -conservative overRCA 0 +BΣ n 0 . Then we develop some model theory inWKL 0 and illustrate (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Edward Nieznański (2013). The First Formalized Proof of the Indestructibility of a Subsistent Form. Studies in East European Thought 65 (1-2):65-73.score: 18.0
    The article presents a formalization of Thomas Aquinas proof for the indestructibility of the human soul. The author of the formalization—the first of its kind in the history of philosophy—is Father Joseph Maria Bocheński. The presentation involves no more than updating the logical symbolism used and accompanies the logical formulae with ordinary language paraphrases in order to ease the reader’s understanding of the formulae. “The fundamental idea of the Thomist proof is of utmost simplicity: things which are destructible are destructible (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Harvey Friedman, Can Mathematics Be Formalized?score: 16.0
    It has been accepted since the early part of the Century that there is no problem formalizing mathematics in standard formal systems of axiomatic set theory. Most people feel that they know as much as they ever want to know about how one can reduce natural numbers, integers, rationals, reals, and complex numbers to sets, and prove all of their basic properties. Furthermore, that this can continue through more and more complicated material, and that there is never a real problem.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Nneka Mokwunye, Virginia Brown, John Lynch & Evan DeRenzo (2010). Hiring a Hospital Staff Clinical Ethicist: Creating a Formalized Behavioral Interview Model. [REVIEW] HEC Forum 22 (1):51-63.score: 16.0
    This paper presents the behavioral interview model that we developed to formalize our hiring practices when we, most recently, needed to hire a new clinical ethicist to join our staff at the Center for Ethics at Washington Hospital Center.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Charles F. Kielkopf (1995). ‘Surveyablity’ Should Not Be Formalized. Philosophia Mathematica 3 (2):175-178.score: 16.0
    There is a review of how Mark Addis has made a case that it would require great effort for scant philosophical profit to formalize a notion of surveyability as a metamathematical predicate demarcating strict finitistic mathematics. It is then suggested how the notion of surveyability is useful in informal philosophizing about mathematics.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Lars Hansen (2004). Formalized Token Models and Duality in Semantics: An Algebraic Approach. Journal of Symbolic Logic 69 (2):443 - 477.score: 16.0
    Employing the theory of Birkhoff polarities as a model of model theory yields an inductively defined dual structure which is a formalization of semantics and which allows for simple proofs of some new results for model theory.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Martin J. Pickering & Nick Chater (1995). Why Cognitive Science is Not Formalized Folk Psychology. Minds and Machines 5 (3):309-337.score: 15.0
    It is often assumed that cognitive science is built upon folk psychology, and that challenges to folk psychology are therefore challenges to cognitive science itself. We argue that, in practice, cognitive science and folk psychology treat entirely non-overlapping domains: cognitive science considers aspects of mental life which do not depend on general knowledge, whereas folk psychology considers aspects of mental life which do depend on general knowledge. We back up our argument on theoretical grounds, and also illustrate the separation between (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. G. Kreisel (1953). The Diagonal Method in Formalized Arithmetic. [REVIEW] British Journal for the Philosophy of Science 3 (12):364-374.score: 15.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Alfred Tarski (1936/1956). The Concept of Truth in Formalized Languages. In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. 152--278.score: 15.0
  11. Solomon Feferman (1957). Degrees of Unsolvability Associated with Classes of Formalized Theories. Journal of Symbolic Logic 22 (2):161-175.score: 15.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Tadeusz Kubiński (1965). Two Kinds of Quotation Mark Expressions in Formalized Languages. Studia Logica 17 (1):31 - 51.score: 15.0
  13. Jerzy Łoś (1963). Semantic Representation of the Probability of Formulas in Formalized Theories. Studia Logica 14 (1):183 - 196.score: 15.0
  14. W. A. Verloren van Themaat (1962). Formalized and Artificial Languages. Synthese 14 (4):320-326.score: 15.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. L. Gumański (1969). Remarks on Formalized Proof and Consequence. Studia Logica 25 (1):158-158.score: 15.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Andrzej Mostowski (1952/1982). Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel. Greenwood Press.score: 15.0
     
    My bibliography  
     
    Export citation  
  17. Robert Rogers (1971). Mathematical Logic and Formalized Theories. Amsterdam,North-Holland Pub. Co..score: 15.0
     
    My bibliography  
     
    Export citation  
  18. Iannis Xenakis (1971). Formalized Music. Bloomington,Indiana University Press.score: 15.0
     
    My bibliography  
     
    Export citation  
  19. Francisco Antonio Doria (2007). Informal Versus Formal Mathematics. Synthese 154 (3):401 - 415.score: 11.0
    We discuss Kunen’s algorithmic implementation of a proof for the Paris–Harrington theorem, and the author’s and da Costa’s proposed “exotic” formulation for the P = NP hypothesis. Out of those two examples we ponder the relation between mathematics within an axiomatic framework, and intuitive or informal mathematics.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Sarah Moss (2013). Epistemology Formalized. Philosophical Review 122 (1):1-43.score: 10.0
    This paper argues that just as full beliefs can constitute knowledge, so can properties of your credence distribution. The resulting notion of probabilistic knowledge helps us give a natural account of knowledge ascriptions embedding language of subjective uncertainty, and a simple diagnosis of probabilistic analogs of Gettier cases. Just like propositional knowledge, probabilistic knowledge is factive, safe, and sensitive. And it helps us build knowledge-based norms of action without accepting implausible semantic assumptions or endorsing the claim that knowledge is interest-relative.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  21. Maria Luisa Dalla Chiara (2004). Book Review: Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized Epistemology. Mioara Mugur-Schächter and Alwyn van der Merwe, Eds., Kluwer Academic, Dordrecht, The Netherlands, 2002, Xviii + 493 Pp., $191.00 (Hardcover). ISBN 1-4020-1120-2. [REVIEW] Foundations of Physics 34 (3):529-532.score: 10.0
  22. W. A. Verloren Van Themaat (1962). Formalized and Artificial Languages. Synthese 14 (4):320 - 326.score: 10.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. O. Mokwunye Nneka, A. Brown Virginia, J. Lynch John & G. DeRenzo Evan (2010). Hiring a Hospital Staff Clinical Ethicist: Creating a Formalized Behavioral Interview Model. HEC Forum 22 (1).score: 10.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Jens Harbecke (2010). The Problem of Mental Causation Formalized. Mind and Matter 8 (1):63-91.score: 10.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. David Nelson (1956). Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. [REVIEW] Journal of Symbolic Logic 21 (1):91-92.score: 10.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Kordula Świętorzecka (2009). Sformalizowana Ontologia Orientacji Klasycznej [Formalized Ontology Inspired by Classical Philosophy]. Polish Journal of Philosophy 3 (2):140-142.score: 10.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Haskell B. Curry (1959). The Interpretation of Formalized Implication. Theoria 25 (1):1-26.score: 10.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. James Griesemer (2013). Formalization and the Meaning of “Theory” in the Inexact Biological Sciences. Biological Theory 7 (4):298-310.score: 10.0
    Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely a (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. G. Hasenjaeger (1956). Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs. [REVIEW] Journal of Symbolic Logic 21 (4):404-405.score: 10.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. G. Kreisel (1953). Review: The Diagonal Method in Formalized Arithmetic. [REVIEW] British Journal for the Philosophy of Science 3 (12):364 - 374.score: 10.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31. Maria Luisa Dalla Chiara (2004). Book Review: Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized Epistemology. Mioara Mugur-Schächter and Alwyn van der Merwe, Eds., Kluwer Academic, Dordrecht, The Netherlands, 2002, Xviii+ 493 Pp., $191.00 (Hardcover). ISBN 1-4020-1120-2. [REVIEW] Foundations of Physics 34 (3):529-532.score: 10.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Erwin Engeler (1967). Review: A. Ehrenfeucht, An Application of Games to the Completeness Problem for Formalized Theories. [REVIEW] Journal of Symbolic Logic 32 (2):281-282.score: 10.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. W. A. Howard (1970). Review: J. R. Moschovakis, Disjunction and Existence in Formalized Intuitionistic Analysis. [REVIEW] Journal of Symbolic Logic 35 (4):587-588.score: 10.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Norman M. Martin (1952). Review: R. Feys, Results and Possibilities of Formalized Logic. [REVIEW] Journal of Symbolic Logic 17 (4):285-286.score: 10.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Donald Monk (1996). Sikorski Roman. Algebra of Formalized Languages. Colloquium Mathematicum, Vol. 9 (1962), Pp. 1–31. Journal of Symbolic Logic 31 (3):508-509.score: 10.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Edward Nieznański (2011). World Models in Formalized Systems of Theodicy. Studia Philosophiae Christianae 1:89-96.score: 10.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Hartley Rogers (1962). Review: Solomon Feferman, Degrees of Unsolvability Associated with Classes of Formalized Theories; J. R. Shoenfield, Degrees of Formal Systems. [REVIEW] Journal of Symbolic Logic 27 (1):85-86.score: 10.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Neil Thapen (2011). Higher Complexity Search Problems for Bounded Arithmetic and a Formalized No-Gap Theorem. Archive for Mathematical Logic 50 (7-8):665-680.score: 10.0
    We give a new characterization of the strict $\forall {\Sigma^b_j}$ sentences provable using ${\Sigma^b_k}$ induction, for 1 ≤ j ≤ k. As a small application we show that, in a certain sense, Buss’s witnessing theorem for strict ${\Sigma^b_k}$ formulas already holds over the relatively weak theory PV. We exhibit a combinatorial principle with the property that a lower bound for it in constant-depth Frege would imply that the narrow CNFs with short depth j Frege refutations form a strict hierarchy with (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  39. Wilhelm Ackermann (1957). Review: A. Janiczak, Undecidability of Some Simple Formalized Theories. [REVIEW] Journal of Symbolic Logic 22 (2):217-217.score: 10.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Albert A. Bennett (1947). Review: H. Meyer, The Concept of Truth in a Formalized Semantics. [REVIEW] Journal of Symbolic Logic 12 (4):144-145.score: 10.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Evert W. Beth (1945). Review: R. Feys, Logistic as Formalized Logic. I. General Survey. Logic of Propositions and of Classes. [REVIEW] Journal of Symbolic Logic 10 (3):100-101.score: 10.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. E. Engeler (1974). Review: A. Salwicki, Formalized Algorithmic Languages; A. Salwicki, On the Equivalence of FS-Expressions and Programs; A. Salwicki, On the Predicate Calculi with Iteration Quantifiers. [REVIEW] Journal of Symbolic Logic 39 (2):349-350.score: 10.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Paul C. Gilmore (1953). The Effect of Griss's Criticism of the Intuitionistic Logic on Deducative Theories Formalized Within the Intuitionistic Logic. Amsterdam, Drukkerij Holland.score: 10.0
     
    My bibliography  
     
    Export citation  
  44. G. Hasenjaeger (1954). Review: Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel. [REVIEW] Journal of Symbolic Logic 19 (2):119-121.score: 10.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Henry W. Johnstone (1960). Review: A. N. Prior, Formalized Syllogistic. [REVIEW] Journal of Symbolic Logic 25 (4):345-345.score: 10.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Janusz Kaczmarek (2008). What is a Formalized Ontology Today? An Example of IIC. Bulletin of the Section of Logic 37 (3-4):238-244.score: 10.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Albert Leisenring (1968). An Abstract Property of Formalized Languages Which Contain Hilberts Ε‐Symbol. Mathematical Logic Quarterly 14 (6):81-92.score: 10.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Stefan Mandl & Bernd Ludwig (2007). Coping with Unconsidered Context of Formalized Knowledge. In D. C. Richardson B. Kokinov (ed.), Modeling and Using Context. Springer. 342--355.score: 10.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. Donald Monk (1966). Review: Roman Sikorski, Algebra of Formalized Languages. [REVIEW] Journal of Symbolic Logic 31 (3):508-509.score: 10.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. K. Reach (1940). Review: O. V. Zich, Definition of the "Meaning" of a Sentence in Formalized Systems. [REVIEW] Journal of Symbolic Logic 5 (1):38-39.score: 10.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000