Search results for 'KB Noaparast' (try it on Scholar)

31 found
Order:
  1.  18
    Linh Anh Nguyen (2001). Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD. Studia Logica 69 (1):41-57.
    We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  10
    Yutaka Miyazaki (2007). Normal Forms for Modal Logics Kb and Ktb. Bulletin of the Section of Logic 36 (3/4):183-193.
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  8
    Lisa Reilly (2005). Geraldine Carville, The Impact of the Cistercians on the Landscape of Ireland, 1142–1541. Ashford, Ireland: KB Publications, 2003. Pp. Xx, 402 Plus Color Plates; Black-and-White Figures, 11 Plans, 6 Black-and-White Illustrations, Tables, and 64 Maps. €125.Glyn Coppack, Fountains Abbey: The Cistercians in Northern England. Stroud, Eng., and Charleston, S.C.: Tempus, 2003. Paper. Pp. 160 Plus 14 Color Plates; 108 Black-and-White Figures. $26.99. Revised Edition of Book of Fountains Abbey, Published in 1993 by Batsford. [REVIEW] Speculum 80 (4):1244-1246.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  8
    Colin J. Bennett, Rebecca Grant & William H. Brenner (2001). Charles KB Barton, Getting Even: Revenge as a Form of Justice. Chicago, Ill.: Open Court, 1999, 180 Pp.(Indexed). ISBN 0-8126-9402-3, $21.95 (Pb). Gay Becker, Disrupted Lives. Berkeley, Calif.: University of California Press, 1999, 264 Pp.(Indexed). ISBN 0-520-20914-1, $16.95 (Pb). [REVIEW] Journal of Value Inquiry 35:137-140.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5. N. Dumay, S. Faja, J. Feldman, R. Filik, M. G. Gaskell, S. A. Gelman, T. P. German, G. D. Heyman, R. M. Joseph & B. Keysar (2003). Myowa-Yamakoshi, M., B53 Paterson, KB, 263 Phillips, AT, 43 Plesa-Skwerer, D., 11 Poeppel, D., B27. Cognition 89:295.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  6. M. F. Rose & M. C. Inman (1969). Shock Response of Nickel in the Pressure Range 820–1500 Kb. Philosophical Magazine 19 (161):925-930.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. M. Wilden (1987). Die Vernunftbegründende Funktion des Wortes Gottes in der Theologie von Thaddäus Soiron Und Karl Barth (La Parole de Dieu, Fondement de la Raison Dans la Théologie de TS Et de KB). Wissenschaft Und Weisheit 50 (1):28-54.
    Translate
     
     
    Export citation  
     
    My bibliography  
  8.  6
    Khosrow Bagheri Noaparast (2014). Richard Rorty's Conception of Philosophy of Education Revisited. Educational Theory 64 (1):75-98.
    In this essay Khosrow Bagheri Noaparast argues that, by focusing on acculturation and edification, Richard Rorty has provided a promising view for education because without acculturation, education turns into a destructive endeavor, and without edification, education risks the danger of being repetitive and reproductive. However, Rorty's view is problematic in terms of the characteristics he holds for acculturation and edification, as well as the incommensurable relation he maintains exists between the two. Noaparast asserts that there are three unnecessary (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9. Balaganapathi Devarakonda (2012). Role of Learner in Globalised Education. In Sebastian Velassery (ed.), Globalisation and Cultural Identities: Philosophical Challenges and Opportunities. Overseas Press, New Delhi
    The implications of Globalization on education are multifaceted. However, roots of all these implications can be traced to the predominance of economic activity at the global level. The education and learning paradigm, around the world is under increasing pressure to meet the demands of the new knowledge and information-intensive global economy in a better way. This kind of pressure is challenging the traditional relationships between teachers and students and causing paradigm shifts in the process of learning. Especially, as noted by (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  10.  16
    Daniel Gibson, Benders G., A. Gwynedd, Cynthia Andrews-Pfannkoch, Evgeniya Denisova, Baden-Tillson A., Zaveri Holly, Stockwell Jayshree, B. Timothy, Anushka Brownley, David Thomas, Algire W., A. Mikkel, Chuck Merryman, Lei Young, Vladimir Noskov, Glass N., I. John, J. Craig Venter, Clyde Hutchison, Smith A. & O. Hamilton (2008). Complete Chemical Synthesis, Assembly, and Cloning of a Mycoplasma Genitalium Genome. Science 319 (5867):1215--1220.
    We have synthesized a 582,970-base pair Mycoplasma genitalium genome. This synthetic genome, named M. genitalium JCVI-1.0, contains all the genes of wild-type M. genitalium G37 except MG408, which was disrupted by an antibiotic marker to block pathogenicity and to allow for selection. To identify the genome as synthetic, we inserted "watermarks" at intergenic sites known to tolerate transposon insertions. Overlapping "cassettes" of 5 to 7 kilobases (kb), assembled from chemically synthesized oligonucleotides, were joined by in vitro recombination to produce intermediate (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   19 citations  
  11. Matthew McGrath (2007). On Pragmatic Encroachment in Epistemology. Philosophy and Phenomenological Research 75 (3):558-589.
    We argue, contrary to epistemological orthodoxy, that knowledge is not purely epistemic -- that knowledge is not simply a matter of truth-related factors (evidence, reliability, etc.). We do this by arguing for a pragmatic condition on knowledge, KA: if a subject knows that p, then she is rational to act as if p. KA, together with fallibilism, entails that knowledge is not purely epistemic. We support KA by appealing tothe role of knowledge-citations in defending and criticizing actions, and by giving (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  12.  3
    Khosrow Bagheri Noaparast (forthcoming). Iran’s Implicit Philosophy of Education. Educational Philosophy and Theory:1-10.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Michael Blome-Tillmann (2006). A Closer Look at Closure Scepticism. Proceedings of the Aristotelian Society 106 (3):381–390.
    The most prominent arguments for scepticism in modern epistemology employ closure principles of some kind. To begin my discussion of such arguments, consider Simple Knowledge Closure (SKC): (SKC) (Kxt[p] ∧ (p → q)) → Kxt[q].1 Assuming its truth for the time being, the sceptic can use (SKC) to reason from the two assumptions that, firstly, we don’t know ¬sh and that, secondly, op entails ¬sh to the conclusion that we don’t know op, where ‘op’ and ‘sh’ are shorthand for ‘ordinary (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  14
    Jaime Gaspar (2009). Factorization of the Shoenfield-Like Bounded Functional Interpretation. Notre Dame Journal of Formal Logic 50 (1):53-60.
    We adapt Streicher and Kohlenbach's proof of the factorization S = KD of the Shoenfield translation S in terms of Krivine's negative translation K and the Gödel functional interpretation D, obtaining a proof of the factorization U = KB of Ferreira's Shoenfield-like bounded functional interpretation U in terms of K and Ferreira and Oliva's bounded functional interpretation B.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  15
    Dorota Leszczyńska-Jasion (2008). The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4f, S4r, S4m and G. Studia Logica 89 (3):365 - 399.
    The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  16.  13
    Timothy Williamson (1991). An Alternative Rule of Disjunction in Modal Logic. Notre Dame Journal of Formal Logic 33 (1):89-100.
    Lemmon and Scott introduced the notion of a modal system's providing the rule of disjunction. No consistent normal extension of KB provides this rule. An alternative rule is defined, which KDB, KTB, and other systems are shown to provide, while K and other systems provide the Lemmon-Scott rule but not the alternative rule. If S provides the alternative rule then either —A is a theorem of S or A is whenever A -> ΠA is a theorem; the converse fails. It (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  17.  18
    Dov M. Gabbay & Nicola Olivetti (1998). Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61 (2):237-280.
    In this work we develop goal-directed deduction methods for the implicational fragment of several modal logics. We give sound and complete procedures for strict implication of K, T, K4, S4, K5, K45, KB, KTB, S5, G and for some intuitionistic variants. In order to achieve a uniform and concise presentation, we first develop our methods in the framework of Labelled Deductive Systems [Gabbay 96]. The proof systems we present are strongly analytical and satisfy a basic property of cut admissibility. We (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  65
    KB Korb & JJ Oliver (1999). Comment on Nick Bostrom's 'the Doomsday Argument is Alive and Kicking'. Mind 108 (431):551-553.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  19.  10
    Jérôme Lang & Pierre Marquis (2001). Removing Inconsistencies in Assumption-Based Theories Through Knowledge-Gathering Actions. Studia Logica 67 (2):179-214.
    In this paper, the problem of purifying an assumption-based theory KB, i.e., identifying the right extension of KB using knowledge-gathering actions (tests), is addressed. Assumptions are just normal defaults without prerequisite. Each assumption represents all the information conveyed by an agent, and every agent is associated with a (possibly empty) set of tests. Through the execution of tests, the epistemic status of assumptions can change from "plausible" to "certainly true", "certainly false" or "irrelevant", and the KB must be revised so (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  20.  2
    Stephen Bloch (1997). On Parallel Hierarchies and Rki. Annals of Pure and Applied Logic 89 (2-3):231-273.
    This paper defines natural hierarchies of function and relation classes □i,kc and Δi,kc, constructed from parallel complexity classes in a manner analogous to the polynomial-time hierarchy. It is easily shown that □i−1,kp □c,kc □i,kp and similarly for the Δ classes. The class □i,3c coincides with the single-valued functions in Buss et al.'s class , and analogously for other growth rates. Furthermore, the class □i,kc comprises exactly the functions Σi,kb-definable in Ski−1, and if Tki−1 is Σi,kb-conservative over Ski−1, then □i,kp is (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  16
    Khosrow Bagheri Noaparast (2013). Celebrating Moderate Dualism in the Philosophy of Education: A Reflection on the Hirst‐Carr Debate. Journal of Philosophy of Education 47 (4):564-576.
    The position of the philosophy of education in theoretical or practical philosophy was the main subject of debate between Paul Hirst and Wilfred Carr. In his support for practical philosophy, Carr argues that in order to bridge the theory/practice gap and deconstruct the illusory intactness of philosophy of education from developments in the practical realm, philosophy of education should be assumed as a branch of practical philosophy. Opposed to this argument, Hirst holds that philosophy of education is a second-order activity (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    H. Rackham (1929). The Text of the Nicomachean Ethics. Classical Quarterly 23 (1):37-38.
    The following emendations, if sound, illustrate the relation between the two chief MSS. Kb shows a gloss that has ousted the true reading, while Lb has a conflation of the two: 1097b 14: τ δ αὒταρκες τίθεμεν μονούμενον ρκιον κα αρετν ποιε τν βον κα μηδενς νδε Lb: αρετν κα ρκιον Mb : Kb has αρετν alone. I suspect the true reading to be ρκιον alone. On this αρετν was a mistaken gloss: it is out of place here, as it (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  23.  3
    David Kb Zeeman (2008). Ethereal Semiotics II. American Journal of Semiotics 12 (1/4):343 - 362.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  24.  1
    Matthew Mcgrath Jeremy Fantl (2007). On Pragmatic Encroachment in Epistemology. Philosophy and Phenomenological Research 75 (3):558-589.
    We argue, contrary to epistemological orthodoxy, that knowledge is not purely epistemic—that knowledge is not simply a matter of truth‐related factors . We do this by arguing for a pragmatic condition on knowledge, KA: if a subject knows that p, then she is rational to act as if p. KA, together with fallibilism, entails that knowledge is not purely epistemic. We support KA by appealing to the role of knowledge‐citations in defending and criticizing actions, and by giving a principled argument (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  1
    Martín Moguillansky, Renata Wassermann & Marcelo Falappa (2012). Inconsistent-Tolerant Base Revision Through Argument Theory Change. Logic Journal of the IGPL 20 (1):154-186.
    Reasoning and change over inconsistent knowledge bases is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  26. Ingram Bywater (ed.) (2010). Aristotelis Ethica Nicomachea. Cambridge University Press.
    Ingram Bywater first published his edition of Aristotle's Nicomachean Ethics in 1890. His reconstruction of the Greek text is based on a careful weighing of the Greek manuscript evidence, Latin translations, the witness of early commentators and his own thorough knowledge of Aristotle's language and style. Bywater's choice of readings introduced many important alterations to the text given in previous editions; his preference for manuscripts Kb and Lb and for the commentary of Aspasius, represented by Heylbut's edition, explains many of (...)
    No categories
     
    Export citation  
     
    My bibliography  
  27. Paul Kb Dagg, Julian C. Hughes & Sameer P. Sarkar (2009). Case Study-" Hey Bill, Smoking is Bad for You...". Journal of Ethics in Mental Health 2 (2):11.
     
    Export citation  
     
    My bibliography  
  28. Kb Hansen (1994). Some Derivations of Bell's Inequality. Danish Yearbook of Philosophy 29:63-105.
     
    Export citation  
     
    My bibliography  
  29. Kb Korb (1991). Explaining Science-Discussion. British Journal for the Philosophy of Science 42 (2):239-253.
     
    Export citation  
     
    My bibliography  
  30. Kb Melvin, Dj Mcdowell & Mh Haigler (1989). Quantitative Content Validity of a Work-Sample Word-Processing Operator Test. Bulletin of the Psychonomic Society 27 (6):491-491.
    No categories
     
    Export citation  
     
    My bibliography  
  31. Kb Swartz, S. Chen & Hs Terrace (1991). Knowledge of Ordinal Position by List-Sophisticated Rhesus-Monkeys. Bulletin of the Psychonomic Society 29 (6):498-498.
    No categories
     
    Export citation  
     
    My bibliography