Results for 'S. K. Thomason'

1000+ found
Order:
  1. DA Gillies, Frege, Dedekind and Peano on the Foundations of Arithmetic Reviewed by.S. K. Thomason - 1984 - Philosophy in Review 4 (3):111-113.
  2. Semantic analysis of tense logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
    Although we believe the results reported below to have direct philosophical import, we shall for the most part confine our remarks to the realm of mathematics. The reader is referred to [4] for a philosophically oriented discussion, comprehensible to mathematicians, of tense logic.The “minimal” tense logicT0is the system having connectives ∼, →,F(“at some future time”), andP(“at some past time”); the following axioms:(whereGandHabbreviate ∼F∼ and ∼P∼ respectively); and the following rules:(8) fromαandα → β, inferβ,(9) fromα, infer any substitution instance ofα,(10) fromα, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  3. An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
  4.  57
    Reduction of second‐order logic to modal logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):107-114.
  5.  69
    On constructing instants from events.S. K. Thomason - 1984 - Journal of Philosophical Logic 13 (1):85 - 96.
  6.  55
    Free construction of time from events.S. K. Thomason - 1989 - Journal of Philosophical Logic 18 (1):43 - 67.
    Some may be of the opinion that one event can begin before another only by virtue of the existence of some event (a “witness”) which wholly precedes the other and does not wholly precede the one (and similarly for “ends before” and “does not abut”). Those would prefer $\mathbb{F}$ 0 to $\mathbb{F}$ as a model for observers' apprehensions of events. Since G is a functor from $\mathbb{M}$ to $\mathbb{F}$ 0, the current construction (restricted to $\mathbb{F}$ 0) remains applicable.This work supports (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  7.  33
    Categories of frames for modal logic.S. K. Thomason - 1975 - Journal of Symbolic Logic 40 (3):439-442.
  8.  88
    Semantic analysis of the modal syllogistic.S. K. Thomason - 1993 - Journal of Philosophical Logic 22 (2):111 - 128.
  9.  25
    [Omnibus Review].S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
  10.  49
    Reduction of tense logic to modal logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
  11.  47
    Reduction of tense logic to modal logic II.S. K. Thomason - 1975 - Theoria 41 (3):154-169.
  12.  54
    Relational models for the modal syllogistic.S. K. Thomason - 1997 - Journal of Philosophical Logic 26 (2):129-141.
    An interpretation of Aristotle's modal syllogistic is proposed which is intuitively graspable, if only formally correst. The individuals to which a term applies, and possibly-applies, are supposed to be determined in a uniform way by the set of individuals to which the term necessarily-applies.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  13.  55
    Possible worlds and many truth values.S. K. Thomason - 1978 - Studia Logica 37 (2):195 - 204.
  14.  25
    Sublattices of the Recursively Enumerable Degrees.S. K. Thomason - 1971 - Mathematical Logic Quarterly 17 (1):273-280.
  15.  44
    Sublattices of the Recursively Enumerable Degrees.S. K. Thomason - 1971 - Mathematical Logic Quarterly 17 (1):273-280.
  16.  72
    Independent propositional modal logics.S. K. Thomason - 1980 - Studia Logica 39 (2-3):143 - 144.
    We show that the join of two classical [respectively, regular, normal] modal logics employing distinct modal operators is a conservative extension of each of them.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  17.  40
    Noncompactness in propositional modal logic.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (4):716-720.
  18.  23
    The logical consequence relation of propositional tense logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):29-40.
  19.  38
    The extensions of the modal logic K.Michael C. Nagle & S. K. Thomason - 1985 - Journal of Symbolic Logic 50 (1):102-109.
  20.  60
    Reduction of tense logic to modal logic II.S. K. Thomason - 1974 - Theoria 40 (3):154-169.
  21.  15
    Euclidean Infinitesimals.S. K. Thomason - 1982 - Pacific Philosophical Quarterly 63 (2):168-185.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  24
    David Makinson. Some embedding theorems for modal logic. Notre Dame journal of formal logic, vol. 12 , pp. 252–254.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351.
  23.  46
    A theorem on initial segments of degrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):41-45.
    A set S of degrees is said to be an initial segment if c ≤ d ∈ S→-c∈S. Shoenfield has shown that if P is the lattice of all subsets of a finite set then there is an initial segment of degrees isomorphic to P. Rosenstein [2] (independently) proved the same to hold of the lattice of all finite subsets of a countable set. We shall show that “countable set” may be replaced by “set of cardinality at most that of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  24.  32
    David Makinson. A generalisation of the concept of a relational model for modal logic. Theoria , vol. 36 , pp. 331–335.S. K. Thomason - 1973 - Journal of Symbolic Logic 38 (3):520.
  25. Finite matrices for quasi-classical modal logics.S. K. Thomason - 1983 - Logique Et Analyse 26 (3):341.
     
    Export citation  
     
    Bookmark  
  26.  35
    Modal operators and functional completeness, II.S. K. Thomason - 1977 - Journal of Symbolic Logic 42 (3):391-399.
  27.  10
    Noncompactness in Propositional Modal Logic.S. K. Thomason, Kit Fine, Martin Gerson & Martin Sebastian Gerson - 1983 - Journal of Symbolic Logic 48 (2):488-495.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  25
    On initial segments of hyperdegrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (2):189-197.
  29.  28
    Spring meeting of the association for symbolic logic: Toronto, 1993.S. K. Thomason - 1994 - Journal of Symbolic Logic 59 (1):346-349.
  30.  21
    Review: J. R. Shoenfield, Ernest Nagel, Patrick Suppes, Alfred Tarski, Some Applications of Degrees. [REVIEW]S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (3):610-610.
  31.  14
    Review: David Makinson, Some Embedding Theorems for Modal Logic. [REVIEW]S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351-351.
  32.  30
    J. R. Shoenheld. Some applications of degrees. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 56–59. [REVIEW]S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (3):610.
  33.  57
    Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa. [REVIEW]S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  24
    Review: C. E. M. Yates, John N. Crossley, Recursively Enumerable Degrees and the Degrees Less Than $0^{(1)}$. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (4):589-589.
  35.  19
    Titgemeyer Dieter. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 , pp. 45–62. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):155-156.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  36.  20
    C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 264–271. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (4):589-589.
  37.  27
    Naked: The Dark Side of Shame and Moral Life.Krista K. Thomason - 2018 - Oup Usa.
    Shame is a Jekyll-and-Hyde emotion--it can be morally valuable, but it also has a dark side. Thomason presents a philosophically rigorous and nuanced account of shame that accommodates its harmful and helpful aspects. Thomason argues that despite its obvious drawbacks and moral ambiguity, shame's place in our lives is essential.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  38. The Moral Value of Envy.Krista K. Thomason - 2015 - Southern Journal of Philosophy 53 (1):36-53.
    It is common to think that we would be morally better people if we never felt envy. Recently, some philosophers have rejected this conclusion by arguing that envy can often be directed toward unfairness or inequality. As such, they conclude that we should not suppress our feelings of envy. I argue, however, that these defenses only show that envy is sometimes morally permissible. In order to show that we would not be better off without envy, we must show how envy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  39. Above All Things Human: Bestimmung in Salomo Friedlaender’s Kant for Children.Krista K. Thomason - 2024 - In Salomo Friedlaender (ed.), Kant for Children. De Gruyter. pp. 121-140. Translated by Bruce Krajewski.
    Kant’s commitment to universalism has been called into question since increasing attention has been paid to his work on race in the last 20 years. This worry can easily be applied to Kant’s work on education: when Kant describes education as allowing humanity to fulfill its Bestimmung (vocation), scholars might reasonably conclude that such a claim only applies certain racial groups. Yet Salomo Friedlaender claims that if Kant’s moral theory is taught to children, “Every person is valued according to her (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Shame and Contempt in Kant's Moral Theory.Krista K. Thomason - 2013 - Kantian Review 18 (2):221-240.
    Attitudes like shame and contempt seem to be at odds with basic tenets of Kantian moral theory. I argue on the contrary that both attitudes play a central role in Kantian morality. Shame and contempt are attitudes that protect our love of honour, or the esteem we have for ourselves as moral persons. The question arises: how are these attitudes compatible with Kant's claim that all persons deserve respect? I argue that the proper object of shame and contempt is not (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  41. A Good Enough Heart: Kant and the Cultivation of Emotions.Krista K. Thomason - 2017 - Kantian Review 22 (3):441-462.
    One way of understanding Kant’s views about moral emotions is the cultivation view. On this view, emotions play a role in Kantian morality provided they are properly cultivated. I evince a sceptical position about the cultivation view. First, I show that the textual evidence in support of cultivation is ambiguous. I then provide an account of emotions in Kant’s theory that explains both his positive and negative views about them. Emotions capture our attention such that they both disrupt the mind’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42. The Symbol of Justice: Bloodguilt in Kant.Krista K. Thomason - 2021 - Kantian Review 26 (1):79-97.
    One of the more notorious passages in Kant occurs in the Doctrine of Right where he claims that ‘bloodguilt’ will cling to members of a dissolving society if they fail to execute the last murderer (MM, 6: 333). Although this is the most famous, bloodguilt appears in three other passages in Kant’s writings. These have received little attention in Kant scholarship. In this article, I examine these other passages and argue that bloodguilt functions as a symbol for the demandingness of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Wild chimeras: Enthusiasm and intellectual virtue in Kant.Krista K. Thomason - 2019 - European Journal of Philosophy 28 (2):380-393.
    Kant typically is not identified with the tradition of virtue epistemology. Although he may not be a virtue epistemologist in a strict sense, I suggest that intellectual virtues and vices play a key role in his epistemology. Specifically, Kant identifies a serious intellectual vice that threatens to undermine reason, namely enthusiasm (Schwärmerei). Enthusiasts become so enamored with their own thinking that they refuse to subject reason to self-critique. The particular danger of enthusiasm is that reason colludes in its own destruction: (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. I’ll Show You: Spite as a Reactive Attitude.Krista K. Thomason - 2020 - The Monist 103 (2):163-175.
    Spite is typically considered a vicious emotion that causes us to engage in petty, vindictive, and sometimes self-destructive behavior. Even though it has this bad reputation, I will argue that spite is a reactive attitude. Spite is emotional defiance of another’s command: to spite you, I will do something exactly because you told me not to. Our liability to feelings of spite presupposes that we recognize others as having practical authority, which is why it qualifies as a reactive attitude. I (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  36
    Kant on Persons and Agency ed. by Eric Watkins.Krista K. Thomason - 2019 - Journal of the History of Philosophy 57 (1):175-176.
    This new essay collection edited by Eric Watkins features distinguished and established scholars, and it will be an attractive volume for those who work in the field. The essays are divided under three headings: Part I contains essays on agency, Part II features essays on freedom, and Part III is dedicated to essays on persons. An essay by Karl Ameriks on Kant’s work “The End of All Things” concludes the collection. Most of the essays in the collection were originally presented (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  53
    Civic Education and the Ideal of Public Reason.Krista K. Thomason - 2015 - Social Philosophy Today 31:177-182.
    Meira Levinson argues for a robust civics education that models the practices of good citizenship. One of the elements of that civics education is teaching students how to take up the perspectives of others. The question arises: how do we teach students and citizens alike to take up the perspectives of others? Here I argue that we can make sense of perspective-taking by appealing to Rawls’s notion of public reason as an ideal. I conclude by arguing that a commitment to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  24
    Emotion, Reason and Action in Kant by Maria Borges.Krista K. Thomason - 2020 - Journal of the History of Philosophy 58 (2):411-412.
    Despite the fact that emotions have become an important part of Kant scholarship in the last thirty years and counting, few books are devoted to the topic. Borges's book remedies this lacuna. Kant scholars who are familiar with her work will be happy to see her account of emotions connected to other discussions of Kantian moral psychology.The book begins with a general account of actions, reasons, and causes. Given this background, Borges then raises the question: what role do emotions play (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  26
    S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 , pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 , pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 , pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 , pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 , pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 , pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 , pp. 985–989. , pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 , pp. 25–37. - J. F. A. K. van Benthem and W. [REVIEW]R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
  49.  30
    Nature of the self: a philosophy on human nature.S. K. Leung - 2000 - London: Empiricus.
    CHAPTER ONE Paving a Way for a Treatise Identity Those who are not of the philosophical persuasion may find it surprising that the Self appears to be such ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Colour appearance in complex scenes.S. K. Shevell - 2004 - In Robert Schwartz (ed.), Perception. Malden Ma: Blackwell. pp. 24-24.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000