Search results for 'Arnoud S. Q. Visser' (try it on Scholar)

1000+ found
Order:
  1.  4
    Arnoud S. Q. Visser (2011). Reading Augustine in the Reformation: The Flexibility of Intellectual Authority in Europe, 1500-1620. OUP Usa.
    Augustine of Hippo was regarded by sixteenth century Europe as one of the most contested religious and philosophical authorities. Through deep examination of the production, circulation and consumption of Augustine's works, Arnoud Visser reveals the wildly contrasting ways in which he was read and appropriated by publishers, humanist scholars, and individual readers.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  6
    Albert Visser (2009). The Predicative Frege Hierarchy. Annals of Pure and Applied Logic 160 (2):129-153.
    In this paper, we characterize the strength of the predicative Frege hierarchy, , introduced by John Burgess in his book [J. Burgess, Fixing frege, in: Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005]. We show that and are mutually interpretable. It follows that is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [M. Ganea, Burgess’ PV is Robinson’s Q, The Journal of Symbolic Logic 72 619–624] using a different proof. Another consequence of the our (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  3.  26
    Pepijn R. S. Visser & Trevor J. M. Bench-Capon (1998). A Comparison of Four Ontologies for the Design of Legal Knowledge Systems. Artificial Intelligence and Law 6 (1):27-57.
    There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred to as ontologies): McCarty's language for legal discourse, Stamper's norma formalism, Valente's functional ontology of law, and the ontology of Van Kralingen and Visser. We present criteria for a comparison of the ontologies and discuss the strengths and weaknesses of the ontologies in relation to these criteria. Moreover, we critically review the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  4.  39
    Albert Visser (2009). Cardinal Arithmetic in the Style of Baron Von Münchhausen. Review of Symbolic Logic 2 (3):570-589.
    In this paper we show how to interpret Robinson’s arithmetic Q and the theory R of Tarski, Mostowski, and Robinson as theories of cardinals in very weak theories of relations over a domain.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  12
    Clemens Grabmayer, Joop Leo, Vincent van Oostrom & Albert Visser (2011). On the Termination of Russell's Description Elimination Algorithm. Review of Symbolic Logic 4 (3):367-393.
    In this paper we study the termination behavior of Russell’s description elimination rewrite system. We discuss certain claims made by Kripke (2005) in his paper concerning the possible nontermination of elimination of descriptions.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  5
    Albert Visser (2012). Vaught's Theorem on Axiomatizability by a Scheme. Bulletin of Symbolic Logic 18 (3):382-402.
    In his 1967 paper Vaught used an ingenious argument to show that every recursively enumerable first order theory that directly interprets the weak system VS of set theory is axiomatizable by a scheme. In this paper we establish a strengthening of Vaught's theorem by weakening the hypothesis of direct interpretability of VS to direct interpretability of the finitely axiomatized fragment VS2 of VS. This improvement significantly increases the scope of the original result, since VS is essentially undecidable, but VS2 has (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  3
    Albert Visser & Maartje de Jonge (2006). No Escape From Vardanyan's Theorem. Archive for Mathematical Logic 45 (5):539-554.
    Vardanyan's theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete Π0 2. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum's Theorem.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  27
    Thomas Williams & Sandra Visser (2001). Anselm's Account of Freedom. Canadian Journal of Philosophy 31 (2):221-244.
    In this paper we offer a reconstruction of Anselm’s account of freedom that resolves various apparent inconsistencies. The linchpin of this account is the definition of freedom. Anselm argues that the power to preserve rectitude for its own sake requires the power to initiate an action of which the agent is the ultimate cause, but it does not always require that alternative possibilities be available to the agent. So while freedom is incompatible with coercion and external (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  3
    Frank Visser (2013). A Review of “Evolutionaries: Unlocking the Spiritual and Cultural Potential of Science's Greatest Idea”. [REVIEW] World Futures 69 (3):184-195.
    (2013). A Review of “Evolutionaries: Unlocking the Spiritual and Cultural Potential of Science's Greatest Idea”. World Futures: Vol. 69, No. 3, pp. 184-195.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  6
    Albert Visser (2006). Propositional Logics of Closed and Open Substitutions Over Heyting's Arithmetic. Notre Dame Journal of Formal Logic 47 (3):299-309.
    In this note we compare propositional logics for closed substitutions and propositional logics for open substitutions in constructive arithmetical theories. We provide a strong example where these logics diverge in an essential way. We prove that for Markov's Arithmetic, that is, Heyting's Arithmetic plus Markov's principle plus Extended Church's Thesis, the logic of closed and the logic of open substitutions are the same.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    Albert Visser (2011). Hume's Principle, Beginnings. Review of Symbolic Logic 4 (1):114-129.
    In this note we derive Robinsons Principle in the context of very weak theories of classes and relations.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  34
    Henk Visser (1982). Wittgenstein's Debt to Mach's Popular Scientific Lectures. Mind 91 (361):102-105.
  13.  1
    Albert Visser (1982). On the Completenes Principle: A Study of Provability in Heyting's Arithmetic and Extensions. Annals of Mathematical Logic 22 (3):263-295.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  9
    Albert Visser (1989). Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency. Notre Dame Journal of Formal Logic 30 (2):161-196.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  1
    Sandra L. Visser (2010). Ian Logan, Reading Anselm's “Proslogion”: The History of Anselm's Argument and Its Significance Today.(Ashgate New Critical Thinking in Religion, Theology and Biblical Studies.) Farnham, Eng., and Burlington, Vt.: Ashgate, 2009. Pp. Ix, 220. $99.95. [REVIEW] Speculum 85 (3):705-706.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16. Sandra L. Visser (2015). Anselm’s Other Argument by A. D. Smith. Journal of the History of Philosophy 53 (4):781-782.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Frank Visser (2013). A Review of “Evolutionaries: Unlocking the Spiritual and Cultural Potential of Science's Greatest Idea” Phipps, Carter. New York: Harper Perennial, 2012 (Xvi & 400 Pp, $15.99 USD, Softcover, ISBN: 978-0061916137). [REVIEW] World Futures 69 (3):184-195.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Jennifer Clapp, S. Ryan Isakson & Oane Visser (forthcoming). The Complex Dynamics of Agriculture as a Financial Asset: Introduction to Symposium. Agriculture and Human Values.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. John T. Cacioppo, Penny S. Visser & Cynthia L. Pickett (eds.) (2006). Social Neuroscience: People Thinking About Thinking People. MIT Press.
  20.  36
    Emmanuel Haven (2011). Itô's Lemma with Quantum Calculus (Q-Calculus): Some Implications. [REVIEW] Foundations of Physics 41 (3):529-537.
    q-derivatives are part of so called quantum calculus. In this paper we investigate how such derivatives can possibly be used in Itô’s lemma. This leads us to consider how such derivatives can be used in a social science setting. We conclude that in a Itô Lemma setting we cannot use a macroscopic version of the Heisenberg uncertainty principle with q-derivatives.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21. Mao-Chang Wang (2015). Value Relevance of Tobin’s Q and Corporate Governance for the Taiwanese Tourism Industry. Journal of Business Ethics 130 (1):223-230.
    For knowledge- and invention-based industries, scholars have introduced the firm value, which is composed of traditional financial capital and intangible intellectual capital, and Tobin’s Q, which is the commonly used approach for intellectual capital valuation. Scholars have thus evaluated firm valuation appropriately by considering corporate governance. This study applies the multi-regression model to present a discussion on the value relevance of intellectual capital and corporate governance concerning the tourism industry in Taiwan. The results show that intellectual capital is positively related (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  23
    Mihai Ganea (2007). Burgess' PV Is Robinson's Q. Journal of Symbolic Logic 72 (2):619 - 624.
    In [2] John Burgess describes predicative versions of Frege's logic and poses the problem of finding their exact arithmetical strength. I prove here that PV, the simplest such theory, is equivalent to Robinson's arithmetical theory Q.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  23.  2
    Fernando Ferreira & Gilda Ferreira (forthcoming). Interpretability in Robinson's Q. Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson's theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  24. Klaus Pinn (1999). Order and Chaos in Hofstadter's Q(N) Sequence. Complexity 4 (3):41-46.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  25.  11
    Rosalie Iemhoff (2005). Intermediate Logics and Visser's Rules. Notre Dame Journal of Formal Logic 46 (1):65-81.
    Visser's rules form a basis for the admissible rules of . Here we show that this result can be generalized to arbitrary intermediate logics: Visser's rules form a basis for the admissible rules of any intermediate logic for which they are admissible. This implies that if Visser's rules are derivable for then has no nonderivable admissible rules. We also provide a necessary and sufficient condition for the admissibility of Visser's rules. We apply these results to some (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  26.  10
    Anthony Duncan & Michel Janssen, Mind Your P's and Q's: Von Neumann Versus Jordan on the Foundations of Quantum Theory.
    In early 1927, Pascual Jordan published his version of what came to be known as the Dirac-Jordan statistical transformation theory. Later that year and partly in response to Jordan, John von Neumann published the modern Hilbert space formalism of quantum mechanics. Central to both formalisms are expressions for conditional probabilities of finding some value for one quantity given the value of another. Beyond that Jordan and von Neumann had very different views about the appropriate formulation of problems in the new (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27.  4
    Dan E. Willard (2002). How to Extend the Semantic Tableaux and Cut-Free Versions of the Second Incompleteness Theorem Almost to Robinson's Arithmetic Q. Journal of Symbolic Logic 67 (1):465-496.
    Let us recall that Raphael Robinson's Arithmetic Q is an axiom system that differs from Peano Arithmetic essentially by containing no Induction axioms [13], [18]. We will generalize the semantic-tableaux version of the Second Incompleteness Theorem almost to the level of System Q. We will prove that there exists a single rather long Π 1 sentence, valid in the standard model of the Natural Numbers and denoted as V, such that if α is any finite consistent extension of Q + (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28.  25
    Susan Brower-Toland (2002). Instantaneous Change and the Physics of Sanctification: "Quasi-Aristotelianism" in Henry of Ghent's Quodlibet XV Q. 13. Journal of the History of Philosophy 40 (1):19-46.
    In Quodlibet XV q.13, Henry of Ghent considers whether the Virgin Mary was immaculately conceived. He argues that she was not, but rather possessed sin only at the first instant of her existence. Because Henry’s defense of this position involves an elaborate discussion of motion and mutation, his discussion marks an important contribution to medieval discussions of Aristotelian natural philosophy. In fact, a number of scholars have identified Henry’s discussion as the source of an unusual fourteenth-century theory of change referred (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  6
    Kentaro Kikuchi & Ryo Kashima (2001). Sequent Calculi for Visser's Propositional Logics. Notre Dame Journal of Formal Logic 42 (1):1-22.
    This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  30.  4
    Wendy Petersen Boring (2010). ""Revising Our Approach to" Augustinian Illumination": A Reconsideration of Bonaventure's Quaestiones Disputatae de Scientia Christi IV, Aquinas's Summa Theologiae Ia. 84, 1-8, and Henry of Ghent's, Summa Quaestionum Ordinarum, Q. 2, Art. 1, 2. [REVIEW] Franciscan Studies 68 (1):39-81.
    In lieu of an abstract, here is a brief excerpt of the content:A great deal of ink has been spilled on the topic of "Augustinian illumination" over the past two hundred years. Why add more? Although there have been, and continue to be, disagreements over the philosophical relevance of "Augustinian illumination," a standard picture of "Augustinian illumination" is widespread in journal articles, encyclopedias, and commentaries on medieval philosophy. "Augustinian illumination" is widely understood as that Platonic account of knowledge that holds (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  3
    K. Ishii (2003). New Sequent Calculi for Visser's Formal Propositional Logic. Mathematical Logic Quarterly 49 (5):525.
    Two cut-free sequent calculi which are conservative extensions of Visser's Formal Propositional Logic are introduced. These satisfy a kind of subformula property and by this property the interpolation theorem for FPL are proved. These are analogies to Aghaei-Ardeshir's calculi for Visser's Basic Propositional Logic.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  32. Josh Weisberg (2011). The Zombie's Cogito: Meditations on Type-Q Materialism. Philosophical Psychology 24 (5):585 - 605.
    Most materialist responses to the zombie argument against materialism take either a ?type-A? or ?type-B? approach: they either deny the conceivability of zombies or accept their conceivability while denying their possibility. However, a ?type-Q? materialist approach, inspired by Quinean suspicions about a priority and modal entailment, rejects the sharp line between empirical and conceptual truths needed for the traditional responses. In this paper, I develop a type-Q response to the zombie argument, one stressing the theory-laden nature of our conceivability and (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  33.  4
    A. S. Wilkins (1899). Keller and Holder's Horace Q. Horati Flacci Opera, Recensuerunt O. Keller Et A. Holdeb. Vol. I. Carminum Libri IIII Epodon Liber Carmen Saeculare. Iterum Recensuit Otto Keller. Lipsiae in Aedibus B. G. Teubneri. 1899. Pp. Cviii., 454. 12 Marks. [REVIEW] The Classical Review 13 (07):356-359.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  3
    William Calvin, Q: What is Today's Most Important Unreported Story?
    A: That's easy: abrupt climate change, the sort of thing where most of the earth returns to ice-age temperatures in just a decade or two, accompanied by a major worldwide drought. Then, centuries later, it flips back just as quickly. This has happened hundreds of times in the past.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  2
    S. L. Greenslade (1962). N. Q. King: 'There's Such Divinity Doth Hedge a King.' Pp. 34; 7 Plates. Edinburgh: Nelson (for the University College of Ghana), 1960. Paper. [REVIEW] The Classical Review 12 (01):98-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  45
    Alexander George (2011). Q Quine's Legacy. American Philosophical Quarterly 48 (3).
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  33
    J. M. M. H. Thijssen (2009). The Debate Over the Nature of Motion: John Buridan, Nicole Oresme and Albert of Saxony. With an Edition of John Buridan's Quaestiones Super Libros Physicorum, Secundum Ultimam Lecturam, Book III, Q. 17. Early Science and Medicine 14 (1):186-210.
  38.  14
    A. Bezboruah & J. C. Shepherdson (1976). Godel's Second Incompleteness Theorem for Q. Journal of Symbolic Logic 41 (2):503-512.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  39.  9
    George Graham & G. Lynn Stephens (1987). Minding Your P's and Q's: Pain and Sensible Qualities. Noûs 21 (September):395-405.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  40.  3
    Paul Thom (2014). Avicenna’s Deliverance Logic Translation and Notes by Asad Q. Ahmed. [REVIEW] Journal of Islamic Studies 25 (1):55-56.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  13
    G. Lynn Stephens & George Graham (1987). Minding Your P's and Q's: Pain and Sensible Qualities. Noûs 21 (3):395-405.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  42.  7
    Mark F. Johnson (1989). St. Thomas's De Trinitate, Q. 5, A. 2 Ad. New Scholasticism 63 (1):58-65.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  13
    Adolf Grünbaum (1973). Reply to J. Q. Adams' “Grünbaum's Solution to Zeno's Paradoxes”. Philosophia 3 (1):51-57.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  7
    R. A. Bull (1964). An Axiomatization of Prior's Modal Calculus $Q$. Notre Dame Journal of Formal Logic 5 (3):211-214.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  5
    G. W. H. Lampe (1950). Tertullian's De Anima J. H. Waszink: Q. Septimi Florentis Tertulliani De Anima. Edited with Introduction and Commentary. Pp. 650+Lix. Amsterdam: Meulenhoff, 1947. Cloth, Fl. 40. [REVIEW] The Classical Review 64 (3-4):123-124.
  46.  3
    T. K. Abbott (1888). Old-Latin Biblical Texts Old-Latin Biblical Texts, No. III. The Four Gospels From the Munich MS. (Q) with a Fragment From St. John in the Hof-Bibliothek at Vienna. Edited, with the Aid of Tischendorf's Transcript (Under the Direction of the Bishop of Salisbury), by Henry J. White, M.A., of the Society of St. Andrew, Salisbury. With a Facsimile. Oxford: At the Clarendon Press. 4to. Pp. Lvi. 166. 12s. 6d. [REVIEW] The Classical Review 2 (10):312-314.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  10
    Kevin White (1995). Individuation in Aquinas's Super Boetium De Trinitate, Q.4. American Catholic Philosophical Quarterly 69 (4):543-556.
  48.  4
    Winfried Löffler (2000). Aquinas on the Demonstrability of God's Existence: Some Lessons From Summa Theologica I, Q.2, A.2. Disputatio Philosophica 2 (1):125-137.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  4
    Aloïs Gerlo (1939). Tekstkritische nota's bij « de Pallio » van Q. S. FL. Tertullianus. Revue Belge de Philologie Et D’Histoire 18 (2):393-408.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  12
    B. G. Sundholm, "Mind Your P'ds and Q's". On the Proper Interpretation of Modal Logic.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000