Results for 'Scarpellini, B.'

998 found
Order:
  1.  13
    A Formalisation of the ℵ 0 -Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors.B. Scarpellini & Alan Rose - 1970 - Journal of Symbolic Logic 35 (1):143.
  2.  10
    A New Realizability Notion for Intuitionistic Analysis.B. Scarpellini - 1977 - Mathematical Logic Quarterly 23 (7‐12):137-167.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  25
    A New Realizability Notion for Intuitionistic Analysis.B. Scarpellini - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):137-167.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  7
    Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 289–292. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
  5.  7
    Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 293–294. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):143-143.
  6.  13
    Rose Alan. Formalisation du calcul propositionnel implicatif à ℵ0 valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 243 , pp. 1183–1185. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
  7.  1
    Review: Alan Rose, Formalisation du Calcul Propositionnel implicatif a $aleph_0$-Valued Lukasiewicz Propositional Calculus with Varible Functors. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
  8.  5
    Scarpellini B.. A characterization of Δ2-sets. Transactions of the American Mathematical Society, vol. 117 , pp. 441–450. [REVIEW]Azriel Lévy - 1972 - Journal of Symbolic Logic 37 (1):193-193.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  13
    Review: B. Scarpellini, A Characterization of $Delta_2$-Sets. [REVIEW]Azriel Levy - 1972 - Journal of Symbolic Logic 37 (1):193-193.
  10.  7
    Proof theory and intuitionistic systems.Bruno Scarpellini - 1971 - New York,: Springer Verlag.
  11.  6
    Die Nichtaxiomatisierbarkeit des Unendlichwertigen Prädikatenkalküls von Łukasiewicz.Bruno Scarpellini - 1964 - Journal of Symbolic Logic 29 (3):145-145.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  50
    Die nichtaxiomatisierbarkeit Des unendlichwertigen prädikatenkalküls Von łukasiewicz.Bruno Scarpellini - 1962 - Journal of Symbolic Logic 27 (2):159-170.
  13.  5
    Introduction to Lattices and Order.B. A. Davey & H. A. Priestley - 2002 - Cambridge University Press.
    This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   102 citations  
  14.  7
    Bruno Scarpellini. On a family of models of Zermelo-Fraenkel set theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 191–204. [REVIEW]Bruno Scarpellini - 1970 - Journal of Symbolic Logic 34 (4):654-654.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  81
    Two undecidable problems of analysis.Bruno Scarpellini - 2003 - Minds and Machines 13 (1):49-77.
  16.  54
    Recursive analysis of singular ordinary differential equations.Peter Buser & Bruno Scarpellini - 2010 - Annals of Pure and Applied Logic 162 (1):20-35.
    We investigate systems of ordinary differential equations with a parameter. We show that under suitable assumptions on the systems the solutions are computable in the sense of recursive analysis. As an application we give a complete characterization of the recursively enumerable sets using Fourier coefficients of recursive analytic functions that are generated by differential equations and elementary operations.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17.  12
    Undecidability through Fourier series.Peter Buser & Bruno Scarpellini - 2016 - Annals of Pure and Applied Logic 167 (7):507-524.
  18.  45
    Comments on `two undecidable problems of analysis'.Bruno Scarpellini - 2003 - Minds and Machines 13 (1):79-85.
    We first discuss some technical questions which arise in connection with the construction of undecidable propositions in analysis, in particular in connection with the notion of the normal form of a function representing a predicate. Then it is stressed that while a function f(x) may be computable in the sense of recursive function theory, it may nevertheless have undecidable properties in the realm of Fourier analysis. This has an implication for a conjecture of Penrose's which states that classical physics is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  43
    Hegel's Practical Philosophy: The Realization of Freedom'.Robert B. Pippin - 2000 - In Karl Ameriks (ed.), The Cambridge companion to German idealism. New York: Cambridge University Press. pp. 180--199.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  20. Deciding to believe.B. Williams - 1973 - In Bernard Williams (ed.), Problems of the Self: Philosophical Papers 1956-1972. Cambridge University Press. pp. 136–51.
    No categories
     
    Export citation  
     
    Bookmark   158 citations  
  21.  7
    A Formally Constructive Model for Barrecursion of Higher Types.Bruno Scarpellini - 1972 - Mathematical Logic Quarterly 18 (21‐24):321-383.
  22.  29
    A Formally Constructive Model for Barrecursion of Higher Types.Bruno Scarpellini - 1972 - Mathematical Logic Quarterly 18 (21-24):321-383.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  21
    A Weak Completeness Theorem for Infinite Valued First-Order Logic.Bruno Scarpellini, L. P. Belluce & C. C. Chang - 1971 - Journal of Symbolic Logic 36 (2):332.
  24.  6
    Complete second order spectra.Bruno Scarpellini - 1984 - Mathematical Logic Quarterly 30 (32‐34):509-524.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  22
    Complete Second Order Spectra.Bruno Scarpellini - 1984 - Mathematical Logic Quarterly 30 (32-34):509-524.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  6
    Lower bound results on lengths of second-order formulas.Bruno Scarpellini - 1985 - Annals of Pure and Applied Logic 29 (1):29-58.
  27.  25
    L. P. Belluce and C. C. Chang. A weak completeness theorem for infinite valued first-order logic. The journal of symbolic logic, vol. 28 no. 1 , pp. 43–50.Bruno Scarpellini - 1971 - Journal of Symbolic Logic 36 (2):332.
  28.  76
    Discussion. Water=H2O.B. Abbott - 1999 - Mind 108 (429):145-148.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29. Nietzsche on the beginnings of western philosophy.Gareth B. Matthews - 2004 - In Jorge J. E. Gracia & Jiyuan Yu (eds.), Uses and abuses of the classics: Western interpretations of Greek philosophy. Burlington, VT: Ashgate.
  30.  13
    Истинна ли современная экономическая теория в классическом смысле?B. А Колпаков - 2008 - Epistemology and Philosophy of Science 16 (2):91-92.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  12
    Обсуждаем статьи о методологии.С. B. Илларионов, Л. А Микешина & В. Г Федотова - 2009 - Epistemology and Philosophy of Science 19 (1):156-171.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  15
    Опыт построения методологического курса-навигатора для учебной темы «История и философия науки».B. М Розин - 2004 - Epistemology and Philosophy of Science 2 (2):96-118.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  10
    Обсуждаем статью «Рефлексия».B. П Филатов, Б. Г Мещеряков, C. Ю Степанов & В. А Бажанов - 2006 - Epistemology and Philosophy of Science 7 (1):170-175.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  15
    Birch-Reichenwald Aars, Zur psychologischen Analyse der Welt.B. -R. Aars - 1901 - Kant Studien 5 (1-3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  5
    Models and human reasoning: Bernd Mahr zum 60. Geburtstag.B. Mahr & Sebastian Bab (eds.) - 2005 - Berlin: Wissenschaft und Technik.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Inference versus Consequence.B. G. Sundholm - unknown
  37.  31
    Hidden Dimensions: The Unification of Physics and Consciousness.B. Alan Wallace - 2007 - Columbia University Press.
    Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...)
  38. und Hintikka, M.B. Vermazen - 1985 - In Bruce Vermazen & Merrill B. Hintikka (eds.), Essays on Davidson: actions and events. New York: Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  39. Internalism and Externalism.B. J. C. Madison - 2017 - In Sven Bernecker & Kourken Michaelian (eds.), The Routledge Handbook of Philosophy of Memory. Routledge. pp. 283-295.
    This chapter first surveys general issues in the epistemic internalism / externalism debate: what is the distinction, what motivates it, and what arguments can be given on both sides. -/- The second part of the chapter will examine the internalism / externalism debate as regards to the specific case of the epistemology of memory belief.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Revisiting the Six Stages of Skill Acquisition.B. Scot Rousse & Stuart E. Dreyfus - 2021 - In B. Scot Rousse & Stuart E. Dreyfus (eds.), Teaching and Learning for Adult Skill Acquisition: Applying the Dreyfus & Dreyfus Model in Different Fields. Charlotte, NC, USA: pp. 3-28.
    The acquisition of a new skill usually proceeds through five stages, from novice to expert, with a sixth stage of mastery available for highly motivated performers. In this chapter, we re-state the six stages of the Dreyfus Skill Model, paying new attention to the transitions and interrelations between them. While discussing the fifth stage, expertise, we unpack the claim that, “when things are proceeding normally, experts don’t solve problems and don’t make decisions; they do what normally works” (Dreyfus & Dreyfus, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  57
    The souls of Black folk.W. E. B. Du Bois - 2007 - Oxford University Press.
    'The problem of the twentieth-century is the problem of the color-line.' Originally published in 1903, The Souls of Black Folk is a classic study of race, culture, and education at the turn of the twentieth century. With its singular combination of essays, memoir, and fiction, this book vaulted W. E. B. Du Bois to the forefront of American political commentary and civil rights activism. The Souls of Black Folk is an impassioned, at times searing account of the situation of African (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   288 citations  
  42. In defense of extreme (fallibilistic) apriorism.B. Smith - 1996 - Journal of Libertarian Studies 12 (1):179–192.
    We presuppose a position of scientific realism to the effect (i) that the world exists and (ii) that through the working out of ever more sophisticated theories our scientific picture of reality will approximate ever more closely to the world as it really is. Against this background consider, now, the following question: 1. Do the empirical theories with the help of which we seek to approximate a good or true picture of reality rest on any non-empirical presuppositions? One can answer (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  43.  8
    The Mind Nature.C. B. Martin - 2007 - Oxford, GB: Oxford University Press UK.
    What are the most fundamental features of the world? Do minds stand outside the natural order? Is a unified picture of mental and physical reality possible? The Mind in Nature provides a staunchly realist account of the world as a unified system incorporating both the mental and the physical. C. B. Martin, an original and influential exponent of 'ontologically serious' metaphysics, echoes Locke's dictum that 'all things that exist are only particulars', and argues that properties are powerful qualities. He also (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  5
    Plato's Protagoras: a Socratic commentary.B. A. F. Hubbard - 1982 - Chicago: University of Chicago Press. Edited by E. S. Karnofsky & Plato.
  45.  9
    Burke, Reissue.C. B. Macpherson - 2013 - Oxford University Press Canada.
    In this concise yet powerful book, one of the twentieth century's most respected political philosophers presents a controversial reassessment of the political ideas and intellectual legacy of Edmund Burke. A practicing politician and powerful writer, full of ideas, Burke was intent on getting those ideas translated into government policies. But he was too much the impatient practitioner to set out his principles in a single book in the manner of Locke or Hume, leaving both admirers and opponents ample scope to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Cc Booth.B. Lewis, J. S. Stewart & D. L. Mollin - 1965 - In Karl W. Linsenmann (ed.), Proceedings. St. Louis, Lutheran Academy for Scholarship. pp. 184.
    No categories
     
    Export citation  
     
    Bookmark  
  47.  7
    Nauka i alternativnye formy znanii︠a︡: mezhvuzovskiĭ sbornik.B. V. Markov (ed.) - 1995 - Sankt-Peterburg: Izd-vo S.-Peterburgskogo universiteta.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Judaism and the Justification of Abortion for Nonmedical Reasons.B. Lubarsky Sandra - 1995 - In Elliot N. Dorff & Louis E. Newman (eds.), Contemporary Jewish ethics and morality: a reader. New York: Oxford University Press. pp. 392.
     
    Export citation  
     
    Bookmark  
  49. Marksistskai︠a︡ filosofii︠a︡ v mezhdunarodnom rabochem dvizhenii v kont︠s︡e XIX-nachale XX veka.B. V. Bogdanov & I. S. Narskiĭ (eds.) - 1984 - Moskva: Izd-vo "Nauka".
     
    Export citation  
     
    Bookmark  
  50.  3
    Evoluzione e modelli: il concetto di adattamento nelle teorie dei sistemi biologici, culturali e artificiali.B. Continenza (ed.) - 1984 - Roma: Editori riuniti.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 998