Results for 'Jan Lindsay Solomon'

999 found
Order:
  1.  7
    Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism.Jan Woleński, Ilkka Niiniluoto, Hans Sluga, Anita Burdman Feferman, Solomon Feferman & Richard Creath - 2010 - Springer.
    The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  25
    Measuring Interdisciplinary Research Categories and Knowledge Transfer: A Case Study of Connections between Cognitive Science and Education.Alan L. Porter, Stephen F. Carley, Caitlin Cassidy, Jan Youtie, David J. Schoeneck, Seokbeom Kwon & Gregg E. A. Solomon - 2019 - Perspectives on Science 27 (4):582-618.
    This is a “bottom-up” paper in the sense that it draws lessons in defining disciplinary categories under study from a series of empirical studies of interdisciplinarity. In particular, we are in the process of studying the interchange of research-based knowledge between Cognitive Science and Educational Research. This has posed a set of design decisions that we believe warrant consideration as others study cross-disciplinary research processes.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  23
    For Jan Wolenski, on the occasion of his 60th birthday.Solomon Feferman - unknown
    In the summer of 1957 at Cornell University the first of a cavalcade of large-scale meetings partially or completely devoted to logic took place--the five-week long Summer Institute for Symbolic Logic. That meeting turned out to be a watershed event in the development of logic: it was unique in bringing together for such an extended period researchers at every level in all parts of the subject, and the synergetic connections established there would thenceforth change the face of mathematical logic both (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  19
    Francis Bacon and the refiguring of early modern thought: Essays to commemorate 'the advancement of learning' (1605–2005). Edited by Julie Robin Solomon and Catherine gimelli Martin. [REVIEW]Jan Marten Ivo Klaver - 2008 - Heythrop Journal 49 (4):682–683.
  5.  19
    Theater and Social Change.Alisa Solomon - 2001 - Duke University Press.
    From the Federal Theater Projects of the Great Depression to the disruptive performances of the 1960s and 1970s, theater has played an important role in American radicalism. This special issue of_ _Theater_ reports on socially conscious, politically active theaters in the United States. Despite the evaporation of Cold War passions and the rise of conservatism in the 1980s and 1990s, such theater work remains a persistent and evolving presence on the political landscape. Since the first inauguration of George W. Bush, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  20
    Jan M. Ziolkowski, trans., Solomon and Marcolf.(Harvard Studies in Medieval Latin, 1.) Cambridge, Mass.: Department of the Classics, Harvard University, 2008. Pp. xvii, 451; black-and-white figures and 1 table. $40 (cloth); $25 (paper). Distributed by Harvard University Press, Cambridge, Mass., and London. [REVIEW]A. G. Rigg - 2010 - Speculum 85 (2):483-486.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  8
    Confucian tradition and modernity: A dilemma on both sides.Jan Yün-Hua - 1983 - In George Parkin Grant & Eugene Combs (eds.), Modernity and Responsibility: Essays for George Grant. University of Toronto Press. pp. 62-73.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  16
    The Non-Existence of the Real World.Jan Westerhoff - 2020 - Oxford University Press.
    Does the real world, defined as a world of objects that exist independent of human interests, concerns, and cognitive activities, really exist? Jan Westerhoff argues that we have good reason to believe it does not. His discussion considers four main facets of the idea of the real world, ranging from the existence of a separate external and internal world, to the existence of an ontological foundation that grounds the existence of all the entities in the world, and the existence of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  9.  25
    The Golden Age of Indian Buddhist Philosophy.Jan Westerhoff - 2018 - Oxford: Oxford University Press.
    Jan Westerhoff unfolds the story of one of the richest episodes in the history of Indian thought, the development of Buddhist philosophy during the first millennium CE. He aims to offer the reader a systematic grasp of key Buddhist concepts such as non-self, suffering, reincarnation, karma, and nirvana.
    No categories
  10. What is an emotion?: classic readings in philosophical psychology.Cheshire Calhoun & Robert C. Solomon (eds.) - 1984 - New York: Oxford University Press.
    This volume draws together important selections from the rich history of theories and debates about emotion. Utilizing sources from a variety of subject areas including philosophy, psychology, and biology, the editors provide an illuminating look at the "affective" side of psychology and philosophy from the perspective of the world's great thinkers. Part One features classic readings from Aristotle, Descartes, Spinoza, and Hume. Part Two, entitled "The Meeting of Philosophy and Psychology," samples the theories of thinkers such as Darwin, James, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   49 citations  
  11.  15
    The Experience of Meaning.Jan Zwicky - 2019 - Chicago: Mcgill-Queen's University Press.
    The aim of this book is a recovery of interest in the experience of meaning. Jan Zwicky defends the claim that we experience meaning in the apprehension of wholes and their internal structural relations, providing examples of such insight in mathematics and physics, literature, music, and Plato's ancient theory of forms. Taken together, these essays constitute a powerful indictment of the aggressive reductionism and the reliance on calculative modes of thought that dominate our present conception of understanding. The Experience of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  10
    A Social and Religious History of the Jews.Solomon Grayzel & Salo Wittmayer Baron - 1938 - Journal of the American Oriental Society 58 (3):482.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13. The Dispeller of Disputes: Nāgārjuna's Vigrahavyāvartanī.Jan Westerhoff - 2010 - Oup Usa.
    Nagarjuna's Vigrahavyavartani is one of the most important Madhyamaka Buddhist philosophical texts. Jan Westerhoff offers a new translation, reflecting the best current philological research and all available editions, and adds his own philosophical commentary on the text. His nuanced, philosophically sophisticated commentary explains Nagarjuna's arguments in a way that is both grounded in historical and textual scholarship and connected explicitly to contemporary philosophical concerns.
  14.  4
    Essays on logic and its applications in philosophy.Jan Woleński (ed.) - 2011 - Frankfurt am Main: Peter Lang.
    This is a collection of essays about logic and its applications to various philosophical problems. In general, it is argued that logic constitutes an important device of philosophical analysis. Concerning the nature of logic the author defends the thesis that first-order logic is the logic. Among the philosophical problems to which logic is applied in the essays are: truth, consistency, realism, foundations of semantics, psychologism, undetermination of theories by empirical data, modalities, value concepts, identity, vagueness, God's existence, transcendentals, legal reasoning, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  83
    Do we (still) need the concept of bildung?Jan Masschelein & Norbert Ricken - 2003 - Educational Philosophy and Theory 35 (2):139–154.
  16. “The People Must Be Extracted from Within the People”: Reflections on Populism.Jan-Werner Müller - 2014 - Constellations 21 (4):483-493.
  17.  5
    Anticartesianische Meditationen: was war und ist Meditieren?: ein Fragment.Hermann Wein & Jan Knopf - 1983 - Bonn: Bouvier. Edited by Jan Knopf.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  35
    How to conceive of critical educational theory today?Jan Masschelein - 2004 - Journal of Philosophy of Education 38 (3):351–367.
    This paper starts from a brief sketch of the ‘classical’ figure of critical educational theory or science (Kritische Erziehungswissenshaft). ‘Critical educational theory’ presents itself as the privileged guardian of the critical principle of education (Bildung) and its emancipatory promise. It involves the possibility of saying ‘I’ in order to speak and think in one's own name, to be critical, self-reflective and independent, to determine dependence from the present power relations and existing social order. Actual social and educational reality and relations (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  19.  55
    An adequate education in a globalised world? A note on immunisation against being–together.Jan Masschelein & Maarten Simons - 2002 - Journal of Philosophy of Education 36 (4):589–608.
    The article starts from the questions: what is it to be an inhabitant or citizen of a globalised world, and how are we to think of education in relation to such inhabitants? We examine more specifically the so–called ‘European area of higher education’ that is on the way to being established and that can be regarded as a concrete example of a process of globalisation. In the first part of the paper we try to show that the discursive horizon, and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  20.  25
    An Adequate Education in a Globalised World? A Note on Immunisation Against Being–Together.Jan Masschelein & Maarten Simons - 2002 - Journal of Philosophy of Education 36 (4):589-608.
    The article starts from the questions: what is it to be an inhabitant or citizen of a globalised world, and how are we to think of education in relation to such inhabitants? We examine more specifically the so–called ‘European area of higher education’ that is on the way to being established and that can be regarded as a concrete example of a process of globalisation. In the first part of the paper we try to show that the discursive horizon, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  21.  39
    The discourse of the learning society and the loss of childhood.Jan Masschelein - 2001 - Journal of Philosophy of Education 35 (1):1–20.
    I argue that Hannah Arendt's analysis of the development of modern society illuminates one aspect of prevailing educational discourse. We can understand the ‘learning society’ as both an effect and an instrument of the logic of ‘bare biological life’ or zoé that Arendt claims is the ultimate point of reference for modern society. In such a society we seem to live permanently under the threat of social exclusion, being permanently put in the position of learners or problem-solvers, without the right (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  22. Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.
    A proof of the (propositional) Craig interpolation theorem for cut-free sequent calculus yields that a sequent with a cut-free proof (or with a proof with cut-formulas of restricted form; in particular, with only analytic cuts) with k inferences has an interpolant whose circuit-size is at most k. We give a new proof of the interpolation theorem based on a communication complexity approach which allows a similar estimate for a larger class of proofs. We derive from it several corollaries: (1) Feasible (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  23. Contesting Democracy: Political Ideas in Twentieth-Century Europe.Jan-Werner Müller - 2011 - Yale University Press.
    This book is the first major account of political thought in twentieth-century Europe, both West and East, to appear since the end of the Cold War. Skillfully blending intellectual, political, and cultural history, Jan-Werner Müller elucidates the ideas that shaped the period of ideological extremes before 1945 and the liberalization of West European politics after the Second World War. He also offers vivid portraits of famous as well as unjustly forgotten political thinkers and the movements and institutions they inspired. Müller (...)
     
    Export citation  
     
    Bookmark   10 citations  
  24.  5
    Abduction: The Double Change.Solomon Marcus - 2005 - Semiotica 2005 (153 - 1/4):287-298.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  31
    Conway's game of life and the ecosystem represented by Uexküll's concept of Umwelt.Solomon Marcus - 2001 - Sign Systems Studies 29 (1):63-69.
    Inspired by a mathematical ecology of thearre (M. Dinu) and the eco-grammar systems (E. Csuhaj-Varju et al.), this paper gives a brief analysis of simple cellular automata games in order to demonstrate their primary semiotic features. In particular, the behaviour of configurations in Conway's game of life is compared to several general features of Uexküll's concept of Umwelt. It is concluded that ecological processes have a fundamental semiotic dimension.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  33
    Experience and the limits of governmentality.Jan Masschelein - 2006 - Educational Philosophy and Theory 38 (4):561–576.
    Following Foucault, ‘critique’ could be regarded as being the art not to be governed in this way or as a project of desubjectivation. In this paper it is shown how such a project could be described as an e‐ducative practice. It explores this idea through an example which Foucault himself gave of such a critical practice: the writing of ‘experience books’. Thus it appears that such an e‐ducative practice is a ‘dangerous’, public and uncomfortable practice that is not in need (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  27. About Love: No Dogs or Philosophers Allowed.Ken Knisely, Robert Solomon, Verna Gehring & John Loughney - forthcoming - DVD.
    A rigorous and wide-ranging discussion of the most ballyhooed emotion of all--and its surprising role in making us who we are. With Robert Solomon, Verna Gehring, and John Loughney.
     
    Export citation  
     
    Bookmark   9 citations  
  28.  16
    Combinatorics with definable sets: Euler characteristics and Grothendieck rings.Jan Krají Cek & Thomas Scanlon - 2000 - Bulletin of Symbolic Logic 6 (3):311-330.
    We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  29.  80
    Combinatorics with definable sets: Euler characteristics and grothendieck rings.Jan Krajíček & Thomas Scanlon - 2000 - Bulletin of Symbolic Logic 6 (3):311-330.
    We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  30. Yesod Yosef.Joseph ben Solomon Calahora, Ḥayim Yitsḥaḳ Aharon, Eliyahu Saliman Mani, Moses ben Menahem Graf, Shimʻon ben Daṿid Abayov & Avraham Bar Shem Ṭov (eds.) - 1977 - [Yerushalayim: Ḥ. Mo. L..
     
    Export citation  
     
    Bookmark  
  31.  49
    Modelling Individual Expertise in Group Judgements.Dominik Klein & Jan Sprenger - 2015 - Economics and Philosophy 31 (1):3-25.
    Group judgements are often – implicitly or explicitly – influenced by their members’ individual expertise. However, given that expertise is seldom recognized fully and that some distortions may occur (bias, correlation, etc.), it is not clear that differential weighting is an epistemically advantageous strategy with respect to straight averaging. Our paper characterizes a wide set of conditions under which differential weighting outperforms straight averaging and embeds the results into the multidisciplinary group decision-making literature.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Inferring from topics.Jan Kuppevelt - 1996 - Linguistics and Philosophy 19 (4):393 - 443.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  33.  72
    Toward a Philosophy of Scientific Discovery.Jan G. Michel - 2021 - In Making Scientific Discoveries: Interdisciplinary Reflections. Paderborn, Deutschland: Brill/mentis. pp. 9-53.
    Jan G. Michel argues that we need a philosophy of scientific discovery. Before turning to the question of what such a philosophy might look like, he addresses two questions: Don’t we have a philosophy of scientific discovery yet? And do we need one at all? To answer the first question, he takes a closer look at history and finds that we have not had a systematic philosophy of scientific discovery worthy of the name for over 150 years. To answer the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Nagarjuna's Madhyamaka.Jan Westerhoff - 2010 - Oxford University Press USA.
    The Indian philosopher Acharya Nagarjuna was the founder of the Madhyamaka school of Mahayana Buddhism and arguably the most influential Buddhist thinker after Buddha himself. Indeed, in the Tibetan and East Asian traditions, Nagarjuna is often referred to as the 'second Buddha.' His primary contribution to Buddhist thought lies is in the further development of the concept of sunyata or 'emptiness.' For Nagarjuna, all phenomena are without any svabhaba, literally 'own-nature' or 'self-nature', and thus without any underlying essence. In this (...)
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  35.  11
    Contesting Democracy: Political Ideas in Twentieth-Century Europe.Jan-Werner Müller - 2011 - Yale University Press.
    This book is the first major account of political thought in twentieth-century Europe, both West and East, to appear since the end of the Cold War. Skillfully blending intellectual, political, and cultural history, Jan-Werner Müller elucidates the ideas that shaped the period of ideological extremes before 1945 and the liberalization of West European politics after the Second World War. He also offers vivid portraits of famous as well as unjustly forgotten political thinkers and the movements and institutions they inspired. Müller (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  36.  32
    Can education still be critical?Jan Masschelein - 2000 - Journal of Philosophy of Education 34 (4):603–616.
    The article investigates how two different conceptions of the edifying potential of education attempt to take into account the normative dimension of scientific knowledge. In the first conception it is the demand for truth that is edifying, whereas in the second concept it is a distinctively ethical demand. It is argued that the first concept in the end implies the subjection of education to the ‘brutality of facticity’, under which it risks losing its critical point. The second conception, drawing on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  8
    Experience and the Limits of Governmentality.Jan Masschelein - 2006 - Educational Philosophy and Theory 38 (4):561-576.
    Following Foucault, ‘critique’ could be regarded as being the art not to be governed in this way or as a project of desubjectivation. In this paper it is shown how such a project could be described as an e‐ducative practice. It explores this idea through an example which Foucault himself gave of such a critical practice: the writing (and reading) of ‘experience books’. Thus it appears that such an e‐ducative practice is a ‘dangerous’, public and uncomfortable practice that is not (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  5
    Do We (Still) Need the Concept of Bildung?Norbert Ricken Jan Masschelein - 2003 - Educational Philosophy and Theory 35 (2):139-154.
  39.  29
    Participation for better or for worse?Jan Masschelein & Kerlijn Quaghebeur - 2005 - Journal of Philosophy of Education 39 (1):51–65.
    The increasing emphasis on participation in education offers the starting point for this paper. Participation appears to be a strategic notion in a particular problematisation of education: this is installed through certain ways of speaking and writing (discourse) and through certain procedures, instruments and techniques that are proposed and developed in different places and spaces (technology). Participation is thereby claimed to empower individuals and to emancipate the child or the student from dominant regimes of power, including liberating them from oppressive (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  40.  63
    Twelve examples of illusion.Jan Westerhoff - 2010 - New York: Oxford University Press.
    Tibetan Buddhist writings frequently state that many of the things we perceive in the world are in fact illusory, as illusory as echoes or mirages. In Twelve Examples of Illusion , Jan Westerhoff offers an engaging look at a dozen illusions--including magic tricks, dreams, rainbows, and reflections in a mirror--showing how these phenomena can give us insight into reality. For instance, he offers a fascinating discussion of optical illusions, such as the wheel of fire (the "wheel" seen when a torch (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  38
    On the Origins of Constitutional Patriotism.Jan-Werner Müller - 2006 - Contemporary Political Theory 5 (3):278-296.
    Political theorists tend to dismiss the concept of constitutional patriotism for two main reasons. On the one hand, constitutional patriotism — understood as a post-national, universalist form of democratic political allegiance — is rejected on account of its abstract quality. On the otherhand, it is argued that constitutional patriotism, while apprearing universalist, is in fact particular through and through. According to this genealogical critique, it is held that constitutional patriotism might have been appropriate in the context when it originated — (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  42. Is world poverty a moral problem for the wealthy?Jan Narveson - 2004 - The Journal of Ethics 8 (4):397-408.
    This article discusses the question of poverty and wealth in light of several theses put forward by Larry Temkin. The claim that there is a sort of cosmic injustice involved when great disparities of ability or of wealth are found. He is concerned especially about disparities that are undeserved. It is agreed that this is unfortunate, but not agreed that they are unjust in a sense that supports the imposition of rectification on anyone else. Nor is poverty typically undeserved in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43.  34
    Is World Poverty a Moral Problem for the Wealthy?Jan Narveson - 2004 - The Journal of Ethics 8 (4):397-408.
    This article discusses the question of poverty and wealth in light of several theses put forward by Larry Temkin. The claim that there is a sort of cosmic injustice involved when great disparities of ability or of wealth are found. He is concerned especially about disparities that are undeserved. It is agreed that this is unfortunate, but not agreed that they are unjust in a sense that supports the imposition of rectification on anyone else. Nor is poverty typically "undeserved" in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44.  38
    Rawls, Historian : Remarks on Political Liberalism's 'Historicism'.Jan-Werner Müller - 2006 - Revue Internationale de Philosophie 3 (3):327-339.
  45.  76
    Enlightened Empiricism: An Examination of W. V. Quine's Theory of Knowledge. [REVIEW]Miriam Solomon - 1991 - Philosophical Review 100 (3):484-487.
  46.  35
    Wittgenstein Flies a Kite: A Story of Models of Wings and Models of the World (review).Jan Zwicky - 2007 - Journal of the History of Philosophy 45 (4):670-671.
    Jan Zwicky - Wittgenstein Flies a Kite: A Story of Models of Wings and Models of the World - Journal of the History of Philosophy 45:4 Journal of the History of Philosophy 45.4 670-671 Muse Search Journals This Journal Contents Reviewed by Jan Zwicky University of Victoria Susan G. Sterrett. Wittgenstein Flies a Kite: A Story of Models of Wings and Models of the World. New York: Pi Press, 2006. Pp. xxii + 329. Cloth, $26.95 Wittgenstein Flies a Kite focuses (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  17
    The Paradoxes of Post-War Italian Political Thought.Jan-Werner Müller - 2013 - History of European Ideas 39 (1):79-102.
    Summary This article examines the complex nature of post-war Italian political thought, stressing the importance of Italy's unusual institutional and historical political arrangements, but also the vibrancy of its political ideologies in this period. In the past it has often been argued that the dysfunctional nature of post-war Italian democracy with its rapidly changing governments, and widespread corruption—which nonetheless coexisted with the one party, the Christian Democrats, being constantly in power—led to the atrophying of political theory in general, and political (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  3
    Alkibiades' Love: Essays in Philosophy.Jan Zwicky - 2015 - Mcgill-Queen's University Press.
    Alkibiades, a central character in Plato's Symposium, claims that philosophy touches him to the quick. When Socrates speaks, he's often moved to tears and realizes he must change his life. In Alkibiades' Love, Jan Zwicky demonstrates that this image of philosophy is not anachronistic, but remains the living heart of the discipline. Philosophy can indeed matter to our lives, but for it to do so, we must reconceive the methods that, since the Enlightenment, have dominated its self-image in the West. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  41
    Dynamic interpretation and HOARE deduction.Jan Eijck & Fer-Jan Vries - 1992 - Journal of Logic, Language and Information 1 (1):1-44.
    In this paper we present a dynamic assignment language which extends the dynamic predicate logic of Groenendijk and Stokhof [1991: 39–100] with assignment and with generalized quantifiers. The use of this dynamic assignment language for natural language analysis, along the lines of o.c. and [Barwise, 1987: 1–29], is demonstrated by examples. We show that our representation language permits us to treat a wide variety of donkey sentences: conditionals with a donkey pronoun in their consequent and quantified sentences with donkey pronouns (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  30
    Discretely ordered modules as a first-order extension of the cutting planes proof system.Jan Krajíček - 1998 - Journal of Symbolic Logic 63 (4):1582-1596.
    We define a first-order extension LK(CP) of the cutting planes proof system CP as the first-order sequent calculus LK whose atomic formulas are CP-inequalities ∑ i a i · x i ≥ b (x i 's variables, a i 's and b constants). We prove an interpolation theorem for LK(CP) yielding as a corollary a conditional lower bound for LK(CP)-proofs. For a subsystem R(CP) of LK(CP), essentially resolution working with clauses formed by CP- inequalities, we prove a monotone interpolation theorem (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 999