21. Logics And The Philosophy Of Language - ICQ Interest Groups - ICQ.com ICQ Interest Groups logics and the philosophy of Language. Other (1). Back to philosophy. 2 Groups in logics and the philosophy of Language sub categories. http://web.icq.com/groups/browse_folder?tid=9057

22. Logics And The Philosophy Of Language - Message Boards - ICQ.com Art Culture Message Boards logics and the philosophy of Language. Forums in logics and the philosophy of Language (total 3 topics). Frege, Gottlob@ (1). http://web.icq.com/boards/browse_folder?tid=9057

23. Modal Logics And Philosophy Modal logics and philosophy. Rod Girle. The first text to combine a clear introduction to formal modal logic with a rigorous presentation of its uses as a tool http://www.mqup.mcgill.ca/book.php?bookid=941

24. Christian Gottschall some information on my logic courses, my introductory text book, and on some other important things in life, like Linux, logics, philosophy and software history http://logik.phl.univie.ac.at/~chris/homepage-uk.html

Christian Gottschall I welcome you to my homepage, visitor number 38257. Let me say with all due respect that it is a very courageous decision to read the English version. German Wenn Sie diesen Satz verstehen, sind Sie auf meiner deutschen Homepage weit besser aufgehoben. I study philosophy and work at an important Austrian software firm (important, that is, in Austria) as a programmer. Besides, there are my introductory courses in logic at the Department of Philosopy at the University of Vienna , and a vast amount of programs especially in the field of logic that I wrote without any noticeable financial success. Needless to say, most of my programs are designed to work with Linux. In recent years I have found out that linguistics is much more fun than philosophy. One result of this enlightment is my simple LCA checker that does nothing useful at all but was a lot of fun writing. To see some personal data including a sparse overview about my interests and even my character, please select the fourth or fifth word of this sentence... I compiled some information on my logic courses, my introductory text book, and on some other important things in life, like Linux, logics, philosophy and software history. Probably this information won't be useful to you since, with the exception of my

25. Paul Wong's Home Page Automated Deduction System; philosophy in Cyberspace Logic/Science; Pure and Applied logics at Carnegie Mellon University; Reasoning About http://rsise.anu.edu.au/~wongas/

Welcome To Paul Wong's Home Page I am a PhD student at the Automated Reasoning Group in the Research School of Information Sciences and Engineering at the Australian National University . I was formerly a student at Simon Fraser University , in Vancouver, Canada. As my friends know, I am a jazz / guitar / motorcycle / film / soccer buff. In any case, if you have questions, comments, suggestions, or wisdom to share, send mail to wongas@csl.anu.edu.au Feel free to have a look at some of my papers My number is HAPPY SURFING! Contents Bibliographies Conferences Journals and Newsletters Library ... Software Philosophy Resources American Philosophical Association Australasian Philosophy Network Canadian Philosophical Association David Chalmers Home Page ... Stanford Encyclopedia of Philosophy Conferences Conferences and workshops database (IGPL) Logic Related Conferences World Congress on Paraconsistency Logic Resources Abductive Systems Group, University of Lethbridge, Canada Active Logic Group, University of Maryland Alan Turing - Home Page Chicago Mirror ... Willard van Orman Quine Home Page Publishers and Books AAUP Online Catalog of University Press Publications Blackwell Publishers Cambridge University Press CSLI Publications ... Springer-Verlag Logic And Related Bibliographies Bulletin of Symbolic Logic Bibliography Chalmers' Bibilography on Mind Computing Science Bibilography Collection DBLP Bibliography ... Zentralblatt Math Database Journals and Newsletters Peter Milne's list of journals in philosophy and related disciplines ACM Digital Library American Philosophical Quarterly Analysis (See

26. Pure And Applied Logic At CMU by the departments of Computer Science, Mathematics, and philosophy at Carnegie of decision theory, foundations of programming languages, logics of programs http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/pal/www/pal.html

Pure and Applied Logic This is the home page for the interdisciplinary doctoral program in Pure and Applied Logic offered by the departments of Computer Science Mathematics , and Philosophy at Carnegie Mellon University The interdisciplinary Ph.D. program in Pure and Applied Logic builds upon Carnegie Mellon's unique strengths in logic and its applications to computer science. Internationally recognized faculty, frequent workshops, colloquia, seminar series, and excellent computing facilities contribute to an ideal environment for both theoretical and applied research. Graduate fellowships are available. Strength Areas Automated theorem proving, category theory, constructive and feasible mathematics, foundations of decision theory, foundations of programming languages, logics of programs, lambda-calculus, learning theory, model theory, proof theory, set theory, temporal and modal logics, theory of computing, type theory, and universal algebra. A list of courses and seminars can be found below. Related Research at Carnegie Mellon Algorithms, artificial intelligence, combinatorial optimization, computational complexity, computational linguistics, operations research, and programming systems.

27. Philosophy of inconsistent images), relevant and modal logics, philosophy of logic, philosophy of mathematics, philosophy of physics, cognitive science, and metaphysics. http://www.adelaide.edu.au/philosophy/people/cmortensen/

The University of Adelaide Home Departments Search Chris Mortensen's Webpage has moved to: http://www.arts.adelaide.edu.au/humanities/people/philosophy/cmortensen.html Last Modified 08/03/2004 CRICOS Provider Number 00123M Privacy

28. Philosophy inconsistent images; relevant and modal logics; philosophy of logic; philosophy of mathematics; philosophy of physics; cognitive science; metaphysics. http://www.adelaide.edu.au/philosophy/people/staff.html

The University of Adelaide Home Departments Search ... Links Department of Philosophy THE UNIVERSITY OF ADELAIDE SA 5005 AUSTRALIA Email Telephone: Facsimile: Staff of the Department Chandler Cullity Gamble Gill ... Opie Mr. John Chandler MA (Melbourne) Research Interests : theories of justice; applied ethics; environmental ethics; liberalism and its critics; universalist ethics and their critics. Teaches : Moral Problems Contact : 631 Hughes; john.chandler@adelaide.edu.au Dr. Garrett Cullity PhD Head of Discipline; Postgrad Coordinator Sem 1 Research Interests : applied and theoretical ethics. Teaches : MSI, Professional Ethics Contact : 612 Hughes; garrett.cullity@adelaide.edu.au Dr. Denise Gamble BA(Hons) PhD (Sydney) Honours Coordinator Research Interests : bioethics and problems with teaching bioethics, philosophy of language, philosophy of law (especially rape law), Kan't ethics, personhood and potential personhood, philosophy of religion Teaches : MSI; Issues in the Philosophy of Language; Foundations of Modern Philosophy; Professional Ethics Contact : 614 Hughes;

29. Philosophy Of Logics -- Susan Haack philosophy of logics. Price $29.00. Coop Discount 10%. In Stock Will Ship in 1 to 2 business days. http://www.semcoop.com/detail/0521293294

Search for Author/Title Keyword Title Author Publisher ISBN Featured Books in All Scholarly Subjects African American Studies African Studies American Studies Anthologies Anthropology Architecture Asian Studies Books on Books Chicago Cinema studies Media Studies Classical studies Critical Theory/Marxism Cultural Studies Geography Performance Studies Science studies Drama Economics Education Environmental studies Feminist theory/Women's study Fiction Folktales French Stuff General Interest Highlights History African African American American East Asia Eastern European European Latin American Medieval Middle East Russian South asian Southeast Asian Historiography Misc. History Humor International relations Journals Just for Fun Latin American/Caribbean St. Law Linguistics Literary Studies Literary Criticism Referenc Literary MOSTLY Theory Literary NOT Theory Mathematics Medicine/Health/AIDS Native American Studies Philosophy Photography Poetry Political Science/Sociology (Post)colonial studies Psychology Reference Foreign language reference General Reference Religious studies Black Theology Buddhist studies Islamic studies Biblical studies - New Test Biblical studies Old Test.

30. Philosophy 169: Intensional Logic Spring Quarter 2001 philosophy 169 INTENSIONAL LOGIC *Prerequisites The basics of modal languages, landscape of fragments Week 5, Modal logics of knowledge http://turing.wins.uva.nl/~johan/Phil.169.html

Spring Quarter 2001 Philosophy 169: INTENSIONAL LOGIC *Prerequisites: The basics of predicate logic. *Abstract The first half of this course is a working guide to modal logic, emphasizing general methods and ideas (bisimulation, expressive power, proof structure, complexity), developed in tandem with standard first-order logic (translation and correspondence). The second half presents applications in various fields: computer science, AI, linguistics, mathematics, and economics. It should bring you up to a level where you can understand the current research literature. *Schedule (tentative) Week 1, Overview of modal logic and its applications Week 2, Expressive power of modal languages; bisimulation Week 3, Methods for describing validities; complexity Week 4, Extended modal languages, landscape of fragments Week 5, Modal logics of knowledge Week 6, Modal logics of action Week 7, Modal logics of information update Week 8, Modal logics of games Week 9, 'Modal deconstruction' of classical logics *Texts (a) J van Benthem, "A Manual of Intensional Logic"

31. Philosophy 298: Logic And Games Spring Quarter 2001, philosophy 298 LOGIC IN GAMES Prerequisites the basics of first Week 3, Strategies, operations, and complexity Part II Game logics Week 4 http://turing.wins.uva.nl/~johan/Phil.298.html

Spring Quarter 2001, Philosophy 298: LOGIC IN GAMES Prerequisites: the basics of first-order logic and modal logic. Games are part of logic since Antiquity. Logical validity reflects winning strategies in argumentation. Many tasks can be cast as games: semantical evaluation, model building, model comparison. But there is also a lot of logic in general games: their process structure, and the way players reason while navigating. The course unifies both views, including links with computer science and game theory. Schedule (tentative) Part I Logic Games Week 1, Semantical evaluation and model comparison Week 2, Argument and procedure Week 3, Strategies, operations, and complexity Part II Game Logics Week 4, Actions, outcomes and modal logics Week 5, Sequential game combination: dynamic logic Week 6, Parallel game combination: linear logic Extra, Many levels, representation, and branching time Part III Adding Realistic Structure Week 7, Imperfect information: dynamic-epistemic logic Week 8, Information dynamics of play

32. Analytic PHL M., Symbolic Logic; C. Cohen, Introduction to Logic; Haack, Susan, philosophy of logics; Forbes, Graeme, Modern Logic; http://www.humboldt.edu/~mfg1/anaread.html

Selected List of Readings in Analytic Philosophy Audi, Robert, The Structure of Justification Austin, J.L., "A Plea for Excuses", Philosophical Papers , "Performative Utterances", Philosophical Papers How to Do Things with Words Sense and Sensibilia Ayer, A.J., Language, Truth and Logic The Foundations of Empirical Knowledge The Problem of Knowledge , ed., Logical Positivism (especially the Introduction) Philosophical Essays Baillie, James, Contemporary Analytic Philosophy Black, Max, "The Semantic Definition of Truth", Analysis , "The Gap Between 'Is' and 'Should'", Margins of Precision BonJour, Laurence, The Structure of Empirical Knowledge Broad, C.D., "Some of the Main Problems of Ethics", Philosophy , Vol. 21 Carnap, Rudolf, "Testability and Meaning", Philosophy of Science , "On Inductive Logic", Philosophy of Science , Vol. 12 , "The Elimination of Metaphysics Through Logical Analysis Of Language", in Ayer, Logical Positivism Charlesworth, M.J., Philosophy and Linguistic Analysis Chisholm, Roderick, The Foundations of Knowing Perceiving: A Philosophical Study , "The Contrary-to-Fact Conditional", Mind , Vol. 55

33. Curriculum Vitae Research interests. Nonclassical logics (primarily modal and tense logics), philosophy of mathematics, philosophy of language, philosophy of science. http://www.ellipsis.cx/~liana/cv.html

Curriculum Vitae Sara L. Uckelman 5191 Helen C. White Hall 600 N. Park St. Madison, WI 53706 Tel: (608) email: Personal information Date of Birth: April 22, 1982 Nationality: U.S. citizen Race: White Gender: Female Status: married Maiden name: Friedemann Research interests Non-classical logics (primarily modal and tense logics), philosophy of mathematics, philosophy of language, philosophy of science Education University of Wisconsin-Madison (September 2002-) Ph.D. in philosophy (in progress). Advisor: Dr. Michael E. Byrd. GPA: 4.00 M.A. in philosophy, May 2004 Thesis: The Structure of Higher-Order Vagueness and the Logic of KTB University of Wisconsin-Madison (September 1999-May 2002) B.A. in philosophy and English, May 2002. University of Wisconsin Centers-Marshfield/Wood County (September 1998-May 1999) high school special student. Teaching Assistant, Dept. of Philosophy: Environmental Ethics, Spring 2004, with Dr. Jim Anderson. Teaching Assistant, Dept. of Philosophy: Introduction to Philosophy, Fall 2003, with Dr. Alan Sidelle. Teaching Assistant, Dept. of Philosophy: Introductory Logic, Spring 2003, with Dr. Antonio Rauti.

34. EpistemeLinks.com: Topics Results research interests include logics of practical reasoning, natural language processing and multiagent systems. Medieval Logic and philosophy,...... http://www.epistemelinks.com/Main/Topics.aspx?TopiCode=Logi

35. EpistemeLinks.com: Journals Results in particular philosophy of mathematics logic, philosophy of logic, and all kinds of philosophical logics, philosophy of language, Ontology, metaphysics http://www.epistemelinks.com/Main/journals.aspx?Format=Both&TopiCode=Anal

36. Paul Wong's Home Page NADA Project, Germany; New Foundations Home Page; Oscar Project, Arizona; philosophy in Cyberspace Logic/Science; Pure and Applied logics at Carnegie Mellon http://www.sfu.ca/philosophy/paulwong.htm

Welcome To Paul Wong's Home Page I am a PhD student at the Automated Reasoning Project in the Research School of Information Sciences and Engineering at the Australian National University . I was formerly a student at Simon Fraser University , in British Columbia, Canada. Apart from logic, I am also interested in philosophy of language, philosophy of mind, and philosophy of science. As my friends know, I am also a jazz / guitar / motorcycle / film buff. In any case, if you have questions, comments, suggestions, or wisdom to share, send mail to wongas@arp.anu.edu.au HAPPY SURFING! Contents Bibliographies Conferences Journals and Newsletters Library ... Searches (courtesy of Stephen Wehner Software Philosophy Resources American Philosophical Association Andrew Irvine's Resources for Philosophers Australasian Philosophy Network Canadian Philosophical Association ... David Chalmers Home Page Episteme Links: frame no frame Individual's Philosophy Pages The International Directory of On-Line Philosophy Papers ... Stanford Encyclopedia of Philosophy Conferences Conference Announcements Archive (Germany) Logic-Related Conferences Logic Resources Abductive Systems Group, University of Lethbridge, Canada

37. Lab For Logic And Experimental Philosophy interpretation, by a T or an F . Now, a property shared by all classical logics is the copyright © 2001, Lab for Logic and Experimental philosophy. http://www.sfu.ca/llep/software/

Chi-Product Generator X-product Generator (chi - pronounced ki) is a Windows NT/95/98/2000/Me application developed to facilitate exploration of traces, chines, X-products and related objects. This software was developed by N.A Friedrich. (2.6M) Paradox Tolerant Explorer Paradox Tolerant Explorer (para) is a Windows NT/95/98/2000/Me application developed to facilitate research into the preservationist approach to paradox tolerant logics. It offers a convenient, interactive visual resource to aid the understanding of paradox tolerant logics as extensions of more classical, paradox intolerant logics. Para allows the user to define the preservational profiles of a logic's connectives , and then to extend this logic to a logic of higher-order valuation . Para also provides a Validity Appraisal mechanism in which sentences can be appraised for validity in various logics and their extensions. Para can also be utilized as a resource to visually derive an axiomatization of a given logic As an ongoing project, para was designed to incorporate additional enhancements. These enhancements may include the addition of purely user-defined connectives, the use of n-ary designational assessments per valuation, or the use of para to solve all the World's troubles. Some of these future enhancements may be easier to implement than others.

38. Philosophy, Probability, And Modeling - A Research Group At The University Of Ko He has published numerous papers on epistemology, philosophy of science, philosophical logics, philosophy of language, philosophy of mind, decision and game http://www.uni-konstanz.de/ppm/summerschool2003/lecturers.htm

Philosophy, Probability, and the Special Sciences International Summer School 2003 Home Konstanz Map Program Lecturers Accommodation Payment Application Contact ... Luc Bovens graduated from the University of Minnesota, Minneapolis in 1990 with a Ph.D. in Philosophy. Since then he has been teaching in the University of Colorado at Boulder. Last Fall, he received a Sofja Kovalevskaja Award from the Alexander von Humboldt Foundation which provides funding for a research group entitled 'Philosophy, Probability and Modeling' in the University of Konstanz, Germany from 2002-5. He is currently engaged in a joint project supported by a grant from NSF (Science and Technology Studies) on Bayesian Networks in philosophy of science and epistemology and in a joint project on probabilistic modeling and social choice. For more information, see his homepage Stephan Hartmann studied Physics and Philosophy at the Universities of Giessen, Seattle, Konstanz and Munich and graduated from the University of Giessen in 1995 with a Ph.D. in Philosophy. He has been an Assistant Professor in the University of Konstanz since 1998. In the academic year 2000/2001 he was a Visiting Fellow at the Center for Philosophy of Science at the University of Pittsburgh. He is currently engaged in a joint project supported by a grant from TransCoop program of the Alexander von Humboldt Foundation on Bayesian Networks in philosophy of science and epistemology and in a joint project on probabilistic modeling and social choice. He also conducts research on the foundations of physics. For more information, see his

39. ERKENNTNIS: Scope economics, social sciences, etc., philosophy of mathematics, - logic, philosophy of logic, and all kinds of philosophical logics, - philosophy of language http://www.uni-konstanz.de/FuF/Philo/Philosophie/HPs/Erkenntnis/Scope.html

ERKENNTNIS Scope of the Journal ERKENNTNIS is a philosophical journal publishing papers which are committed in one way or another to the philosophical attitude which is signified by the label "analytic philosophy". It concentrates on those philosophical fields which are particularly inspired by this attitude, though other topics are welcome as well. These fields are: - epistemology - philosophy of science, foundations and methodology of science in general and of particular natural and human sciences such as physics, biology, psychology, economics, social sciences, etc., - philosophy of mathematics, - logic, philosophy of logic, and all kinds of philosophical logics, - philosophy of language, - ontology, metaphysics, theory of truth, theory of mind, - practical philosophy, i.e. ethics, philosophy of action, philosophy of law, etc. ERKENNTNIS is a journal of systematic philosophy; contributions should not be purely historical, but attempt to advance current systematic issues. ERKENNTNIS is an international journal; contributors from all over the world are welcome. It is intended to be an intergrating platform furthering international exchange of philosophical attitudes, ideas, theories, and arguments. The common language is English; only a small proportion of papers in German is allowed. The emphasis of ERKENNTNIS is on papers presenting original research. But there is also a review section containing relatively brief and informative reviews als well as longer critical discussions of selected books.

40. Handbook Of The Philosophy Of Science - Table Of Contents , Chapter Topics, Author, Status. 1, Introduction philosophy of Logic Today, Dale Jacquette, Confirmed. 16, ManyValued logics, Siegfried Gottwald, Confirmed. http://people.uleth.ca/~woods/HPS_WP/hps.html

Handbook of the Philosophy of Science Last updated June 2, 2004 This is a multi-volume Handbook to be published by Elsevier under the general editorship of Dov Gabbay Paul Thagard , and John Woods The Authors' Information Page provides confirmed authors with details about ***Please Read*** New Information on the Author's Information Page Interested in finding out more about other projects currently in progress or viewing other relevant links? Click Here Physics Biology Psychology and Cognitive Science ... Philosophy of Science: Focal Issues - Theo Kuipers (ed.) Chapter Topics Author Status Laws, Theories and Research Programmes Theo Kuipers (University of Groningen) Confirmed Varieties of Explanation Stathis Psillos (University of Athens) Confirmed Evaluation of Theories Ilkka Niiniluoto (University of Helsinki) Confirmed The Role of Experiments in the Sciences Allan Franklin (University of Colorado) Rainer Hegselmann (Universitat Bayreuth) Confirmed Ontological, Epistemological, and Methodological Positions James Ladyman (University of Bristol) Confirmed Natural, Behavioural, Social Sciences and the Humanities: Reductionism and the Unity of the Sciences

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 2     21-40 of 100    Back | 1  | 2  | 3  | 4  | 5  | Next 20