Results for 'Horacio SchÍndler'

524 found
Order:
  1.  11
    Review: Horacio Schindler, Filosofia y Logica Simbolica. [REVIEW]Robert Feys - 1955 - Journal of Symbolic Logic 20 (2):192-192.
  2.  6
    Theoretical Virtues in Science: Uncovering Reality Through Theory.Samuel Schindler - 2018 - Cambridge University Press.
    What are the features of a good scientific theory? Samuel Schindler's book revisits this classical question in the philosophy of science and develops new answers to it. Theoretical virtues matter not only for choosing theories 'to work with', but also for what we are justified in believing: only if the theories we possess are good ones can we be confident that our theories' claims about nature are actually correct. Recent debates have focussed rather narrowly on a theory's capacity to predict (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  70
    Novelty, Coherence, and Mendeleev’s Periodic Table.Samuel Schindler - 2014 - Studies in History and Philosophy of Science Part A 45:62-69.
    Predictivism is the view that successful predictions of “novel” evidence carry more confirmational weight than accommodations of already known evidence. Novelty, in this context, has traditionally been conceived of as temporal novelty. However temporal predictivism has been criticized for lacking a rationale: why should the time order of theory and evidence matter? Instead, it has been proposed, novelty should be construed in terms of use-novelty, according to which evidence is novel if it was not used in the construction of a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  15
    Decisional Nonconsequentialism and the Risk Sensitivity of Obligation.Horacio Spector - 2016 - Social Philosophy and Policy 32 (2):91-128.
    :A good deal of contemporary moral nonconsequentialism assumes that agents have perfect knowledge about the various features and consequences of their options. This assumption is unrealistic. More often than not, moral agents can only assess with a certain degree of probability the factual circumstances that are morally relevant for their decision making. My aim in this essay is to discuss the problem of moral decisions under risk from the point of view of nonconsequentialism. Basically, I analyze how objective moral principles (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  41
    Admiration and Adoration: Their Different Ways of Showing and Shaping Who We Are.Ines Schindler, Veronika Zink, Johannes Windrich & Winfried Menninghaus - 2013 - Cognition and Emotion 27 (1):85-118.
  6.  11
    A Pragmatic Reconstruction of Law’s Claim to Authority.Horacio Spector - 2019 - Ratio Juris 32 (1):21-48.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Theory-Laden Experimentation.Samuel Schindler - 2013 - Studies in History and Philosophy of Science Part A 44 (1):89-101.
    The thesis of theory-ladenness of observations, in its various guises, is widely considered as either ill-conceived or harmless to the rationality of science. The latter view rests partly on the work of the proponents of New Experimentalism who have argued, among other things, that experimental practices are efficient in guarding against any epistemological threat posed by theory-ladenness. In this paper I show that one can generate a thesis of theory-ladenness for experimental practices from an influential New Experimentalist account. The notion (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  6
    Disquotation and Infinite Conjunctions.Thomas Schindler & Lavinia Picollo - 2018 - Erkenntnis 83 (5):899-928.
    One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  91
    Explanatory Fictions—for Real?Samuel Schindler - 2014 - Synthese 191 (8):1741-1755.
    In this article I assess Alisa Bokulich’s idea that explanatory model fictions can be genuinely explanatory. I draw attention to a tension in her account between the claim that model fictions are explanatorily autonomous, and the demand that model fictions be justified in order for them to be genuinely explanatory. I also explore the consequences that arise from Bokulich’s use of Woodward’s account of counterfactual explanation and her abandonment of Woodward’s notion of an intervention. As it stands, Bokulich’s account must (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  30
    Linking Admiration and Adoration to Self-Expansion: Different Ways to Enhance One's Potential.Ines Schindler, Juliane Paech & Fabian Löwenbrück - 2015 - Cognition and Emotion 29 (2):292-310.
  11. Mechanistic Explanation: Asymmetry Lost.Samuel Schindler - 2013 - In Karakostas and Dieks (ed.), “Recent Progress in Philosophy of Science: Perspectives and Foundational Problems”. Springer.
    In a recent book and an article, Carl Craver construes the relations between different levels of a mechanism, which he also refers to as constitutive relations, in terms of mutual manipulability (MM). Interpreted metaphysically, MM implies that inter-level relations are symmetrical. MM thus violates one of the main desiderata of scientific explanation, namely explanatory asymmetry. Parts of Craver’s writings suggest a metaphysical interpretation of MM, and Craver explicitly commits to constitutive relationships being symmetrical. The paper furthermore explores the option of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Proper Forcing and Remarkable Cardinals.Ralf-Dieter Schindler - 2000 - Bulletin of Symbolic Logic 6 (2):176-184.
  13.  41
    Axioms for Grounded Truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.
    We axiomatize Leitgeb's (2005) theory of truth and show that this theory proves all arithmetical sentences of the system of ramified analysis up to $\epsilon_0$. We also give alternative axiomatizations of Kripke's (1975) theory of truth (Strong Kleene and supervaluational version) and show that they are at least as strong as the Kripke-Feferman system KF and Cantini's VF, respectively.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  47
    Theoretical Fertility McMullin-Style.Samuel Schindler - 2017 - European Journal for Philosophy of Science 7 (1):151-173.
    A theory’s fertility is one of the standard theoretical virtues. But how is it to be construed? In current philosophical discourse, particularly in the realism debate, theoretical fertility is usually understood in terms of novel success: a theory is fertile if it manages to make successful novel predictions. Another, more permissible, notion of fertility can be found in the work of Ernan McMullin. This kind of fertility, McMullin claims, gives us just as strong grounds for realism. My paper critically assesses (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  35
    Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.
    In this paper we study several translations that map models and formulae of the language of second-order arithmetic to models and formulae of the language of truth. These translations are useful because they allow us to exploit results from the extensive literature on arithmetic to study the notion of truth. Our purpose is to present these connections in a systematic way, generalize some well-known results in this area, and to provide a number of new results. Sections 3 and 4 contain (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Bogen and Woodward’s Data-Phenomena Distinction, Forms of Theory-Ladenness, and the Reliability of Data.Samuel Schindler - 2011 - Synthese 182 (1):39-55.
    Some twenty years ago, Bogen and Woodward challenged one of the fundamental assumptions of the received view, namely the theory-observation dichotomy and argued for the introduction of the further category of scientific phenomena. The latter, Bogen and Woodward stressed, are usually unobservable and inferred from what is indeed observable, namely scientific data. Crucially, Bogen and Woodward claimed that theories predict and explain phenomena, but not data. But then, of course, the thesis of theory-ladenness, which has it that our observations are (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  75
    Two Notions of Epistemic Validity.Horacio Arló Costa & Isaac Levi - 1996 - Synthese 109 (2):217 - 262.
    How to accept a conditional? F. P. Ramsey proposed the following test in (Ramsey 1990).(RT) If A, then B must be accepted with respect to the current epistemic state iff the minimal hypothetical change of it needed to accept A also requires accepting B.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  18.  55
    A Graph-Theoretic Analysis of the Semantic Paradoxes.Timo Beringer & Thomas Schindler - 2017 - Bulletin of Symbolic Logic 23 (4):442-492.
    We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. It is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  75
    Disquotation and Infinite Conjunctions.Lavinia Picollo & Thomas Schindler - 2017 - Erkenntnis (5):1-30.
    One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  20. The Kuhnian Mode of HPS.Samuel Schindler - 2013 - Synthese 190 (18):4137-4154.
    In this article I argue that a methodological challenge to an integrated history and philosophy of science approach put forth by Ronald Giere almost forty years ago can be met by what I call the Kuhnian mode of History and Philosophy of Science (HPS). Although in the Kuhnian mode of HPS norms about science are motivated by historical facts about scientific practice, the justifiers of the constructed norms are not historical facts. The Kuhnian mode of HPS therefore evades the naturalistic (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  12
    The Long Extender Algebra.Ralf Schindler - 2018 - Archive for Mathematical Logic 57 (1-2):73-82.
    Generalizing Woodin’s extender algebra, cf. e.g. Steel Handbook of set theory, Springer, Berlin, 2010), we isolate the long extender algebra as a general version of Bukowský’s forcing, cf. Bukovský, in the presence of a supercompact cardinal.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  26
    Semi-Proper Forcing, Remarkable Cardinals, and Bounded Martin's Maximum.Ralf Schindler - 2004 - Mathematical Logic Quarterly 50 (6):527-532.
    We show that L absoluteness for semi-proper forcings is equiconsistent with the existence of a remarkable cardinal, and hence by [6] with L absoluteness for proper forcings. By [7], L absoluteness for stationary set preserving forcings gives an inner model with a strong cardinal. By [3], the Bounded Semi-Proper Forcing Axiom is equiconsistent with the Bounded Proper Forcing Axiom , which in turn is equiconsistent with a reflecting cardinal. We show that Bounded Martin's Maximum is much stronger than BSPFA in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  23.  27
    The Self-Iterability of L[E].Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (3):751-779.
    Let L[E] be an iterable tame extender model. We analyze to which extent L[E] knows fragments of its own iteration strategy. Specifically, we prove that inside L[E], for every cardinal K which is not a limit of Woodin cardinals there is some cutpoint t K > a>ω1 are cardinals, then ◊$_{K.\lambda }^* $ holds true, and if in addition λ is regular, then ◊$_{K.\lambda }^* $ holds true.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24.  25
    A note on Horwich’s notion of grounding.Thomas Schindler - 2020 - Synthese 197 (5):2029-2038.
    Horwich proposes a solution to the liar paradox that relies on a particular notion of grounding—one that, unlike Kripke’s notion of grounding, does not invoke any “Tarski-style compositional principles”. In this short note, we will formalize Horwich’s construction and argue that his solution to the liar paradox does not justify certain generalizations about truth that he endorses. We argue that this situation is not resolved even if one appeals to the \-rule. In the final section, we briefly discuss how Horwich (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  25.  77
    First Order Extensions of Classical Systems of Modal Logic; the Role of the Barcan Schemas.Horacio Arló Costa - 2002 - Studia Logica 71 (1):87-118.
    The paper studies first order extensions of classical systems of modal logic (see (Chellas, 1980, part III)). We focus on the role of the Barcan formulas. It is shown that these formulas correspond to fundamental properties of neighborhood frames. The results have interesting applications in epistemic logic. In particular we suggest that the proposed models can be used in order to study monadic operators of probability (Kyburg, 1990) and likelihood (Halpern-Rabin, 1987).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  26.  18
    Deconstructing Inner Model Theory.Ralf-Dieter Schindler, John Steel & Martin Zeman - 2002 - Journal of Symbolic Logic 67 (2):721-736.
  27.  51
    Use-Novel Predictions and Mendeleev’s Periodic Table: Response to Scerri and Worrall.Samuel Schindler - 2008 - Studies in History and Philosophy of Science Part A 39 (2):265-269.
    In this paper I comment on a recent paper by [Scerri, E., & Worrall, J. . Prediction and the periodic table. Studies in History and Philosophy of Science, 32, 407–452.] about the role temporally novel and use-novel predictions played in the acceptance of Mendeleev’s periodic table after the proposal of the latter in 1869. Scerri and Worrall allege that whereas temporally novel predictions—despite Brush’s earlier claim to the contrary—did not carry any special epistemic weight, use-novel predictions did indeed contribute to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  28.  68
    "Schindler's List" Is Not "Shoah": The Second Commandment, Popular Modernism, and Public Memory.Miriam Bratu Hansen - 1996 - Critical Inquiry 22 (2):292-312.
  29.  73
    Model, Theory, and Evidence in the Discovery of the DNA Structure.Samuel Schindler - 2008 - British Journal for the Philosophy of Science 59 (4):619-658.
    In this paper, I discuss the discovery of the DNA structure by Francis Crick and James Watson, which has provoked a large historical literature but has yet not found entry into philosophical debates. I want to redress this imbalance. In contrast to the available historical literature, a strong emphasis will be placed upon analysing the roles played by theory, model, and evidence and the relationship between them. In particular, I am going to discuss not only Crick and Watson's well-known model (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  35
    Rehabilitating Theory: Refusal of the 'Bottom-Up' Construction of Scientific Phenomena.Samuel Schindler - 2007 - Studies in History and Philosophy of Science Part A 38 (1):160-184.
    In this paper I inquire into Bogen and Woodward’s data/phenomena distinction, which in a similar way to Cartwright’s construal of the model of superconductivity —although in a different domain—argues for a ‘bottom-up’ construction of phenomena from data without the involvement of theory. I criticise Bogen and Woodward’s account by analysing their melting point of lead example in depth, which is usually cited in the literature to illustrate the data/phenomenon distinction. Yet, the main focus of this paper lies on Matthias Kaiser’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  10
    Virtual Large Cardinals.Victoria Gitman & Ralf Schindler - 2018 - Annals of Pure and Applied Logic 169 (12):1317-1334.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  44
    Perspectives of History and Philosophy on Teaching Astronomy.Horacio Tignanelli & Yann Benétreau-Dupin - 2014 - In Michael R. Matthews (ed.), International Handbook of Research in History, Philosophy and Science Teaching. Springer. pp. 603-640.
    The didactics of astronomy is a relatively young field with respect to that of other sciences. Historical issues have most often been part of the teaching of astronomy, although that often does not stem from a specific didactics. The teaching of astronomy is often subsumed under that of physics. One can easily consider that, from an educational standpoint, astronomy requires the same mathematical or physical strategies. This approach may be adequate in many cases but cannot stand as a general principle (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  14
    Proper Forcing and Remarkable Cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.
    The current paper proves the results announced in [5]. We isolate a new large cardinal concept, "remarkability." Consistencywise, remarkable cardinals are between ineffable and ω-Erdos cardinals. They are characterized by the existence of "O # -like" embeddings; however, they relativize down to L. It turns out that the existence of a remarkable cardinal is equiconsistent with L(R) absoluteness for proper forcings. In particular, said absoluteness does not imply Π 1 1 determinacy.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  34.  10
    The Core Model for Almost Linear Iterations.Ralf-Dieter Schindler - 2002 - Annals of Pure and Applied Logic 116 (1-3):205-272.
    We introduce 0• as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ does not exist”. Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for determining the exact consistency strength of the assumption in the statement of the 12th Delfino problem pp. 221–224)).
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  35.  24
    Two Notions of Epistemic Validity-Epistemic Models for Ramsey's Conditionals.Horacio Arló Costa & Isaac Levi - 1996 - Synthese 109 (2):217-262.
    How to accept a conditional? F. P. Ramsey proposed the following test in . 'If A, then B' must be accepted with respect to the current epistemic state iff the minimal hypothetical change of it needed to accept A also requires accepting B. In this article we propose a formulation of , which unlike some of its predecessors, is compatible with our best theory of belief revision, the so-called AGM theory , chapters 1-5 for a survey). The new test, which, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  36.  35
    Scientific Discovery: That-What’s and What-That's.Samuel Schindler - 2015 - Ergo: An Open Access Journal of Philosophy 2.
    In this paper I defend Kuhn’s view of scientific discovery, which involves two central tenets, namely that a scientific discovery always requires a discovery-that and a discovery-what, and that there are two kinds of scientific discovery, resulting from the temporal order of the discovery-that and the discovery-what. I identify two problems with Kuhn’s account and offer solutions to them from a realist stance. Alternatives to Kuhn’s account are also discussed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  34
    A Disquotational Theory of Truth as Strong as Z 2 −.Thomas Schindler - 2015 - Journal of Philosophical Logic 44 (4):395-410.
    T-biconditionals have often been regarded as insufficient as axioms for truth. This verdict is based on Tarski’s observation that the typed T-sentences suffer from deductive weakness. As indicated by McGee, the situation might change radically if we consider type-free disquotational theories of truth. However, finding a well-motivated set of untyped T-biconditionals that is consistent and recursively enumerable has proven to be very difficult. Moreover, some authors ) have argued that any solution to the semantic paradoxes necessarily involves ‘inflationary’ means, thus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  91
    Moral Exemplars: Reflections on Schindler, the Trocmes, and Others.Lawrence A. Blum - 1988 - Midwest Studies in Philosophy 13 (1):196-221.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  39.  10
    Mice with Finitely Many Woodin Cardinals From Optimal Determinacy Hypotheses.Sandra Muller, Ralf Schindler & W. Hugh Woodin - forthcoming - Journal of Mathematical Logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  49
    Non-Adjunctive Inference and Classical Modalities.Horacio Arló Costa - 2005 - Journal of Philosophical Logic 34 (5/6):581 - 605.
    The article focuses on representing different forms of non-adjunctive inference as sub-Kripkean systems of classical modal logic, where the inference from □A and □B to □A ∧ B fails. In particular we prove a completeness result showing that the modal system that Schotch and Jennings derive from a form of non-adjunctive inference in (Schotch and Jennings, 1980) is a classical system strictly stronger than EMN and weaker than K (following the notation for classical modalities presented in Chellas, 1980). The unified (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41.  31
    Four Conceptions of Freedom.Horacio Spector - 2010 - Political Theory 38 (6):780-808.
    Contemporary political philosophers discuss the idea of freedom in terms of two distinctions: Berlin's famous distinction between negative and positive liberty, and Skinner and Pettit's divide between liberal and republican liberty. In this essay I proceed to recast the debate by showing that there are two strands in liberalism, Hobbesian and Lockean, and that the latter inherited its conception of civil liberty from republican thought. I also argue that the contemporary debate on freedom lacks a perspicuous account of the various (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  12
    Mice with Finitely Many Woodin Cardinals From Optimal Determinacy Hypotheses.Sandra Müller, Ralf Schindler & W. Hugh Woodin - 2020 - Journal of Mathematical Logic 20 (Supp01):1950013.
    We prove the following result which is due to the third author. Let [Formula: see text]. If [Formula: see text] determinacy and [Formula: see text] determinacy both hold true and there is no [Formula: see text]-definable [Formula: see text]-sequence of pairwise distinct reals, then [Formula: see text] exists and is [Formula: see text]-iterable. The proof yields that [Formula: see text] determinacy implies that [Formula: see text] exists and is [Formula: see text]-iterable for all reals [Formula: see text]. A consequence is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  45
    Stacking Mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
    We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal k ≥ N₃ such that □k and □(k) fail. 2) There is a cardinal k such that k is weakly compact in the generic extension by Col(k, k⁺). Of special interest is 1) with k = N₃ since it follows from PFA by theorems of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  44.  24
    Successive Weakly Compact or Singular Cardinals.Ralf-Dieter Schindler - 1999 - Journal of Symbolic Logic 64 (1):139-146.
    It is shown in ZF that if $\delta are such that δ and δ + are either both weakly compact or singular cardinals and Ω is large enough for putting the core model apparatus into action then there is an inner model with a Woodin cardinal.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  84
    Type-Free Truth.Thomas Schindler - 2015 - Dissertation, Ludwig Maximilians Universität München
    This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free truth. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  11
    Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.
    Let N be a transitive model of ZFC such that ωN ⊂ N and P(R) ⊂ N. Assume that both V and N satisfy "the core model K exists." Then KN is an iterate of K. i.e., there exists an iteration tree J on K such that J has successor length and $\mathit{M}_{\infty}^{\mathit{J}}=K^{N}$. Moreover, if there exists an elementary embedding π: V → N then the iteration map associated to the main branch of J equals π ↾ K. (This answers (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  32
    A Criterion for Coarse Iterability.Gunter Fuchs, Itay Neeman & Ralf Schindler - 2010 - Archive for Mathematical Logic 49 (4):447-467.
    The main result of this paper is the following theorem: Let M be a premouse with a top extender, F. Suppose that (a) M is linearly coarsely iterable via hitting F and its images, and (b) if M * is a linear iterate of M as in (a), then M * is coarsely iterable with respect to iteration trees which do not use the top extender of M * and its images. Then M is coarsely iterable.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  48.  21
    Palermo. Museo di Palermo. Iscrizioni Greche Lapidarie Del Museo di Palermo. By M. T. Manni Piraino. Palermo: S. F Flaccovio Editore. 1973. Pp. 219 + 5 Pages of Errata. 89 Plates. L 10,000. - Labraunda. Swedish Excavations and Researches. Vol. III. Part 2. The Greek Inscriptions, 2: 13–133. By J. Crampa. Stockholm: Svenska Institutet I Athen. 1972. Pp. Viii + 225. 31 Plates, 1 Plan. Sw.Kr. 200. - Schindler Die Inschriften von Bubon Vienna: H. Böhlaus Nachf. 1972. Pp. 75. 5 Plates. 7 Text Figs. öS 120. - Salamis. 6. The Greek and Latin Inscriptions From Salamis. By T. B. Mitford and I. K. Nicolaou. Nicosia: Department of Antiquities, Cyprus. 1974. Pp. Xvi + 211. 20 Pl., Numerous Text Figs., Map, Plan. No Price Stated. [REVIEW]A. Geoffrey Woodhead, Palermo Museo di Palermo, M. T. Manni Piraino, Labraunda, J. Crampa, F. Schindler, Salamis, T. B. Mitford & I. K. Nicolaou - 1977 - Journal of Hellenic Studies 97:231-234.
  49.  50
    Conditionals and Monotonic Belief Revisions: The Success Postulate.Horacio L. Arlo Costa - 1990 - Studia Logica 49 (4):557-566.
    One of the main applications of the logic of theory change is to the epistemic analysis of conditionals via the so-called Ramsey test. In the first part of the present note this test is studied in the “limiting case” where the theory being revised is inconsistent, and it is shown that this case manifests an intrinsic incompatibility between the Ramsey test and the AGM postulate of “success”. The paper then analyses the use of the postulate of success, and a weakening (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  92
    Desire-as-Belief Implies Opinionation or Indifference.Horacio Costa, John Collins & Isaac Levi - 1995 - Analysis 55 (1):2-5.
    The anti- Humean proposal of constructing desire as belief about what would be good must be abandoned on pain of triviality. Our central result shows that if an agent's belief- desire state is represented by Jeffrey's expected value theory enriched with the Desire as Belief Thesis (DAB), then, provided that three pairwise inconsistent propositions receive non- zero probability, the agent must view with indifference any proposition whose probability is greater than zero. Unlike previous results against DAB our Opinionation or Indifference (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 524