21. Richard Zach - Associate Professor Of Philosophy - University Of Calgary University of Calgary Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic. http://www.ucalgary.ca/~rzach/

Richard Zach Home CV Teaching Publications ... Philosophy Department GENERAL INFORMATION Richard Zach is Associate Professor of Philosophy at the University of Calgary. He joined the Department in 2001, after receiving a Ph.D. in Logic and the Methodology of Science at the University of California, Berkeley. Before coming to Calgary, he taught at UC Berkeley, Stanford University, and the University of Technology, Vienna. His teaching and research interests center on logic, especially: non-classical logics in computer science (temporal logics, many-valued and fuzzy logics), proof theory, the history and philosophy of logic, and the philosophy of mathematics. Research Interests Logic Philosophy of Mathematics History of Logic ... Logical Positivism (Phil 407, Fall) Modal Logic (Phil 513/679, Fall) Logic I (Phil 279, Winter) Teaching History Articles and Resources Publications Preprints available for download, abstracts. Curriculum Vitae Education Talks Service Miscellaneous LogBlog Logicians appearing in LPL University of Calgary Links Logic and Language Research Group History and Philosophy of Science Research Group Calgary Peripatetic Research Group on Logic and Category Theory Department of Philosophy External Links Association for Symbolic Logic Committee on Logic Education of the ASL American Philosophical Association Canadian Philosophical Association ... h2so4 Magazine Other Information PGP Key: BE3639EC (call or email for fingerprint) Contact Information Department of Philosophy University of Calgary 2500 University Drive NW

22. Pathways To Philosophical Logic And The Philosophy Of Logic philosophy of logics. Cambridge Cambridge University Press 1978. Modal logicsand philosophy. Montreal McGillQueen s University Press 2000. http://www.formalontology.it/pathways_logic.htm

Home Site Map Pathways to Philosophical Logic and the Philosophy of Logic Go to: Pathways to Philosophy - General Works Go to: Pathways to Metaphysics Go to: Pathways to Ontology Go to: Pathways to Phenomenology and Analytic Philosophy Preliminary note : The purpose of these pages is to give both the beginner and the more experienced reader a brief guide to the introductory literature on general philosophy, metaphysics, ontology, phenomenology, analytical philosophy, philosophical logic and the philosophy of logic.. In its initial form the pages will contain a selection of introductory readings, with brief annotations on the content (for the most important books, also the index will be included); subsequently these will be expanded to include more specific essays on selected problems. In the sections for beginners, preference will be given to those books more readily available. In other sections some books could be out of print; if your Library does not possess the volume, it may be possible to obtain it via interlibr ary loan.

23. Alternative Logics (from Logic, Philosophy Of) --  Encyclopædia Britannica Alternative logics (from logic, philosophy of) The natures of most of the socallednonclassical logics can be understood against the background of what has http://www.britannica.com/eb/article?tocId=36305

24. Otter And Mace Users propositional logics, philosophy. Albert C. Esterline , propositional logics,philosophy. Norbert E. Fuchs, University of Zurich http://www-unix.mcs.anl.gov/AR/otter/users.html

Otter and Mace Users This page contains some of the researchers and educators who have used the automated deduction systems Otter or Mace Maybe this list should be separated into several areas: research in mathematics and logic other applications Otter or Mace as an automatic subsystem evaluation of other systems education Let us know ( ) if we should add, change, or remove entries. Note: the secondary points are contexts in which Otter or Mace were used, and not necessaily the primary research areas of the users. Peter Baumgartner educational tool for coursework Michael Beeson , San Jose State University Otter-Lambda , extending Otter with lambda calculus several graduate student projects Johan G. F. Belinfante , Georgia Tech automated reasoning in set theory Maria Paola Bonacina proof checking (part of a program analysis project educational tool for coursework Johan Bos , University of Edinburgh DORIS (Discourse Oriented Representation and Inference System) Books on Computational Semantics Robert S. Boyer , UT Austin course in automated reasoning Ralph Butler , Middle Tennessee State University course in automated ressoning Koen Claessen , Chalmers University of Technology proving properties about functional programs (Otter) evaluating Paradox (Mace) Simon Colton , Imperial College London automated theory formation Zac Ernst , Florida State University propositional logics, philosophy

25. Post Message : Society Redefined : Into The Field: Methods And Methodology of several disciplines making conclusions/thinking is studied by psychology,logics, philosophy, methodology, phenomenology, and cognitive sciences. http://www.sociopranos.com/forums/thread-post.asp?Action=Reply&forumid=12&thread

26. Logics And The Philosophy Of Language - Message Boards - ICQ.com Forums in logics and the philosophy of Language (total 3 topics). Frege,Gottlob@ (1). Grice, Herbert Paul@ (1). Wittgenstein, Ludwig@ (1) http://www.icq.com/boards/browse_folder.php?tid=9057

27. Logics And The Philosophy Of Language - ICQ Interest Groups - ICQ.com There are no groups in logics and the philosophy of Language at this time.If you would like to create a group for this category just click below. http://www.icq.com/groups/browse_folder.php?tid=9057

28. Pure And Applied Logic At CMU set theory, temporal and modal logics, theory of computing, type theory, Logic and philosophy Colloquium, Thursday, 430, BH A53 (refreshments at 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.

29. Histories, Logics And Politics: An Interview With Mark Bevir -- Stow 2 (2): 193 Journal of Moral philosophy, Vol. 2, No. 2, 193206 (2005) Histories, Logicsand Politics An Interview with Mark Bevir. Simon Stow http://mpj.sagepub.com/cgi/content/abstract/2/2/193

JOURNAL HOME HELP CONTACT US SUBSCRIPTIONS ... TABLE OF CONTENTS QUICK SEARCH: [advanced] Author: Keyword(s): Year: Vol: Page: Journal of Moral Philosophy, Vol. 2, No. 2, 193-206 (2005) DOI: 10.1177/1740468105054341 This Article Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Similar articles in this journal Alert me to new issues of the journal Download to citation manager Histories, Logics and Politics: An Interview with Mark Bevir Simon Stow Department of Government, College of William and Mary, PO Box 8795, Williamsburg, VA 23185-8795 USA Although he has written extensively on a broad array of topics, Mark Bevir is most famous for his influential and controversial book The Logic of the History of Ideas (Cambridge University Press, 1999). In a wide-ranging interview, Bevir responds to a number of criticisms and mischaracterizations of the book, clarifies his aims in writing it, and identifies his relationship of his postfoundationalism to both analytical and continental philosophy. Additionally, Bevir articulates

30. Ralph Dumain: "The Autodidact Project": Web Guide: Philosophy Of Paraconsistency philosophy of Paraconsistency Associated logics. General resources on the web.Stanford Encyclopedia of philosophy. Dialetheism Paraconsistent Logic http://www.autodidactproject.org/bib/paraconsistency.html

Philosophy of Paraconsistency General resources on the web Stanford Encyclopedia of Philosophy Dialetheism Paraconsistent Logic Inconsistent Mathematics Many-Valued Logic Internet Encyclopedia of Philosophy Propositional logic Logical Paradoxes the philosophy of paraconsistency Graham Priest 's web site The First World Congress on Paraconsistency II World Congress on Paraconsistency - May 08-12, 2000 WCP 3 - III world congress on paraconsistency , 28-31 July 2003 Logical Studies Journal, no. 2 (1999 Special Issue on Paraconsistent Logic and Paraconsistency The future of paraconsistent logic Reviews The Bulletin of Symbolic Logic Volume 9, Number 3, Sept. 2003. Articles of particular interest Metaphilosophical Pluralism and Paraconsistency: From Orientative to Multi-level Pluralism The Future of Paraconsistent Logic , in Logical Studies Journal, no. 2 (1999 Complementarity and Paraconsistency Paraconsistent Logics and Paraconsistency . July 5, 2005. Decker, Hendrik. A Case for Paraconsistent Logic as a Foundation of Future Information Systems ABSTRACT: Logic links philosophy with computer science and is the acknowledged foundation of information systems. Since the large scale proliferation of the internet and the world wide web, however, a rush of new technologies is avalanching, in many cases without much consideration of a solid foundation that would be up to par with the rigor of the traditional logic fundament. Philosophy may help to question established foundations, especially in times of technological breakthroughs that seem to override such foundations. In particular, the intolerance associated with the consistency requirements of classical logic begs question of its legitimacy, in the face of ubiquitous inconsistency in virtually all information systems of sizable extent. Based on that, we propose to overcome classical logic foundations by adopting paraconsistency as a foundational concept for future information systems engineering (ISE).

31. School Of Humanities | Prof Chris Mortensen relevant and modal logics, philosophy of logic, philosophy of mathematics,philosophy of physics, cognitive science, and metaphysics. http://www.arts.adelaide.edu.au/humanities/people/philosophy/cmortensen.html

The University of Adelaide Home Search Faculty Home ... School of Humanities THE UNIVERSITY OF ADELAIDE ADELAIDE SA 5005 AUSTRALIA ph: +61 8 8303 5638 fax: +61 8 8303 5241 Professor Chris Mortensen Professor Room Hughes Building, Rm 811 Phone Email chris.mortensen@adelaide.edu.au Professor Chris Mortensen Chris Mortensen's research interests include inconsistent mathematics (including a study of inconsistent images), relevant and modal logics, philosophy of logic, philosophy of mathematics, philosophy of physics, cognitive science, and metaphysics. Inconsistent Images Errata, corrections and additions to Chris's book "Inconsistent Mathematics". Selected Publications Books, Collections, Monographs Inconsistent Mathematics , Dordrecht, Kluwer Academic Publishers, 1995. Errata (2) and Graham Priest, Contemporary Logical Research in Australia , (edited collection, appearing as a double issue of Logique et Analyse Journal Articles (sole author) (3) 'A Sequence of Normal Modal Systems with Non-Contingency Bases', Logique et Analyse (4) 'Koopman, Stove and Hume'

32. Peter Suber, "Non-Standard Logics" The philosophy of logics. Cambridge University Press, 1981. Hintikka, Jaakko, Standardvs. Nonstandard Logic HigherOrder, Modal, and First-Order logics, http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm

A Bibliography of Non-Standard Logics Peter Suber Philosophy Department Earlham College Categorical logic ... Non-standard logics in general In the kinds of non-standard logics included, this bibliography aims for completeness, although it has not yet succeeded. In the coverage of any given non-standard logic, it does not at all aim for completeness. Instead it aims to include works suitable as introductions for those who are already familiar with standard first-order logic. Looking at these non-standard logics gives us an indirect, but usefully clear and comprehensive idea of the usually hazy notion of "standardness". In standard first-order logics: Wffs are finite in length (although there may be infinitely many of them). Rules of inference take only finitely many premises. There are only two truth-values, "truth" and "falsehood". Truth-values of given proposition symbols do not change within a given interpretation, only between or across interpretations. All propositional operators and connectives are truth-functional. "p ~p" is provable even if we do not have p or ~p separately; that is, the principle of excluded middle holds.

33. Buddhist Logics-The Philosophy Of Buddhism- Sanuja Senanayake S Attention In Buddhist logics and reasoning, the modern reader will find Another major point in Buddhist philosophy is reasoning(dependent origination). http://members.shaw.ca/sanuja/logic.html

Search this site or the web powered by FreeFind Site search Web search Printable Version Buddhist Menu: Fundamentals -Fundamentals** -Buddhist logics** Useful Tools -How to Practice -Buddhist FAQ** -Glossary +Meditation ... (ex. link) Society/History -Buddhism in the West -Quotes on Buddhism -Quotes of Buddha -Buddha ... -Timeline Other -Buddhism for Teenagers -Tooth Relic -Related Data Location: Buddhism Buddhist Logics Dependent Origination Key to Solve Typical Problems ... Buddhist Laws Buddhist Logics (Logical Operations-Advanced Buddhism) Attention: In Buddhist logics and reasoning, the modern reader will find many familiar logical operations from the calculus of propositions. But Buddhism also employs a fourfold scheme that is not found in Aristotelian logic and it is way advance and powerful than any other kind. Meditation Logics The ten objects of impurity are various sorts of corpses. Meditating on corpses is useful is reducing lust. This practice should only be followed under the guidance of a master. Below is a list of the asubhas and who will find them useful. Swollen Corpse: Those who lust after beauty of form.

34. Teaching Proposals In Philosophy Jacques Derrida is the ‘bad boy’ of contemporary philosophy. His writing concernsitself with the deconstruction of the logics of Western philosophy. http://cafedifferance.haifa.ac.il/courseproposals.htm

35. IWU Philosophy Courses of logic such as secondorder logics, modal logics, or many-valued logics . Prerequisite Prior completion of at least three courses in philosophy http://titan.iwu.edu/~philos/courses/1.htm

PHILOSOPHY COURSES 100-Level Courses 200-Level Courses 300- and 400-Level Courses Below you can find a full listing and description of the classes offered by the philosophy department. For details of the requirements for the Philosophy Major or Minor click here: links to Major or Minor. 100-Level Courses 102 Elementary Symbolic Logic (FR) Introduction to systems of formal logic and to the use of such systems to model and evaluate inferences made in practical reasoning and natural language. Propositional logic, first-order quantifier logic, and the metatheoretic properties of soundness, completeness, and decidability will be covered. Offered annually. 103 Mind and World (IT) Is everything composed of matter? What are minds? Does all knowledge come from experience? Studying, discussing, and writing about these metaphysical and epistemological questionsas posed, for example, by Plato, Descartes, Locke, Hume, Kant, and Russellwill introduce you to major themes of Western Philosophy. Offered annually.

36. EpistemeLinks.com: Website Results For Logic And Philosophy Of Logic research interests include logics of practical reasoning,......General website search results for Logic and philosophy of Logic including brief http://www.epistemelinks.com/Main/Topics.aspx?TopiCode=Logi

37. Mark Jago - Department Of Philosophy - University Of Nottingham In 2002 I won the Lumsden Memorial Essay Prize (Department of philosophy, I m currently writing two papers, provisionally entitled logics for http://www.nottingham.ac.uk/philosophy/staff/mark-jago.htm

Philosophy Mark Jago PhD research student research published papers working papers talks ... CV (pdf) Email : mtw [at] cs.nott.ac.uk Office: B38, CSIT Building, Jubilee campus Mailing address: School of Computer Science and IT, University of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1BB CSIT ), supervised by are Natasha Alechina and Brian Logan , and the department of philosophy , supervised by Eros Corazza . I'm a member of the Foundations of Programming research group at Nottingham. In 2002 I won the Lumsden Memorial Essay Prize (Department of Philosophy, University of Nottingham). I'm also a member of FoLLI , the Association for Logic, Language and Information and EATCS , the European Association of Theoretical Computer Science. I've got various research interests. My PhD research centers around logical work in AI and computer science but also includes healthy amounts of philosophical logic and philosophy of language. I'm also interested in the philosophy of maths, metaphysical issues relating to counterfactuals and truth and philosophy of mind. Research I am looking at ways of using logic to describe various reasoning processes. Accurately modelling agents with bounds on their reasoning (limited time or memory, for example) isn't easy. I develop a framework of

38. Analytic PHL C. Cohen, Introduction to Logic; Haack, Susan, philosophy of logics; Forbes, Nolt, John, logics; Pospesel, Howard, Predicate Logic; Quine, WV, 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

39. Consequently.org I’ve been invited to give a philosophy seminar at Nottingham on Wednesday Sara manages to get sequent systems for these logics too, by changing the http://consequently.org/

@import "2005.css"; Web About I'm Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne Email : greg at consequently.org; Skype Post : Department of Philosophy, University of Melbourne, Parkville 3010, Australia.] Status emails need attention [September 20 at 11:45:14 AM]. Links Cricket's Superpowers : according to this review in the LRB they don't include England. Favourite bit: "this Ashes series probably represents the only place where it is still possible to watch two teams consisting entirely of white players competing at the highest level..." Man builds up 30,000 volts of static electricity : Watch out for that static electricity. Matisyahu : Now I've heard everything. Hasidic Reggae. Download. Listen. They must be nuts : Now I'd think that someone called "Nigel Bevan" was obviously hoaxing, but apparently the nuances of Australian culture don't easly translate into Serbian. These and more links are available at del.icio.us/greg_restall Writing These are the three last modified entries on my writing page.

40. [This Is Not The Real Writing Page, Which I Accidentally Deleted abstract; “Simplified Semantics for Relevant logics (and some of their rivals)” to appear in the Handbook of the History and philosophy of Logic, http://consequently.org/writing/

[This is not the real writing page, which I accidentally deleted while working on the 2005 redesign. A nicer page will arrive soon.] LP Notre Dame Journal of Formal Logic abstract Journal of Philosophical Logic abstract Really Studia Logica abstract Philosophical Studies abstract Notre Dame Journal of Formal Logic abstract Bulletin of the Interest Group in Pure and Applied Logics abstract Journal of Philosophical Logic abstract Logic, Language and Computation: The 1994 Moraga Proceedings, abstract Logique et Analyse, abstract Logique et Analyse, abstract Proceedings of the First World Congress in the Fundamentals of Artificial Intelligence abstract Australian Journal of Philosophy, abstract Reports on Mathematical Logic, abstract abstract Studia Logica, abstract Bulletin of the Section of Logic of the Polish Academy of Sciences abstract On Logics Without Contraction , Ph.D. Thesis, The University of Queensland, 1994. [ abstract abstract Journal of Philosophical Logic, abstract [with John K. Slaney Logique et Analyse, abstract Notre Dame Journal of Formal Logic, (published in 1998). [ abstract The Encyclopedia of Philosophy

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 99    Back | 1  | 2  | 3  | 4  | 5  | Next 20