Most recently added entries found
Search inside:
(import / add options)   Sort by:
1 — 50 / 18195
  1. added 2015-04-18
    Larry Green & Kevin Gary (forthcoming). Pedagogy for a Liquid Time. Studies in Philosophy and Education:1-16.
    Sociologist Zygmunt Bauman characterizes our time as a time of “liquid modernity” . Rather than settled meanings, categories, and frames of reference Bauman contends that meaning is always in flux, open ended rather than closed. Given Bauman’s assessment, pedagogies that are directed towards finding, accepting, or imposing meaning come up short. They offer closed, ‘finished’ meanings instead of an examination of the ongoing, open ended, process of meaning making. What might a pedagogy for a liquid time look like? This is (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. added 2015-04-18
    Simon Hewitt (forthcoming). When Do Some Things Form a Set? Philosophia Mathematica:nkv010.
    This paper raises the question under what circumstances a plurality forms a set, parallel to the Special Composition Question for mereology. The range of answers that have been proposed in the literature are surveyed and criticised. I argue that there is good reason to reject both the view that pluralities never form sets and the view that pluralities always form sets. Instead, we need to affirm restricted set formation. Casting doubt on the availability of any informative principle which will settle (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. added 2015-04-18
    Andrea Sorbi & Sebastiaan A. Terwijn (2015). Generalizations of the Weak Law of the Excluded Middle. Notre Dame Journal of Formal Logic 56 (2):321-331.
    We study a class of formulas generalizing the weak law of the excluded middle and provide a characterization of these formulas in terms of Kripke frames and Brouwer algebras. We use these formulas to separate logics corresponding to factors of the Medvedev lattice.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  4. added 2015-04-18
    Tapani Hyttinen (2015). Forking in Finite Models. Notre Dame Journal of Formal Logic 56 (2):307-320.
    We study properties of forking in the classes of all finite models of a complete theory in a finite variable logic. We also study model constructions under the assumption that forking is trivial.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  5. added 2015-04-18
    Harold T. Hodes (2015). Why Ramify? Notre Dame Journal of Formal Logic 56 (2):379-415.
    This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  6. added 2015-04-18
    Takahiro Seki (2015). Halldén Completeness for Relevant Modal Logics. Notre Dame Journal of Formal Logic 56 (2):333-350.
    Halldén completeness closely resembles the relevance property. To prove Halldén completeness in terms of Kripke-style semantics, the van Benthem–Humberstone theorem is often used. In relevant modal logics, the Halldén completeness of Meyer–Fuhrmann logics has been obtained using the van Benthem–Humberstone theorem. However, there remain a number of Halldén-incomplete relevant modal logics. This paper discusses the Halldén completeness of a wider class of relevant modal logics, namely, those with some Sahlqvist axioms.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  7. added 2015-04-18
    David R. Belanger (2015). Weak Truth Table Degrees of Structures. Notre Dame Journal of Formal Logic 56 (2):263-285.
    We study the weak truth table degree spectra of first-order relational structures. We prove a dichotomy among the possible wtt degree spectra along the lines of Knight’s upward-closure theorem for Turing degree spectra. We prove new results contrasting the wtt degree spectra of finite- and infinite-signature structures. We show that, as a method of defining classes of reals, the wtt degree spectrum is, except for some trivial cases, strictly more expressive than the Turing degree spectrum.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  8. added 2015-04-18
    George Voutsadakis (2015). Categorical Abstract Algebraic Logic: Truth-Equational $Pi$-Institutions. Notre Dame Journal of Formal Logic 56 (2):351-378.
    Finitely algebraizable deductive systems were introduced by Blok and Pigozzi to capture the essential properties of those deductive systems that are very tightly connected to quasivarieties of universal algebras. They include the equivalential logics of Czelakowski. Based on Blok and Pigozzi’s work, Herrmann defined algebraizable deductive systems. These are the equivalential deductive systems that are also truth-equational, in the sense that the truth predicate of the class of their reduced matrix models is explicitly definable by some set of unary equations. (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  9. added 2015-04-18
    Hsing-Chien Tsai (2015). On the Decidability of Axiomatized Mereotopological Theories. Notre Dame Journal of Formal Logic 56 (2):287-306.
    The signature of the formal language of mereotopology contains two predicates $P$ and $C$, which stand for “being a part of” and “contact,” respectively. This paper will deal with the decidability issue of the mereotopological theories which can be formed by the axioms found in the literature. Three main results to be given are as follows: all axiomatized mereotopological theories are separable; all mereotopological theories up to $\mathbf{ACEMT}$, $\mathbf{SACEMT}$, or $\mathbf{SACEMT}^{\prime}$ are finitely inseparable; all axiomatized mereotopological theories except $\mathbf{SAX}$, $\mathbf{SAX}^{\prime}$, (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  10. added 2015-04-18
    Paolo Mancosu (2014). Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context. History and Philosophy of Logic 36 (1):62-89.
    I offer in this paper a contextual analysis of Frege's Grundlagen, section 64. It is surprising that with so much ink spilled on that section, the sources of Frege's discussion of definitions by abstraction have remained elusive. I hope to have filled this gap by providing textual evidence coming from, among other sources, Grassmann, Schlömilch, and the tradition of textbooks in geometry for secondary schools . In addition, I put Frege's considerations in the context of a widespread debate in Germany (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. added 2015-04-18
    A. J. Dale (1985). A completeness property of negationless intuitionist propositional logics. Logique Et Analyse 28 (9):79.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. added 2015-04-18
    A. J. Dale (1983). The non-independence of axioms in a propositional calculus formulated in terms of axiom schemata. Logique Et Analyse 26 (1):91.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. added 2015-04-18
    M. J. Cresswell (1983). The completeness of KW and K1.1. Logique Et Analyse 26 (2):123.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  14. added 2015-04-18
    M. J. Cresswell (1982). A canonical model for S2. Logique Et Analyse 25 (97):3.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. added 2015-04-18
    Haskell B. Curry (1960). The inferential approach to logical calculus, I. Logique Et Analyse 3 (11):119.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  16. added 2015-04-17
    Terence Rajivan Edward, A Solution to the Surprise Exam Paradox.
    The students’ argument against the possibility of a surprise exam assumes that the following would not occur: the teacher decides to give the exam on a certain day, the exam would not be a surprise on that day, but the teacher does not realize this. I give a reason to reject this assumption, and I argue that an attempt to reformulate the surprise exam paradox in order to allow for the assumption does not result in an acceptable argument.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  17. added 2015-04-17
    Umut Baysan (forthcoming). Realization Relations in Metaphysics. Minds and Machines.
    “Realization” is a technical term that is used by metaphysicians, philosophers of mind, and philosophers of science to denote some dependence relation that is thought to obtain between higher-level properties and lower-level properties. It is said that mental properties are realized by physical properties; functional and computational properties are realized by first-order properties that occupy certain causal/functional roles; dispositional properties are realized by categorical properties; so on and so forth. Given this wide usage of the term “realization”, it would be (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  18. added 2015-04-17
    Sebastian Rödl (forthcoming). Joint Action and Recursive Consciousness of Consciousness. Phenomenology and the Cognitive Sciences:1-11.
    In a series of essays, Bratman defines a concept, which we may call the concept of Bratmanian action by many. Our discussion of this concept, in section 1, reveals that it is not the one called to mind by the usual examples of joint action. Section 2 lays alongside it a different concept of doing something together. According to it, many are doing A together if and only if the principle of the actions in which they are doing A is (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. added 2015-04-17
    Colin Klein (forthcoming). Consciousness, Intention, and Command-Following in the Vegetative State. British Journal for the Philosophy of Science:axv012.
    Some vegetative state patients show fMRI responses similar to those of healthy controls when instructed to perform mental imagery tasks. Many authors have argued that this provides evidence that such patients are in fact conscious, as response to commands requires intentional agency. I argue for an alternative reading, on which responsive patients have a deficit similar to that seen in severe forms of akinetic mutism. Akinetic mutism is marked by the inability to form and maintain intentions to act. Responsive patients (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. added 2015-04-17
    Sebastian de Haro, Jans Henke & Darrell Tang (forthcoming). A. Cappelli, E. Castellani, F. Colomo and P. Di Vecchia : The Birth of String Theory. Foundations of Physics:1-4.
    The Birth of String Theory by Cappelli et al. tells the story of the beginnings of string theory and of the evolutionary process it has undergone from its origins in S-matrix theory to its current status as a candidate unification theory. The book is intended for an audience of students and researchers in physics, as well as historians and philosophers of science with some background in quantum field theory.In the 50s and early 60s, theoretical particle physics focused on formulating a (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. added 2015-04-17
    Max Jones (forthcoming). James Franklin. An Aristotelian Realist Philosophy of Mathematics. New York: Palgrave Macmillan, 2014. ISBN: 978-1-137-40072-7 ; 978-1-137-40073-4 ; 978-1-137-40074-1 . Pp. X + 308. [REVIEW] Philosophia Mathematica:nkv011.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. added 2015-04-17
    Vladimir N. Chernega, Olga V. Man’ko & Vladimir I. Man’ko (forthcoming). Deformed Entropy and Information Relations for Composite and Noncomposite Systems. Foundations of Physics:1-16.
    The notion of conditional entropy is extended to noncomposite systems. The \ -deformed entropic inequalities, which usually are associated with correlations of the subsystem degrees of freedom in bipartite systems, are found for the noncomposite systems. New entropic inequalities for quantum tomograms of qudit states including the single qudit states are obtained. The Araki–Lieb inequality is found for systems without subsystems.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. added 2015-04-17
    Danny Frederick (2015). Book Review: Robert Audi, 'Moral Perception'. [REVIEW] Reason Papers 37 (1):164-69.
    I summarise Robert Audi's 'Moral Perception.' I concede that there is such a thing as moral perception. However, moral perceptions are culturally-relative, which refutes Audi’s claims that moral perception may ground moral knowledge and that it provides inter-subjectively accessible grounds which make ethical objectivity possible. Audi's attempt to avoid the refutation tends to convert rational disputes into ad hominem ones. I illustrate that with the example of the ethics of prostitution.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. added 2015-04-17
    Fiona Macpherson (2015). The Structure of Experience, the Nature of the Visual, and Type 2 Blindsight‌. Consciousness and Cognition 32:104 - 128.
    Unlike those with type 1 blindsight, people who have type 2 blindsight have some sort of consciousness of the stimuli in their blind field. What is the nature of that consciousness? Is it visual experience? I address these questions by considering whether we can establish the existence of any structural—necessary—features of visual experience. I argue that it is very difficult to establish the existence of any such features. In particular, I investigate whether it is possible to visually, or more generally (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  25. added 2015-04-17
    Robert A. Wilson, Science, Role Of. Eugenics Archives.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  26. added 2015-04-17
    Robert A. Wilson, Eugenic Traits. Eugenics Archives.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  27. added 2015-04-17
    Robert A. Wilson, Sociobiology. Eugenics Archives.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  28. added 2015-04-17
    Robert A. Wilson, Eugenics: Positive Vs Negative. Eugenics Archives.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  29. added 2015-04-17
    Marc Champagne, Reply to My Commentator. Argument Cultures: Proceedings of the Ontario Society for the Study of Argumentation.
  30. added 2015-04-17
    M. W. Bunder (1980). Quantified relevance logic and generalised restricted generality. Logique Et Analyse 23 (90):319.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31. added 2015-04-17
    Michael Byrd (1979). On Lukasiewiczian logics with several designated values. Logique Et Analyse 22 (88):489.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  32. added 2015-04-17
    Robert Burch (1979). Propositions and the liar paradox. Logique Et Analyse 22 (85):55.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  33. added 2015-04-17
    A. R. Radcliffe-Brown (1940). On Social Structure. Journal of the Royal Anthropological Institute of Great Britain and Ireland 70 (1).
    Advocates anthropology as a science focused on social structure.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  34. added 2015-04-16
    John Danaher (forthcoming). The Epistemic Costs of Superintelligence: Bostrom's Treacherous Turn and Sceptical Theism. Minds and Machines.
    An advanced artificial intelligence (a “superintelligence”) could pose a significant existential risk to humanity. Several research institutes have been set-up to address those risks. And there is an increasing number of academic publications analysing and evaluating their seriousness. Nick Bostrom’s Superintelligence: Paths, Dangers, Strategies represents the apotheosis of this trend. In this article, I argue that in defending the credibility of AI risk, Bostrom makes an epistemic move that is analogous to one made by so-called sceptical theists in the debate (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  35. added 2015-04-16
    John E. Gray & Andrew Vogt (forthcoming). Mean and Variance in Quantum Theory. Foundations of Physics:1-6.
    Calculation of the mean of an observable in quantum mechanics is typically assumed to require that the state vector be in the domain of the corresponding self-adjoint operator or for a mixed state that the operator times the density matrix be in the trace class. We remind the reader that these assumptions are unnecessary. We state what is actually needed to calculate the mean of an observable as well as its variance.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. added 2015-04-16
    Antonella Carassa & Marco Colombetti (forthcoming). Interpersonal Communication as Social Action. Philosophy of the Social Sciences:0048393115580265.
    We compare a number of influential approaches to human communication with the aim of understanding what it means for interpersonal communication to be a form of social action. In particular, we discuss the large-scale social normativity advocated by speech act theory, the view of communication as small-scale social interaction proper of Gricean approaches, and the intimate connection between communication and cooperation defended by Tomasello. We then argue in favor of a small-scale view of communication capable of accounting for the normative (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. added 2015-04-16
    Conor Mayo-Wilson & Gregory Wheeler (forthcoming). Scoring Imprecise Credences: A Mildly Immodest Proposal. Philosophy and Phenomenological Research.
  38. added 2015-04-16
    Laura Felline (forthcoming). Mechanisms Meet Structural Explanation. Synthese.
    This paper investigates the relationship between Structural Explanation and the New Mechanistic account of explanation. The aim of this paper is twofold: firstly, to argue that some phenomena in the domain of fundamental physics, although mechanically brute, are structurally explained; and secondly, by elaborating on the contrast between SE and ME, to better clarify some features of SE. Finally, this paper will argue that, notwithstanding their apparently antithetical character, SE and ME can be reconciled within a unified account of general (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  39. added 2015-04-16
    Raphael Sassower (forthcoming). Book Review: Engaging Enemies: Hayek and the Left by Simon Griffiths. [REVIEW] Philosophy of the Social Sciences:0048393115579874.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. added 2015-04-16
    Sharon Crasnow (forthcoming). Natural Experiments and Pluralism in Political Science. Philosophy of the Social Sciences:0048393115580266.
    Natural experiments are an increasingly popular research design in political science. This popularity raises a number of questions. First, what are natural experiments and why are they appealing? Second, what makes a good natural experiment? And finally, are natural experiments able to provide resources for knowledge production that other methodologies cannot or do not provide? Using Mary Morgan’s and Thad Dunning’s recent work on natural experiments, I offer answers to the first two questions and use the analysis to argue that (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. added 2015-04-16
    Fernando Martinez-Manrique (2014). Systematicity and Conceptual Pluralism. In Paco Calvo John Symons (ed.), The Architecture of Cognition: Rethinking Fodor and Pylyshyn's Systematicity Challenge. MIT Press. 305-334.
    The systematicity argument only challenges connectionism if systematicity is a general property of cognition. I examine this thesis in terms of properties of concepts. First, I propose that Evans's Generality Constraint only applies to attributions of belief. Then I defend a variety of conceptual pluralism, arguing that concepts share two fundamental properties related to centrality and belief-attribution, and contending that there are two kinds of concepts that differ in their compositional properties. Finally, I rely on Dual Systems Theory and on (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  42. added 2015-04-16
    Mario Benevides & L. Schechter (2009). Using Modal Logics to Express and Check Global Graph Properties. Logic Journal of the Igpl 17 (5):559-587.
    Graphs are among the most frequently used structures in Computer Science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expressive power to describe these properties and how complex it is to use these logics to actually test whether a given (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  43. added 2015-04-16
    Diderik Batens & Kristof Clercq (2004). A Rich Paraconsistent Extension Of Full Positive Logic. Logique Et Analyse 47.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  44. added 2015-04-16
    Lutz Beinsen & Ulrike Leopold-Wildburger (1998). Towards Bounded Rationality Within Rational Expectations: Some Comments From an Economic Point of View. Vienna Circle Institute Yearbook 5:141-152.
    Rationality has been a principle widely assumed in economics from early on. In contrast, rationality in the formation of economic expectations is rather new. Since the term “rational expectations” has meanwhile become a kind of slogan for diverse issues in economics as in related fields, there is some danger of authors’ not always being aware of the true meaning of this technical term. Sometimes it is used, in a context where expectation formation about uncertain events is essential, as if rational (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  45. added 2015-04-16
    J. L. Bell (1982). OLDBLATT, R. I.: "Topoi: The Categorial Analysis of Logic". [REVIEW] British Journal for the Philosophy of Science 33:95.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  46. added 2015-04-16
    F. J. Belinfante (1979). Measurements and Time Reversal in Objective Quantum Theory. British Journal for the Philosophy of Science 30 (2):187-191.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  47. added 2015-04-16
    John Bell (1976). ECH, T. J.: "The Axiom of Choice". [REVIEW] British Journal for the Philosophy of Science 27:187.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  48. added 2015-04-16
    J. L. Bell (1975). FRAENKEL, A. A., BARHILLEL, Y. And LEVY, A. "Foundations of Set Theory". [REVIEW] British Journal for the Philosophy of Science 26:165.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  49. added 2015-04-16
    William M. Baumer (1964). Confirmation Without Paradoxes. British Journal for the Philosophy of Science 15:177.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  50. added 2015-04-16
    Peter Bell (1951). "The Natural Philosophy of Plant Form." By Agnes Arber. [REVIEW] British Journal for the Philosophy of Science 1 (4):336.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
1 — 50 / 18195