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

"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 History of Philosophy: As I see it Bertrand Arthur William Russell Philosophy Departments Around The World Philosophy of Mathematics/Science Philosophy of Mathematics (The Bertrand Russell Archives at McMaster University) Philosophy of Science (U. Chicago) Phil. Science (Indiana U.) Center for Logic and Philosophy of Science, University of Ghent, Belgium ... International Studies in the Philosophy of Science Philosophy of Science Incommensurability Literature Bibliography on incommensurability and related matters.

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/

Richard Zach Home CV Teaching Publications ... Philosophy Department RESEARCH INTERESTS 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

Richard Zach Home CV Teaching Publications ... Philosophy Department CURRICULUM VITAE For a nicely formatted printable version including complete lists of publications and talks, please choose PDF or PostScript format. Education 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 Areas of Specialization History and Philosophy of Logic Philosophy of Mathematics Formal Logic Areas of Competence Epistemology History of Analytic Philosophy Philosophy of Language Dissertation " Hilbert's Finitism: Historical and Philosophical Perspectives " Committee Paolo Mancosu (Philosophy, co-chair), Jack H. Silver (Mathematics, co-chair), Barry Stroud (Philosophy)

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

Meetings Contact Townsend Center Logic Group ... Philosophy Meetings 2001-2002 Wednesday, September 19, 2001, 6:00-7:00 Dennes Room (234 Moses) Aladdin M. Yaqub (University of New Mexico, Albuquerque/Stanford University) The View from Within: Mathematics as an Objective Study In this paper I present a defense of the thesis that mathematics is an objective study whose subject matter is abstract structures. The central argument is carried out by examining and analyzing a few examples in which mathematical explanations and applications are presented within mathematics itself, i.e., for the sake of illuminating other parts of mathematics. This approach departs from customary philosophical practice, in which explanation is thought to exist exclusively in the natural and social sciences, and mathematical application is understood to be the application of mathematics in the sciences. Much of the current research in the philosophy of mathematics focuses on the philosophical implications of the applicability of mathematics in science - its external applicability. My goal is to rethink this focus and redirect our attention to the internal applicability of mathematics and to its (usually neglected) explanatory nature. Wednesday, October 24, 2001, 6:00-7:00

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/

@import "style.css"; The Australasian Journal of Logic Established July 2003 Managing Editor Greg Restall ISSN: 1448-5052 Front Page About the AJL Editorial Board For Readers For Authors ... Archives 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. 2005: Volume 3 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/

@import "../style.css"; The Australasian Journal of Logic Established July 2003 Managing Editor Greg Restall ISSN: 1448-5052 Front Page About the AJL Editorial Board For Readers ... Archives 2004: Volume 2 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.

Philosophy Course Descriptions PHILOSOPHY (730:50) INTRODUCTION TO PHILOSOPHY (R) (3) An exploration of philosophical problems, such as truth, justice, mind, and person, with a view to surveying the field and locating such particular philosophical specialties within it as logic, ethics, and metaphysics. PROBLEMS OF IDENTITY A philosophical examination of the question, "Who am I?" Study of texts in philosophy and the human sciences that encourage the student to confront the problem of his or her own identity. INTRODUCTION TO LOGIC (R) (3) 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

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'. Table of Contents (Clicking on the links below will take you to those parts of this article)

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

Information Faculty Of Philosophy 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. The outstanding scientists V.F. Asmus and P.S Popov worked at the Faculty and founded their scientific schools. Nowadays the best traditions of the Russian philosophy are being preserved by professors and teachers of the Faculty. 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

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

Introduction of researcher 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

Introduction of researcher 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

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 Philosophy 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. THE MAJOR 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/

Textbook for Philosophy 205, SFSU (Fall 2004: Tuesdays 7-9:45 pm, Humanities 381) Title: Philosophy, Mathematics and Formal Logics Authors: Craig Harrison William Pezzaglia Press on links below to download drafts of chapters in pdf format. Last updated: 2004Sept19 [ update history Title, Preference, Introduction, Table of Contents Chapter 1 [complete] Chapter 2 [complete] Chapter 3 (complete except for missing last 10 figures) Chapter 4 [in preparation] Chapter 5 [in preparation] Chapter 6 [in preparation] Chapter 7 [in preparation] Chapter 8 [in preparation] Index [up through chapter 3] This is a draft of an unpublished book. No portion of this book can be duplicated without permission of authors.

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

I Current Students I Prospective Students I Former Students I Home I UCL Academic Staff Graduate Research Journals ... Former Students Where are they now? This is a list of some of our previous members of staff and where they are now. To inform us of updates, please email Professor Sir A. J. Ayer Please click to link to our appreciations page. back to top Dr Helen Beebee Helen Beebee was a Temporary Lecturer from 1996-97. She now has a Lectureship at the University of Manchester. back to top Prof Malcolm Budd Malcolm Budd retired as Grote Professor in 2001, having joined the department in 1970. He continues his research and writing, dividing his time between Cambridge and France. The Aesthetic Appreciation of Nature is his latest book. back to top Prof Myles Burnyeat 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 Jerry Cohen left the Department in 1984, having first joined in 1963, to take up the Chichele Chair of Political Thought at Oxford University, where he is still. His recent work includes the acclaimed book

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

Modal Logic This course is an introduction emphasizing major techniques, and a small tour of modern application areas for modal logic. Schedule Week 1 Basic Language and Expressive Power This week introduces the basic modal language, and its evaluation in possible worlds models. This is a paradigm for studying the diverse modal languages used in practice. Expressive power is measured by the modern technique of bisimulation invariance, also found in computer science. We can think of bisimulation in terms of playing games, a topic that will return in this course. basic language and semantics bisimulation and expressive power Week 2 Axiomatization and Complexity Here we look at the Balance found in any logical system. Expressive power comes at a price in terms of complexity for the basic tasks a logical system is used for, These are semantical evaluation/model checking, valid reasoning/ SAT-testing, and model comparison for language equiva- lence/structural similarity. This involves a brief excursion into computational complexity, a whole topic by itself. valid reasoning and axiomatics complexity of logical tasks Week 3 Translations and Extensions We now turn our working analogy between modal operators

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

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

NewJour Home NewJour: E Search [Prev] ... [Next] Erkenntnis http://www.kluweronline.com/issn/0165-0106/contents NewJour Home NewJour: E Search ... [Next]

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

SEARCH: Keywords Author Title More Options Power Search Search Hints E-MAIL NOTICES NEW IN PRINT E-BOOKS ... HOME PAGE The Search for Mathematical Roots, 1870-1940: I. Grattan-Guinness Shopping Cart Reviews Table of Contents 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

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