81. Philosophy Department, The University Of Auckland, New Zealand. There will be three tests 20%, 30% 50%. Reading, Required text Modal logics and philosophy by Rod Girle. Assessment, Coursework only. Prerequisite(s), PHIL 101. http://www.arts.auckland.ac.nz/phi/index.cfm?fuseaction=Course_Template&CC=PHIL&

82. Logics And Knowledge Representation (ECS 289G) Spring 2004 On Modal logics Modal Logic (An Overview, part of Stanford Encyclopedia of philosophy); Modal logics (part of Some Philosophical Problems from the Standpoint http://www.db.cs.ucdavis.edu/teaching/289G-SQ04/

Logics and Knowledge Representation ECS 289G Spring 2004 Content Syllabus Course information Handouts Assignments ... Resources Course Information Instructor Dr. Michael Gertz Location 129 Wellman Time Handouts Note: Several examples and proofs are not given in the handouts but are presented in class Thursday, April 1 : Introduction [PDF] Antony Galton: Classical Logic: a Crash Course for Beginners Tuesday, April 6 Section 2 : Propositional Logic (Review) [PDF] Thursday, April 8 Finish Section 2; start with section 3 (First-Order Logic) [PDF] Assignment 1: [PDF] due 4/15/2004 Thuesday, April 13 Section 3: Semantics of FOL, Normal Forms Thursday, April 15 Section 3: Undecidability of FOL; mathematical theories; Herbrand's Theory Tuesday, April 20 Section 3: FOL Resolution and Refinements Assignment 2: PDF Back to the top Assignments Tuesday, April 9 Assignment 1: pdf , due 4/15/2002 (Warm-Up) Back to the top Reading There is no required textbook for this course. A textbook I recommend is: John F. Sowa: Knowledge Representation: Logical, Philosophical, and Computational Foundations , Brooks/Cole (Thomson Learning), 2000.

83. Fall 2004 Philosophy Graduate Courses This course covers the standard logics that are often presupposed in contemporary analytic philosophy, especially in philosophy of language and metaphysics http://vm.uconn.edu/~wwwphil/f04grad.htm

Fall 2004 Philosophy Graduate Courses Philosophy 301. Seminar. Tuesdays 9-12. Instructor: John Troyer. This seminar provides a survey of 20th century analytic philosophy. If you're steeped in this tradition, you don't need this seminar. Readings will include: Ayer (ed.), Logical Positivism ; Ayer, Language, Truth and Logic ; Quine, From a Logical Point of View ; Kripke, Naming and Necessity ; and various articles. Philosophy 307. Logic. Tuesdays 2-5. Instructor: JC Beall. This course covers the standard logics that are often presupposed in contemporary analytic philosophy, especially in philosophy of language and metaphysics (but also ethics and, increasingly, philosophy of mind). In particular, we cover standard modal logics and standard many-valued logics. The focus is on the semantic ideas, rather than proof theory. We will focus on the propositional level. NOTE: We will review classical logic (semantics) as a starting point, but you really should have an acquaintance with classical first-order logicat the very least, classical propositional logic. If you have any questions, please contact JC Beall:

84. Philosophy Department Aberdeen philosophy Society; Interest Group in Pure and Applied logics; Canadian Society for the History and philosophy of Mathematics; http://www.muhlenberg.edu/depts/philosophy/links.html

Home Requirements Courses Faculty ... Lists of Additional Philosophy Resources Internet Resources for Philosophers General Guides NOESIS: Philosophical Research Online HIPPIAS: Philosophy Search Engine EpistemeLinks.com Philosophy In Cyberspace ... Books in Philosophy David Hume Individual Philosophers Jeremy Bentham Storm's Kierkegaard webpage Parmenides of Elea Bertrand Russell Archives ... Top of Page Philosophy Journals Analysis and Analyst Behavioral and Brain Sciences ... Top of Page Philosophical Associations American Philosophical Association Canadian Philosophical Association Australasian Philosophical Association American Association of Philosophy Teachers ... Southwstern University Philosophy Club Philosophical Societies Southern Society for Philosophy and Psychology International Society for Environmental Ethics Society of Christian Philosophers American Society for Aesthetics ... Top of Page Institutes and Research Centers Centre for Applied Ethics (UBC) Center for Philosophy of Science (Pittsburgh) Center for the Study of Language and Information (Stanford) Computational Epistemology Lab (Waterloo) ... The Voice of the Shuttle: Web Page for Humanities Research Philosophy Projects Bertrand Russell Editorial Project Carnegie Mellon University Philosophy Texts Colin Allen's Logic Daemon Great Voyages: the History of Western Philosophy from 1492-1776 ... LogicAL: Logic, Philosophy and Artificial Life

85. Cogprints - A Unifying Field In Logics: Neutrosophic Logic. Smarandache, Florentin (1999) A Unifying Field in logics Neutrosophic Logic., in Perez, Minh, Eds. philosophy, chapter Book, pages pp. 1141. http://cogprints.ecs.soton.ac.uk/archive/00001919/

Cogprints Home About Browse Search ... Help A Unifying Field in Logics: Neutrosophic Logic. Smarandache, Florentin A Unifying Field in Logics: Neutrosophic Logic. , in Perez, Minh , Eds. Philosophy , chapter Book , pages American Research Press Full text available as: PDF - Requires Adobe Acrobat Reader or other PDF viewer. Abstract Keywords: Neutrosophy, Dialectics, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability, Fuzzy Logic, Fuzzy Set, Imprecise Probability, Probability Subjects: Philosophy Logic ID Code: Deposited By: Smarandache, Florentin Deposited On: 24 November 2001 Alternative Locations: http://www.gallup.unm.edu/~smarandache/eBook-Neutrosophics2.pdf References in Article Select the SEEK icon to attempt to find the referenced article. If it does not appear to be in cogprints you will be forwarded to the paracite service. Poorly formated references will probably not work. [1] Ashbacher, Charles D., Exploring Some Specific Functional Mappings To Create Operators In The Neutrosophic Logic, mss., 1999. [2] Association for Symbolic Logic, Urbana, IL, USA, New Book Anouncement of Interest to Logicians, http://www.aslonline.org/links/html. [3] Atanassov, K., Burillo, P., Bustince, H., On the intuitionistic fuzzy relations, Notes on Intuitionistic Fuzzy Sets, Vol. 1 (1995), No. 2, 87 - 92.

86. Richard Zach - Research used in computer science (in particular, modal and temporal logics, intuitionistic logic, and manyvalued logics) originated from philosophy, and interesting 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.

87. Faculty Of Philosophy: Part IB Paper 2 S. Blackburn, Spreading the Word (OUP, 1984) P. Engel, The Norm of Truth (Harvester Wheatsheaf, 1991) S. Haack, philosophy of logics (CUP, 1978) RM Sainsbury http://www.phil.cam.ac.uk/u_grads/Tripos/Logic/Course_Outline/IB_P_2_03Logic.htm

Faculty of Philosophy University of Cambridge Faculty of Philosophy IB Course Outlines Course Outlines Part IB, Paper 1, Metaphysics and Philosophy of Mind Part IB, Paper 2, Logic printable version (PDF 128K) Part IB, Paper 3, Ethics Part IB, Paper 4, History of Ancient Philosophy Part IB, Paper 5, History of Modern Philosophy Part IB, Paper 6, Philosophy of Science ... Part IB, Paper 8, Experimental Psychology Part IB Logic Syllabus Theories of meaning: compositionality of meaning; meaning and truth; intentions and speech acts; force and content. Quantifiers: the semantics of quantified sentences; referential and substitutional readings. Logical form: the purposes of formalisation; logical form and theories of meaning. Names and descriptions: sense and reference; Russell¹s theory of descriptions; causal theories of names; identity. Variants of classical logic: elements of modal logic; the uses and nature of possible worlds; intuitionistic logic and its relationship with S4; problems with intentional contexts; quantum logic. Theories: the axiomatic method; informal and formal theories; examples.

88. Center For Logic, Epistemology And The History Of The Science - CLE Model and Proof Theory of NonClassical logics; Algebraic Aspects of Non-Classical logics; Computability Theory; Foundations of Set Theory; philosophy of Logic. The http://www.cle.unicamp.br/english/page_ing.htm

THE CENTRE FOR LOGIC, EPISTEMOLOGY AND THE HISTORY OF SCIENCE Areas of Work Though mainly of interdisciplinary character, the research developed in the CENTER FOR LOGIC, EPISTEMOLOGY AND THE HISTORY OF SCIENCE (CLE) is organized into four individual areas: Epistemology and Philosophy of Science, History of Science, Interdisciplinary Studies, Logic. The area of EPISTEMOLOGY AND PHILOSOPHY OF SCIENCE concentrates its activities under what we could call an analytic perspective, if we understand by this term the application of rigorous methods (including formal ones) both to formulate and to solve philosophical problems. The main interests of the researchers in this area are: Philosophy of Formal Sciences logic, mahtematics and the foundations of computer science Philosophy of Human Sciences Philosophy of Mind Philosophy of Language Their main publication is MANUSCRITO. The area of HISTORY OF SCIENCE concentrates its activities presently in the History of Physics, albeit the natural difficulties due to the lack of tradition in this field in Brazil. The CLE maintains an Archive for Documentation in the History of Sciences which primarily collects and organizes material from Brazilian and Latin-American sources.

89. Lecture Log, Philosophy 416, Modal Logic Lecture Log. philosophy 416,Modal Logic Winter 2004. 1. Wed., Jan. 5. Fri., Jan. 16, Tense logic, logics of action and the frame problem. http://www.eecs.umich.edu/~rthomaso/courses/phil416/log.html

Lecture Log Philosophy 416,Modal Logic: Winter 2004 1. Wed., Jan. 7 General information on the course. Introduction to the system K , and background in proof theory and model theory. 2. Fri., Jan. 9 Soundness. The structure of a Henkin-style completeness proof. 3. Mon., Jan. 12 Completeness of the system K. Some modal topics: multiagent belief systems, logic of perception, deontic logic 4. Wed., Jan. 14 Some proofs in modal logic. Basics of correspondence theory; soundness and completeness for D, T, and S4. 5. Fri., Jan. 16 Tense logic, logics of action and the frame problem. A little bit about intuitionist logic. Mon., Jan. 19. No class. (MLK Day.) 6. Wed., Jan. 21 More proofs; we managed to work out a solution to exercise 3.8(a). Soundness and completeness for B. S5 is sound and complete for the Euclidean condition, but this is equivalent to a nonrelational semantics without a relation, so this is the simplest modal semantics. A little bit about nonmonotonic logic and modal logic. 7. Fri., Jan. 23

90. Grattan-Guinness, I. The Search For Mathematical Roots, 1870-1940 The Search for Mathematical Roots, 18701940 logics, Set Theories and the While many books have been written about Bertrand Russell s philosophy and some on http://pup.princeton.edu/titles/7004.html

91. Online Papers In Philosophy March 12 2004 And This All Men Call God, Faith and philosophy, forthcoming In two early papers, Max Cresswell constructed two formal logics of propositional identity, PCR http://www.brown.edu/Departments/Philosophy/Opp/Archives/002598.html

92. Australasian Journal Of Philosophy, Volume 80, Issue 4, December 2002: P. 541 Australasian Journal of philosophy. Volume 80, Issue 4, December 2002 p. 541. Sociative logics and their Applications Essays by the Late Richard Sylvan. http://www3.oup.co.uk/ajphil/hdb/Volume_80/Issue_04/800541a.sgm.abs.html

Select a journal... Adelphi Papers African Affairs Age and Ageing Alcohol and Alcoholism American Journal of Epidemiology American Law and Economics Review American Literary History Annals of Botany Annals of Occupational Hygiene Annals of Oncology Applied Linguistics Australasian Journal of Philosophy Behavioral Ecology Bioinformatics Biometrika Biostatistics BJA: British Journal of Anaesthesia Brain Brief Treatment and Crisis Intervention British Journal of Aesthetics British Journal of Criminology British Jnl. for the Philosophy of Sci. British Journal of Social Work British Medical Bulletin BWP Update Cambridge Journal of Economics Cambridge Quarterly Cancer Science Carcinogenesis Cerebral Cortex Chemical Senses Classical Quarterly Classical Review Clinical Psychology: Science and Practice Communication Theory Community Development Journal Computer Bulletin Computer Journal Contemporary Economic Policy BJA: CEACCP Contributions to Political Economy ELT Journal Early Music Economic Inquiry English Historical Review Environmental Practice Epidemiologic Reviews ESHRE Monographs Essays in Criticism European Journal of International Law European Journal of Orthodontics European Journal of Public Health European Review of Agricultural Economics European Sociological Review Evidence-based Compl. and Alt. Medicine

93. I. Publications By Humboldt Research Fellows From Abroad In 2003 Translate this page Biography, philosophy of Logic, Language and Mathematics. Odintsov, Dr. Sergey P., Russian Academy of Sciences, Russian Federation Field of research logics http://www.avh.de/automat_db/pub_humboldtiana2.humboldtiana_index_pub?p_year=200

94. Citations Relevant And Substructural Logics - Restall G. Restall. Relevant and substructural logics. In DM Gabbay and J. Woods, editors, Handbook of the History and philosophy of Logic. To appear. http://citeseer.ist.psu.edu/context/1804200/469734

95. Logic And Philosophy Logic and philosophy. Topics include the metatheory of propositional logic (including completeness and soundness results), multivalued logics, and an http://www.admin.utas.edu.au/HANDBOOKS/UTASHANDBOOKS/UNITS/UNITSH/HPA292.html

Home Courses Schedules Disciplines ... Units Download: Units CRICOS Provider Code: 00586B Information relevant to Previous: Introduction to Logic Next: Philosophy of Religion Logic and Philosophy Enrolment code: HPA292/392 Offered: Launceston: semester 2, Hobart: semester 2 [by video-link] Unit description: Continues the study of logic begun in Introduction to Logic. Topics include the metatheory of propositional logic (including completeness and soundness results), multi-valued logics, and an introduction to modal logics. The latter are logics enriched with non-truth-functional operators, and are used in this unit to study the logic of possibility and necessity, the logic of time, and the logic of knowledge. Staff Dr J Chase For information on staff, turn to relevant Faculty website University phone and email search phone email Unit weight To see normal University Admission requirements Teaching pattern 2 hrs lectures weekly, 1-hr tutorial fortnightly (13 wks) Timetable Prerequisites Mutual exclusions Assessment mode 2x1,000-word assignments (20% ea), 3-hr exam (60%) Examinations timetable (Users will need to know their login name (POP account) and password) Required texts etc contact the School for details Library Catalogue Co-Op Bookshop Majors: [Discipline and school information] Philosophy Logic and Philosophy of Science Courses Bachelor of Arts (See also combined degrees) Bachelor of Science (See also combined degrees) Faculty website Faculty of Arts Previous: Introduction to Logic Next: Philosophy of Religion Top of page Further information

96. Course 24: Linguistics And Philosophy Tense and dynamic logics, epistemic logics, as well as logics of necessity and possibility. Applications in philosophy, theoretical computer science, and http://student.mit.edu/catalog/m24a.html

Home Search Help Symbols Help ... My Selections Course 24: Linguistics and Philosophy Course 24 Home CI-M Subjects for Undergraduate Majors Evaluations (Certificates Required) Philosophy Problems of Philosophy Prereq: Units: 3-0-9 URL: http://www.mit.edu/~shaslang/2400.html You must enter the HASS-D lottery to take this subject. Lecture: Recitation: ) or ) or +final Introduction to the problems of philosophy, in particular, to problems in ethics; metaphysics; theory of knowledge; and philosophy of logic, language, and science. A systematic rather than historical approach. Readings from classical and contemporary sources, but emphasis is on examination and evaluation of proposed solutions to the problems. more information Fall: S. Haslanger Spring: Staff What is the Best Way to Live? Prereq: Units: 3-0-9 Subject examines classic texts from the history of Western moral philosophy, and their answers to the question of what is the best way to live. These texts include works by Plato, Aristotle, Hobbes, Hume, Kant, and J. S. Mill. Among the questions that arise are: What is it to have a good life? How important is moral integrity, personal happiness, individual autonomy, and self expression, if one is to live in the best way that one can? Emphasis on close analysis and the evaluation of philosophical ideas and arguments. C. Hare

97. Western Philosophy Western philosophy. ¤µ ¤é¡A ­õ ¾Ç ªº ©R ¹B ¥¿ ¦n ¹³ ¥j ¨å ­µ ¼Ö ¯ë ¤v º¥ º¥ ³Q ¤H ²H §Ñ ¤F ¡C. Today, as classical music, people put philosophy on one side. We already forgot what we are ! American Studies Web philosophy and Religion. Ask the Philostopher! philosophy religion metapage http://www.philosophers.org/WesternPhilosophy.html

Western Philosophy ¤µ ¤é¡A ­õ ¾Ç ªº ©R ¹B ¥¿ ¦n ¹³ ¥j ¨å ­µ ¼Ö ¯ë ¤v º¥ º¥ ³Q ¤H ²H §Ñ ¤F ¡C Today, as classical music, people put philosophy on one side. We already forgot what we are ! Street Philosophers Society Press right mouse click on the particular subject to save to your bookmark. Western Philosophy Guide to Philosophy Ideas and Encyclopedia Subjects of Philosophy Theories of Philosophy ... Miscellaneous Guide to Philosophy The Argument Clinic Ahimsa Culture Forum: - From Nietzsche to Gandhi American Studies Web: Philosophy and Religion Ask the Philostopher! philosophy - religion metapage ... Philosophy on the English Server Mirror Philosopher's Almanac Philosopher Pages Philosophical Resources Philosophy at Large ... Thinknet Homepage or Thinknet Homepage Thinknet Homepage [palmer@exo.com] 970101 The Tanner Philosophy Library Useful Philosophy Links on the Internet ... Miscellaneous Ideas and Encyclopedia Electronic Sources FTP Directory of /ftp/nonprofits/freelance Western Great Work - FTP Gopher A Directory of Philosophy-Related Resources on the Internet Online Book Initiative Philosophy References Philosophy Text - Gopher ... Philosophical Text from CUHK ½u ¤W ®Ñ Äy ¦¬  ®w UMI Dissertation Abstract International - Philosophy Valdosta Philosophical E-Texts archive Chinese ­õ ¾Ç ©v ±Ð ®Ñ Äy ¦è ¤è ¹q ¤l ¸g ¨å ¸ê ®Æ ®w Wesleyan Chinese Philosophical Etext Archive ­õ ¾Ç ¬ã ¨s ¤u ¨ã ... CHANT (CHinese ANcient Texts) Database WWW Academic Text Service Alex search engine Alex: A Catalog of Electronic Texts on the Internet ATHENA ... Books On-line, Listed by Author

98. The Logic Server Logic. Welcome, visitor number 46468, to the quite official Logic Server at the Department of philosophy at Vienna University. German, http://logik.phl.univie.ac.at/e/

Logic Welcome, visitor number 46927, to the quite official Logic Server at the Department of Philosophy at Vienna University. German Wenn Sie diesen Satz verstehen, finden Sie in der deutschen Fassung dieser Seite auch Verweise auf deutsche Ressourcen. News The latest item of the list of news has been added 21.11.2003. Gateway to Logic The core of this server is the Gateway to Logic , a collection of interactive logic software. It is aimed at being used at courses and lectures as a means of demonstration and visualization. Part of the software offers a graphical user interface (and requires Java), part of it doesn't (and works with virtually any browser). Teaching This server also hosts, be it in German, information on Dr. K. Dethloff's lecture (Introduction to Logic) and on my own supplementary course . The German introductory textbook I have written is available both online and as a Postscript and a PDF file. Finally, there are some exercises and their solutions. Although the comments are in German, too, the logical formulae will be understood by speakers of any language.

99. Philosophy Bertrand Arthur William Russell. philosophy Departments Around The World. philosophy of Mathematics/Science. philosophy of Science. philosophy of Mathematics. 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.

100. Cogprints - A Hierarchy Of Languages, Logics, And Mathematical Theories A hierarchy of languages, logics, and mathematical theories. Kastner, Charles W. (2003) A hierarchy of languages, logics, and mathematical theories. http://cogprints.ecs.soton.ac.uk/archive/00002875/

Cogprints Home About Browse Search ... Help A hierarchy of languages, logics, and mathematical theories Kastner, Charles W. A hierarchy of languages, logics, and mathematical theories Full text available as: PDF - Requires Adobe Acrobat Reader or other PDF viewer. Abstract Keywords: Chomsky hierarchy, evolution of language, combinatory logic, lambda calculus, category theory Subjects: Linguistics Historical Linguistics Philosophy Philosophy of Language ... Logic ID Code: Deposited By: Kastner, Charles W. Deposited On: 15 April 2003 Cogprints Editor: cogprints@ecs.soton.ac.uk Cogprints Technical Administrator: cogprints-admin@ecs.soton.ac.uk

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 5     81-100 of 100    Back | 1  | 2  | 3  | 4  | 5