Home  - Basic_L - Logics Philosophy

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

41-60 of 99    Back | 1  | 2  | 3  | 4  | 5  | Next 20

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Logics Philosophy:     more books (100)

The Blackwell Guide to Philosophical Logic (Blackwell Philosophy Guides) Thinking About Logic: An Introduction to the Philosophy of Logic (OPUS) by Stephen Read, 1995-03-23 Set Theory and Its Philosophy: A Critical Introduction by Michael Potter, 2004-03-11 Logic for Lawyers : A Guide to Clear Legal Thinking by Hon. Ruggero J. Aldisert, 2001-06 Philosophy of Logic (Handbook of the Philosophy of Science) Methods of Logic: Fourth Edition by W. V. Quine, 1982-11-16 Introduction to Logic (13th Edition) by Irving M. Copi, Carl Cohen, 2008-01-07 Introducing Logic: A Graphic Guide by Dan Cryan, Sharron Shatil, 2004-12-15 A Logical Journey: From Gödel to Philosophy by Hao Wang, 1997-01-10 An Introduction to Logic by Morris R. Cohen, Ernest Nagel, 1993-10 Introduction to Logic by Alfred Tarski, 1995-03-27 The Metaphysical Foundations of Logic (Studies in Phenomenology and Existential Philosophy) by Martin Heidegger, 1992-12-01 Logic Made Easy: How to Know When Language Deceives You by Deborah J. Bennett, 2005-07-11 The Opening of Hegel's Logic: From Being to Infinity (History of Philosophy Series) by Stephen Houlgate, 2005-12-09

lists with details

41. Philosophy
    philosophy and History of philosophy, philosophy of Science and Mathematics. philosophy in Cyberspace Logic/Science Pure and Applied logics at  
    http://www.personal.kent.edu/~rmuhamma/Philosophy/philosophy.html
    
    Extractions: "The method of "postulating" what we want has many advantages; they are the same as the advantages of theft over honest toil." Russell , Introduction to Mathematical Philosophy, New York and London, 1919, p 71. "Almost everything that distinguishes the modern world from earlier centuries is attibutable to science, which achieved its most spectacular triumphs in the seventeenth century." Russell , History of Western Philosophy, (London, 1979) 512. "The point of philosophy is to start with something so simple as not to seem worth stating, and to end with something so paradoxical that no one will believe it." Russell

42. Richard Zach - Research
    Nonclassical logics. Parallel to my work in philosophy and proof theory, I havealso pursued research on several related areas in non-classical logic.  
    http://www.ucalgary.ca/~rzach/research/
    
    Extractions: Richard Zach Home CV Teaching Publications ... Philosophy Department My research interests fall in three areas: formal logic with emphasis on proof theory and non-classical logics in computer science; history and philosophy of logic, history of analytic philosophy; and philosophy of mathematics. Although these are distinct areas, they are closely connected: a large part of (early) analytic philosophy was concerned with logical investigations and philosophy of mathematics (especially in Frege, Russell, and Wittgenstein); past and current philosophy of mathematics is tightly linked to the advances of formal logic in the last hundred years, in no small part to proof theory; and much of the history of logic of the early 20th century is history of non-classical logic. Many logics used in computer science (in particular, modal and temporal logics, intuitionistic logic, and many-valued logics) originated from philosophy, and interesting connections persist. If you're interested what results I've achieved and what impact my research has had, you may consult the list of publications and the list of citations.

43. Richard Zach - Curriculum Vitae
    His interests include philosophy of mathematics, history and philosophy of logic,theory of proofs, and nonclassical logics.  
    http://www.ucalgary.ca/~rzach/cv.html
    
    Extractions: Richard Zach Home CV Teaching Publications ... Philosophy Department For a nicely formatted printable version including complete lists of publications and talks, please choose PDF or PostScript format. Ph.D., Logic and the Methodology of Science University of California, Berkeley C.Phil., Logic and the Methodology of Science University of California, Berkeley M.A., Mathematics University of California, Berkeley Diplom-Ingenieur, Computational Logic , Vienna, 1993 (with highest honors); Thesis: Proof Theory of Finite-Valued Logics History and Philosophy of Logic

44. History And Philosophy Of Logic, Mathematics, And Science
    The History and philosophy of Logic, Mathematics, and Science Working Group As alternatives there are nonstandard systems called relevance logics or  
    http://math.berkeley.edu/~jhafner/hplm/archive01-02.html

45. AJL: The Australasian Journal Of Logic
    as it is applied in mathematics, computer science, linguistics and philosophy . Constant Domain Quantified Modal logics Without Boolean Negation  
    http://www.philosophy.unimelb.edu.au/ajl/
    
    Extractions: @import "style.css"; Established July 2003 Managing Editor Greg Restall ISSN: 1448-5052 Established in 2003, the Australasian Journal of Logic is a fully refereed, freely available electronic journal covering all areas of research in logic. We aim to be a repository of timely, original and significant research in pure logic, and logic as it is applied in mathematics, computer science, linguistics and philosophy. REVIEW Boolean Reasoning The Logic of Boolean Equations Kari Saukkonen Text PDF Citation BibTeX 9 pages. Published July 11, 2005 REVIEW Deductive Logic Gillian Russell Text PDF Citation BibTeX 4 pages. Published July 11, 2005 Constant Domain Quantified Modal Logics Without Boolean Negation Greg Restall Abstract HTML Text PDF Citation BibTeX 18 pages. July 8, 2005 Tonk Strikes Back Denis Bonnay and Benjamin Simmenauer Abstract HTML Text PDF Citation BibTeX 12 pages. July 8, 2005 Basic Relevant Theories for Combinators at Levels I and II Koushik Pal and Robert K. Meyer

46. AJL: Volume 2, 2004
    In two early papers, Max Cresswell constructed two formal logics of propositional Copyright © 2004, philosophy Department, University of Melbourne.  
    http://www.philosophy.unimelb.edu.au/ajl/2004/
    
    Extractions: @import "../style.css"; Established July 2003 Managing Editor Greg Restall ISSN: 1448-5052 Propositional Identity and Logical Necessity David B. Martens Text PDF Citation BibTeX 10 pages. Published March 12, 2004 In two early papers, Max Cresswell constructed two formal logics of propositional identity, PCR and FCR , which he observed to be respectively deductively equivalent to modal logics and and as logics of broadly logical necessity. In this paper, I describe weaker propositional identity logics than PCR or . I also describe how to formulate standard modal logics ( K , and their extensions) with strict equivalence as the only modal primitive. Possibility Semantics for Intuitionistic Logic M. J. Cresswell Text PDF Citation BibTeX 19 pages. Published April 30, 2004 The paper investigates interpretations of propositional and first-order logic in which validity is defined in terms of partial indices; sometimes called possibilities but here understood as non-empty subsets of a set W of possible worlds. Truth at a set of worlds is understood to be truth at every world in the set. If all subsets of

47. Deparment 0f Philosophy And Religion
    Topics from among such deviant logics as manyvalued and paradoxes,nontruth-functional logics, and issues in the philosophy of language and logic.  
    http://camden-www.rutgers.edu/dept-pages/philosreligion/pages/courses/des_philo.
    
    Extractions: An introduction to modem symbolic logic, with an emphasis on methods for the evaluation and construction of deductive arguments, and on the concepts of validity, consistency, and implication. Topics selected from among the following: informal fallacies, logic and ordinary language, induction, the scientific method, the logic of Aristotle, and the relation between logic and other areas in philosophy. HISTORY OF PHILOSOPHY I (R) (3) The beginnings and early developments of Western philosophy. Readings selected from among the pre-Socratics, Plato, Aristotle, Maimonides, Aquinas, and Occam. Topics may include the nature of argument, political loyalty and political dissent, justice, normative ethics, causality, and the existence of God. HISTORY OF PHILOSOPHY II (R) The career of philosophy from its modern beginnings in Descartes. Readings selected from the classical modern period, from Descartes through Kant, and also from such contemporary approaches as existentialism and analytic philosophy. Topics include the relationship between mind and body, the origins and extent of human knowledge, skepticism and belief, and the meaning of personal identity.

48. Logical Paradoxes [Internet Encyclopedia Of Philosophy]
    Haack, S. 1978, philosophy of logics, CUP, Cambridge. Hallett, M. 1984, CantorianSet Theory and Limitation of Size, Clarendon Press, Oxford.  
    http://www.iep.utm.edu/p/par-log.htm
    
    Extractions: Logical Paradoxes A paradox is generally a puzzling conclusion we seem to be driven towards by our reasoning, but which is highly counterintuitive, nevertheless. There are, amongst these, a large variety of paradoxes of a logical nature which have teased even professional logicians, in some cases for several millennia. But what are now sometimes isolated as 'the logical paradoxes' are a much less heterogeneous collection: they are a group of antinomies centered on the notion of self-reference , some of which were known in Classical times, but most of which became particularly prominent in the early decades of last century. Quine distinguished amongst paradoxes such antinomies. He did so by first isolating the 'veridical' and 'falsidical' paradoxes, which, although puzzling riddles, turned out to be plainly true, or plainly false, after some inspection. In addition, however, there were paradoxes which 'produce a self-contradiction by accepted ways of reasoning', and which, Quine thought, established 'that some tacit and trusted pattern of reasoning must be made explicit, and henceforward be avoided or revised' (Quine 1966, p7). We will first look, more broadly, and historically, at several of the main conundrums of a logical nature which have proved difficult, some since antiquity, before concentrating later on the more recent troubles with paradoxes of self-reference. They will all be called 'logical paradoxes'.

49. Èíîñòðàííûé îòäåë - Ôèëîñîôñêèé ôàêóëüòåò Ì
    in logics General logics, logics of Scientific Cognition, philosophy and philosophy of Religion; logics; Philosophic Problems of Natural Sciences  
    http://www.philos.msu.ru/fac/dep/foreign/eng.html
    
    Extractions: Information Faculty of Philosophy was opened at the moment of foundation of the Moscow State University in 1755. Moscow University has made a considerable contribution to the development of national philosophic thought. The outstanding Russian thinkers, such as A.I. Vvedensky, M.M. Troyitsky, V.S. Soloviev, taught at the University. M.Ya.Grot, the founder and the first Editor-in-Chief of the "Problems of Philosophy and Psychology" journal, worked at the Faculty. Such outstanding representatives of the Russian social and political thought as A.I. Gertzen, N.P. Ogarev, V.G. Belinsky, and I.V. Kireyevsky graduated from the University. Their great contribution to the development of philosophical problems of natural sciences and of the Humanities had been made by such scientists of the University as M.G. Pavlov, K. Roul'ye, K.A. Timiryazev, I.M. Sechenov, V.I. Vernadsky and others. To ensure close connections with advanced scientific thoughts all opportunities are used to draw the best scientists of the Russian Academy of Sciences (RAS) to work with the Faculty. In its turn the RAS Institute of Philosophy has the Department of Philosophical Anthropology at the Faculty. Foreign professors from the world leading universities regularly lecture at the Faculty.

50. CSUSB Philosophy / Students / UD Descriptions
    s of all philosophy courses are available in the Catalog. In thiscourse, we consider logics alternative to the classical approach,  
    http://cal.csusb.edu/Depts/Philosophy/up_div.htm
    
    Extractions: Philosophy Course Descriptions Descriptions of all Philosophy courses are available in the Catalog . Expanded descriptions for upcoming / current upper-division courses appear below. Expanded descriptions of many prior upper-division courses are also available. Fall 2005 Phil 30X - Alternative Logics - Tony Roy - TR 10:00 - 11:50 Perhaps you were scandalized to discover that in classical logic anything follows from a contradiction. Or suppose you were playing basketball yesterday. Then, (i) "If you went one-on-one with Kobe, you would have won" and (ii) "If you went one-on-one with Kobe, you would have lost" understood as material conditionals both come out true, if you didn't in fact go one-on-one with him and the antecedents are false. But surely one of the claims, most likely (i), is false. In this course, we consider logics alternative to the classical approach, with particular attention to their treatment of the conditional. Systems to be considered combine, in different ways, semantics based on possible worlds

51. Introduction Of Researcher
    Organizer, FoLLI Workshop on logics for Linguistics, philosophy, and CognitiveScience, Chiba University, 1996. Editorial Board, Linguistics and philosophy,  
    http://research.nii.ac.jp/~kanazawa/official/content_e.html
    
    Extractions: Revision 1 As of 2005. 5.10 [Name] Kanazawa Makoto No Image [Doctoral degrees] 1994, Ph.D., Stanford University [Affiliation / Position] Associate Professor, Multimedia Information Research Division [Room] [Telephone] [Facsimile] [Personal home page] http://research.nii.ac.jp/~kanazawa/index.html [JST ReaD] http://read.jst.go.jp [Research fields] Mathematical Linguistics, Logic, Natural Language Semantics Outline of current research Education Career Awards ... Competitive research funds [Outline of current research] Formal properties of a grammar formalism based on the lambda calculus Formal models of acquisition of word meanings Proof theory of implicational logics [Education] March 1988, Bachelor of Letters, Linguistics, University of Tokyo June 1993, Master of Arts in Linguistics, Stanford University June 1994, Doctor of Philosophy in Linguistics, Stanford University [Career] July 1994, Associate Professor, Faculty of Letters, Chiba University April 2000, Associate Professor, Interfaculty Initiative in Information Studies, University of Tokyo April 2004, Associate Professor, National Institute of Informatics

52. Introduction Of Researcher
    state of the art in the logics of circularity”, 35th Conference of philosophy of FoLLI International Workshop on logics for Linguistics, philosophy,  
    http://research.nii.ac.jp/~terui/official/content_e.html
    
    Extractions: Revision 1 As of 2004. 8.27 [Name] Terui Kazushige [Date of birth] 1971/8/10 (32 years old) [Doctoral degrees] 2002, Ph.D in Philosophy (Keio University) [Affiliation / Position] Research Associate, Foundations of Algorithms Research, Foundations of Informatics Research Division. [Room] [Telephone] [Facsimile] [E-mail] terui@nii.ac.jp [Personal home page] http://research.nii.ac.jp/~terui [JST ReaD] none [Research fields] Logic, Theoretical Computer Science Outline of current research Education Career Awards ... Competitive research funds [Outline of current research] Linear logic, proof theory and computational complexity with their applications to programming languages. Currently I am interested in the complexity of normalization (i.e., program execution) in constructive logics and logical/type-theoretical frameworks for feasible programming. [Education] 1995 BA, Faculty of Literature, Keio University 1997 MA, Faculty of Literature, Keio University 2002 PhD, Faculty of Literature, Keio University [Career] [Awards] Kleene Award (for the best student paper), the 16th Annual IEEE Conference on Logic in Computer Science, 2001

53. Philosophy
    (b) philosophy 3 (or 6 if not used to satisfy requirements of the minor) the treatment of nondenoting terms in logics known as “free logics”;  
    http://www.dartmouth.edu/~reg/courses/desc/phil.html
    
    Extractions: Skip to main content You may be using a Web browser that does not support standards for accessibility and user interaction. Find out why you should upgrade your browser for a better experience of this and other standards-based sites... Dartmouth Home Search Index Dartmouth Home ... Descriptions Chair: James H. Moor Professors J. L. Driver, B. Gert, J. H. Moor, W. P. Sinnott-Armstrong, R. A. Sorensen; Associate Professors A. R. Allen, S. J. Brison, S. S. Levey; Assistant Professors J. V. Kulvicki, A. L. Roskies, C. J. Thomas; Lecturers A. E. Bumpus, T. P. Rosenkoetter; Visiting Assistant Professor W. J. Pollard. 1. Prerequisites: (a) Philosophy 1 or 2 (b) Philosophy 3 (or 6 if not used to satisfy requirements of the major) 2. Requirements: Eight philosophy courses beyond the prerequisites including: (a) Two from Philosophy 11, 12, 13, 14, 15, 16, and 17 (b) One from Philosophy 30, 31, 32, 33, 34, and 35 (c) One from Philosophy 8, 37, and 38 (d) One advanced seminar, Philosophy 80, which serves as the culminating experience in the major Mathematics 39 (or 69) may be counted toward the major.

54. Harrison And Pezzaglia, Philosophy, Mathematics And Formal Logics
    Textbook for philosophy 205, SFSU. (Fall 2004 Tuesdays 7945 pm, Humanities 381).Title philosophy, Mathematics and Formal logics  
    http://www.clifford.org/wpezzag/book/logic/

55. Practical Philosophy And Human Relations - Ca' Foscari
    philosophy and politics, aesthetics, logics and epistemology, philosophy and history and philosophy (4 credits), theory, logics and epistemology,  
    http://www.unive.it/nqcontent.cfm?a_id=7834

56. Where Now?
    He is now a Professor of Formal logics and philosophy of Language at the Institutfür Maschinelle Sprachverarbeitung, Universität Stuttgart. back to top  
    http://www.ucl.ac.uk/philosophy/alumni_wherenow.htm
    
    Extractions: After completing his graduate studies in Philosophy here at University College London, Myles Burnyeat taught in the Department from 1964-1978. He left to take up a Lectureship in Classics at Cambridge University and become a Fellow and Lecturer in Philosophy at Robinson College Cambridge. From 1984-1996 he was the Laurence Professor of Ancient Philosophy at Cambridge and he is currently a Senior Research Fellow in Philosophy at All Souls College, Oxford. back to top Prof Jerry Cohen

57. Johan Van Benthem : Current Teaching Activities
    with links to philosophy and linguistics. Week 6 Modal logics of Space. Guest speakerDarko Sarenac. See also this seminar page  
    http://staff.science.uva.nl/~johan/169-2004.html

58. Articles: Alexandre Costa-Leite
    Proceedings of the Workshop on the combination of logics theory and unity/plurality of logics and mathematics , Department of philosophy and Department  
    http://luna.unine.ch/alexandre.costa/articles.html
    
    Extractions: Published articles 1) Rigid designation, necessary a posteriori truths and causal theory: Kripke's contribution to analytic philosophy. Fragmentos de Cultura - Brazil - UCG - 2000 Combining possibility and knowledge Towards a general theory of the combination of logics Aspects of Universal Logic. Institute of Logic, University of Neuchâtel - Switzerland - December 2004. 4) Logics, categories and concepts - Noesis "Proceedings of the Congress on "The philosophical unity/plurality of logics and mathematics", Department of Philosophy and Department of Mathematics, University of Nice, France Forthcoming articles Paraconsistency and knowability (French translation: Alessio Moretti) 2) Logics for the limits of knowledge Les différents aspects du concept de bivalence Paraconsistentization of logics 5) Paraconsistentization of Classical Propositional Logic Books 1) A panoramic introduction to paraconsistent logics (with J-Y. Béziau) Institute of Logic, University of Neuchâtel - Switzerland - December 2004. Lógicas, categorias e conceitos

59. Erkenntnis
    These fields are epistemology - philosophy of science, foundations and philosophy of logic, and all kinds of philosophical logics - philosophy of  
    http://gort.ucsd.edu/newjour/e/msg02816.html

60. Grattan-Guinness, I.: The Search For Mathematical Roots, 1870-1940: Logics, Set
    logics, Set Theories and the Foundations of Mathematics from Cantor through While many books have been written about Bertrand Russell s philosophy and  
    http://www.pupress.princeton.edu/titles/7004.html
    
    Extractions: Introduction [in PDF format] ... Search within this book at Google Print While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N. Whitehead in their Principia mathematica (1910-1913). Grattan-Guinness draws on around fifty manuscript collections, including the Russell Archives, as well as many original reviews. The bibliography comprises around 1,900 items, bringing to light a wealth of primary materials. Written for mathematicians, logicians, historians, and philosophersespecially those interested in the historical interaction between these disciplinesthis authoritative account tells an important story from its most neglected point of view. Whitehead and Russell hoped to show that (much of) mathematics was expressible within their logic; they failed in various ways, but no definitive alternative position emerged then or since. Review: "Grattan-Guiness's uniformly interesting and valuable account of the interwoven development of logic and related fields of mathematics . . . between 1870 and 1940 presents a significantly revised analysis of the history of the period. . . . [His] book is important because it supplies what has been lacking: a full account of the period from a primary mathematical perspective."James W. Van Evra

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

41-60 of 99    Back | 1  | 2  | 3  | 4  | 5  | Next 20