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

483 found
Order:
  1.  8
    Dale Jacquette (2016). Subalternation and Existence Presuppositions in an Unconventionally Formalized Canonical Square of Opposition. Logica Universalis 10 (2-3):191-213.
    An unconventional formalization of the canonical square of opposition in the notation of classical symbolic logic secures all but one of the canonical square’s grid of logical interrelations between four A-E-I-O categorical sentence types. The canonical square is first formalized in the functional calculus in Frege’s Begriffsschrift, from which it can be directly transcribed into the syntax of contemporary symbolic logic. Difficulties in received formalizations of the canonical square motivate translating I categoricals, ‘Some S is P’, into symbolic logical (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    P. Clote, P. Hájek & J. Paris (1990). On Some Formalized Conservation Results in Arithmetic. Archive for Mathematical Logic 30 (4):201-218.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3. Sarah Moss (2013). Epistemology Formalized. Philosophical Review 122 (1):1-43.
    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 (10 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  4.  29
    Jonathan Birch (2014). Has Grafen Formalized Darwin? Biology and Philosophy 29 (2):175-180.
    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 (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5. Alfred Tarski (1936). The Concept of Truth in Formalized Languages. In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press 152--278.
  6.  23
    Janusz Kaczmarek (2008). What is a Formalized Ontology Today? An Example of IIC. Bulletin of the Section of Logic 37 (3-4):238-244.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  7. Harvey Friedman, Can Mathematics Be Formalized?
    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.
     
    Export citation  
     
    My bibliography  
  8.  15
    L. Gumański (1969). Remarks on Formalized Proof and Consequence. Studia Logica 25 (1):158-158.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9.  83
    Martin J. Pickering & Nick Chater (1995). Why Cognitive Science is Not Formalized Folk Psychology. Minds and Machines 5 (3):309-337.
    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 (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  10.  24
    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.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11.  13
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  14
    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.
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  3
    Richard Pettigrew (forthcoming). Jamesian Epistemology Formalized: An Explication of 'The Will to Believe'. Episteme:1-16.
    Famously, William James held that there are two commandments that govern our epistemic life: Believe truth! Shun error! In this paper, I give a formal account of James' claim using the tools of epistemic utility theory. I begin by giving the account for categorical doxastic states – that is, full belief, full disbelief, and suspension of judgment. Then I will show how the account plays out for graded doxastic states – that is, credences. The latter part of the paper thus (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  4
    Albert Leisenring (1968). An Abstract Property of Formalized Languages Which Contain Hilberts Ε-Symbol. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (6):81-92.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  6
    Catarina Dutilh Novaes (2015). The Formal and the Formalized: The Cases of Syllogistic and Supposition Theory. Kriterion: Revista de Filosofia 56 (131):253-270.
    As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied . Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  14
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  17.  4
    Jens Harbecke (2010). The Problem of Mental Causation Formalized. Mind and Matter 8 (1):63-91.
    By formalizing the problem of mental causation, we first prove rigorously that the premises of the problem are jointly incompatible. Before the background of the formalizations, we clarify and assess the anti-physicalist argument by Scott Sturgeon and the supervenience argument by Jaegwon Kim. We demonstrate that, contrary to what has sometimes been contended, the negation of the non-identity premise of Kim's version of the supervenience argument is not tantamount to the claim that all mental events are identical to physical events, (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  1
    G. Hasenjaeger (1954). Mostowski Andrzej. Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Gödel. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam 1952, VIII + 117 Pp. [REVIEW] Journal of Symbolic Logic 19 (2):119-121.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  3
    G. Kreisel & Hao Wang (1956). Some Applications of Formalized Consistency Proofs. Journal of Symbolic Logic 21 (4):404-405.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  20.  21
    W. A. Verloren van Themaat (1962). Formalized and Artificial Languages. Synthese 14 (4):320-326.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21.  10
    Solomon Feferman (1957). Degrees of Unsolvability Associated with Classes of Formalized Theories. Journal of Symbolic Logic 22 (2):161-175.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  22.  9
    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.
  23.  13
    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).
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  24.  21
    G. Kreisel (1953). The Diagonal Method in Formalized Arithmetic. [REVIEW] British Journal for the Philosophy of Science 3 (12):364-374.
  25. Robert Rogers (1971). Mathematical Logic and Formalized Theories. Amsterdam,North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography   3 citations  
  26.  12
    Kordula Świętorzecka (2009). Sformalizowana Ontologia Orientacji Klasycznej [Formalized Ontology Inspired by Classical Philosophy]. Polish Journal of Philosophy 3 (2):140-142.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27.  13
    Jerzy Łoś (1963). Semantic Representation of the Probability of Formulas in Formalized Theories. Studia Logica 14 (1):183 - 196.
  28.  17
    Tadeusz Kubiński (1965). Two Kinds of Quotation Mark Expressions in Formalized Languages. Studia Logica 17 (1):31 - 51.
  29.  6
    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.
    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)  
     
    Export citation  
     
    My bibliography  
  30.  2
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  2
    W. A. Verloren van Themaat (1962). Formalized and Artificial Languages. Synthese 14 (4):320-326.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32.  4
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  8
    Andrzej Mostowski (1952). Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel. Greenwood Press.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  34.  8
    Haskell B. Curry (1959). The Interpretation of Formalized Implication. Theoria 25 (1):1-26.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35.  7
    W. A. Verloren Van Themaat (1962). Formalized and Artificial Languages. Synthese 14 (4):320 - 326.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  36.  10
    Charles F. Kielkopf (1995). ‘Surveyablity’ Should Not Be Formalized. Philosophia Mathematica 3 (2):175-178.
    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)  
     
    Export citation  
     
    My bibliography  
  37.  3
    G. Hasenjaeger (1956). Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs. [REVIEW] Journal of Symbolic Logic 21 (4):404-405.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  1
    Andrzej Mostowski (1947). On Undecidable Propositions in Formalized Systems of Mathematics. Journal of Symbolic Logic 12 (2):60-60.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  1
    S. Ulam (1947). Review: Andrzej Mostowski, On Undecidable Propositions in Formalized Systems of Mathematics. [REVIEW] Journal of Symbolic Logic 12 (2):60-60.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  2
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  4
    Lars Hansen (2004). Formalized Token Models and Duality in Semantics: An Algebraic Approach. Journal of Symbolic Logic 69 (2):443 - 477.
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  42.  3
    G. Kreisel (1953). Review: The Diagonal Method in Formalized Arithmetic. [REVIEW] British Journal for the Philosophy of Science 3 (12):364 - 374.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43. Edward Nieznański (2011). World Models in Formalized Systems of Theodicy. Studia Philosophiae Christianae 1:89-96.
    No categories
     
    Export citation  
     
    My bibliography  
  44. Norman M. Martin (1952). Review: R. Feys, Results and Possibilities of Formalized Logic. [REVIEW] Journal of Symbolic Logic 17 (4):285-286.
     
    Export citation  
     
    My bibliography  
  45.  1
    W. A. Howard (1970). Review: J. R. Moschovakis, Disjunction and Existence in Formalized Intuitionistic Analysis. [REVIEW] Journal of Symbolic Logic 35 (4):587-588.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46.  1
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  1
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Wilhelm Ackermann (1957). Janiczak A.. Undecidability of Some Simple Formalized Theories. Nach Dem Tode des Verf., von A. Mostowski Und A. Grzegorczyk Herausgegeben. Fundamenta Mathematicae, Bd. 40 , S. 131–139. [REVIEW] Journal of Symbolic Logic 22 (2):217.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Wilhelm Ackermann (1957). Review: A. Janiczak, Undecidability of Some Simple Formalized Theories. [REVIEW] Journal of Symbolic Logic 22 (2):217-217.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50. Albert A. Bennett (1947). Review: H. Meyer, The Concept of Truth in a Formalized Semantics. [REVIEW] Journal of Symbolic Logic 12 (4):144-145.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 483