Learning Resources for Students, Families and Teachers

Search over 100,000 research quality URLs

StudySphere provides fast, easy and free access to a wide variety of research-quality child-safe websites organized for education online from home, school, study abroad and home school. StudySphere’s goal is to help students, teachers, librarians, and other researchers find both highly targeted and closely related information quickly.

Logics

/Home/Historical Studies/Philosophy/Schools of Thought/Logics


		Artificial Intelligence at The University of Edinburgh - Unavailable Pages ^Votes:0 Quick links... Jobs Students Home Telephone Directory Contact Site Map -------------- Home News About Undergraduates Postgraduates Research People Search Intranet Home \| News \| About \| Undergraduates \| Postgraduates \| Research \| People \| Search \| Intranet Artificial Intelligence at Edinburgh - Unvailable Pages Following a major fire on our premises at 80 South Bridge Edinburgh on December 2002, the web service of the former Department of Artificial Intelligence is now served from new hardware in the School of Informatics. Some former Department of Artificial Intelligence web pages are now unavailable. If you wish to inform the web master of the missing content, please email webadmin @ inf.ed.ac.uk. Return to the legacy pages of the former Department of Artificial Intelligence . School of I Read More Go to Site


		Association for Automated Reasoning ^Votes:0 Association for Automated Reasoning The Association for Automated Reasoning (AAR) is a not-for-profit corporation intended for educational and scientific purposes. The objective of AAR is to advance the field of automated reasoning by disseminating and exchanging information among its international members on such topics as automated reasoning, automated theorem proving, logic programming, and expert systems. Benefits AAR members are eligible for a substantially reduced subscription rate to the Journal of Automated Reasoning . The reduced rate is $93. the full rate for non-AAR members is three times that! Organization The current board of directors comprises President - Larry Wos (wos@mcs.anl.gov) Vice president - Hans Juergen Ohlbach (ohlbach@informatik.uni-muenchen.de) Secretary-Treasure Read More Go to Site

		DECISION THEORY ^Votes:0 P RINCIPIA C YBERNETICA W EB - © Parent Node(s): Web Dictionary of Cybernetics and Systems DECISION THEORY Decision theory is a body of knowledge andrelated analytical techniques of different degrees of formalitydesigned to help a decision maker choose among a set of alternatives in light of their possible consequences. Decisiontheory can apply to conditions of certainty, risk, or uncertainty . [decision UNDER certainty] means that eachalternative leads to one and only one consequence, and a choiceamong alternatives is equivalent to a choice among consequences.In [DECISION UNDER risk] each alternative will have one ofseveral possible consequences, and the probability of occurrencefor each consequence is known. Therefore, each alternative isassociated with a probability distributio Read More Go to Site

		Department of Philosophy :: University at Buffalo ^Votes:0 Skip Navigation Department of Philosophy Home People Events News Undergraduate Graduate Links Courses Contact Faculty Kenneth F. Barber Director of Graduate Studies British Empiricism kfbarber@buffalo.edu William H. Baumer Director of Undergraduate Studies Kant Business and Professional Ethics whbaumer@buffalo.edu James R. Beebe Epistemology Cognitive Science jbeebe2@buffalo.edu Thomas E. Bittner Bioinformatics Spatial Ontology Artificial Intelligence bittner3@buffalo.edu Kah Kyung Cho Distinguished Teaching Professor Phenomenology and Hermeneutics Comparative Philosophy kcho@buffalo.edu John Corcoran Logic History of Logic corcoran@buffalo.edu Randall R. Dipert Charles S. Peirce Professor American Philosophy/Logic Metaphysics/Aesthetics rdipert@buffalo.edu Maureen B. Donnelly Bioinformati Read More Go to Site

		DePaul University ^Votes:0 Redirecting... --------------> Read More Go to Site

		DFG Reasearch Progamme Deduktion ^Votes:0 Homepage of the GI Fachgruppe 1.2.1 "Deduktionssysteme" Automated Deduction Systems and Groups maintained by the AR group at Argonne National Laboratory Mechanized Reasoning page by Carolyn Talcott. Joint WWW Home-Page for Mechanized Reasoning The TPTP Problem Library for Automated Reasoning Library of Logic Programming Systems and Test Case Logic servers worldwide DFG Research Programme "Deduktion" The nationwide research programme "Deduktion" (deduction) funded by the Deutschen Forschungsgemeinschaft (DFG, roughly: German Research Foundation) brings together almost all research groups engaged in the field of automated reasoning within Germany. The program started in 1992, and the current, final phase lasts from 1996 to 1998. Besides the funding of individual university projects the progr Read More Go to Site

		Factasia Logic ^Votes:0 Factasia Logic (for noframe browsers) Read More Go to Site

		Formalised Mathematics ^Votes:0 Formalised Mathematics Formalised Mathematics (for noframe browsers) Read More Go to Site

		Home Page ^Votes:0 Beth Rosdatter's Jump Page Click Here to go to Introductory Logic Phi 120 (Internet course) Click here to go to the Central Kentucky Iraq Pledge of Resistance website Please choose which site you are trying to reach from the choices above. Sorry about this extra step. Read More Go to Site

		Les Sceptiques du Qu?bec \| Accueil ^Votes:0 Contactez-nous Accueil L'association Mission et r?le F. A. Q. B?n?voles Adh?sion Contactez-nous Nos activit?s Conf?rences Pr?dictions D?fi Sceptique Prix Sceptique Ressources Notre revue Opinions Lectures en ligne Dictionnaire Biblioth?que Caricatures Baladodiffusion Forum Bienvenue sur le site des Sceptiques du Qu?bec Nouvelles brÈves Soumettez un nouveau slogan pour caractÉriser votre association ! Le gagnant gagnera un prix de 100 $. Envoyez-nous votre suggestion À . Date limite : 30 novembre 2007. Vote À la soirÉe du 13 dÉcembre. VoilÀ vingt ans que les Sceptiques du QuÉbec examinent les thÈses paranormales, sans jamais rien trouver de vraiment surnaturel ! Ces infructueuses recherches mÉritent-elles des cÉlÉbrations ? Les Sceptiques pensent que oui. Ils ont fÊtÉ « vingt ans de vaillan Read More Go to Site

		Logic ^Votes:0 Philosophy Pages Search Dictionary Study Guide Logic F A Q s Traffic History Timeline Philosophers Locke Logic Elementary Logic: Logical Arguments , Uses of Language , Definition and Meaning Fallacies of Relevance , Presumption , and Ambiguity , Categorical Propositions and Immediate Inferences , Categorical Syllogisms and Their Validity , Syllogisms in Ordinary Language , Logical Symbols expressing Argument Form and Statement Form , Rules of Inference and Replacement to prove Validity or Invalidity , Basics of Quantification Theory , Analogical Inferences , Causal Reasoning , Scientific Explanation , and Probability Theory . This discussion is based on: K. Codell Carter A First Course in Logic (Pearson Longman, 2003) Order from Amazon.com Copi and Cohen Introduction to Logic 11th Ed. (Pre Read More Go to Site

		Logic in Action ^Votes:0 Spinoza '96 About Logic in Action Subprojects News and Events Contact Information Logic Actions in.. Last Modified:23-Jan-03 A Farewell to the Spinoza Project 'Logic in Action' In October 1996, the Dutch national research organization NWO awarded one of its annual Spinoza grants to Johan van Benthem , professor of logic at the Universiteit van Amsterdam. This grant led to the project ' Logic in Action ', whose general aims were the study of information flow and the promotion of logic within the information sciences. 5 years and 2 million guilders later the project is coming to an end. On December 20 2001 there will be a one-day event to officially close 'Logic in Action' and reflect on the future. We are pleased to invite you to attend. For more information and a program, please see the fu Read More Go to Site

		Mediaeval Logic and Philosophy ^Votes:0 Mediaeval Logic and Philosophy A Note on the "Supposition Dragon." (Includes a link to information on the inscriptions in the taiil of the Dragon.) What happened to " The up-to-date mediaevalist" ? This Web site is maintained by at Indiana University. It is intended for anyone interested in mediaeval logic and philosophy broadly construed. Please note : As of March 9, 2007, this site became "inactive" and will not be further updated. It will remain available on the web, in the hope that it will be useful. Because of "hackers," the "Forum" (discussion bulletin board) that was formerly found on this site has been removed. Table of Contents Log of updates to this site E-mail addresses (People you should know about.) Links (Places you should kn Read More Go to Site

		NEW ADVENT: Home ^Votes:0 Home Encyclopedia Summa Fathers Bible Library 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 Home OUR RESOURCES Catholic Encyclopedia. More than 11,000 articles on Catholic topics. Summa Theologica. The theological masterpiece of St. Thomas Aquinas. Church Fathers. Letters, speeches and books from the earliest Christians. Holy Bible. The Douay-Rheims version, with hyperlinks to the Catholic Encyclopedia. How to Recite the Holy Rosary. Copy and distribute this sheet. Catholic Links. A growing directory of good Catholic websites. THE TOP 20 Here are the top 20 Catholic websites in the world, according to Alexa.com. This is a list of the busiest Catholic websites, which are not necessarily the best Catholic websites. This list was updated on June 22, 2007. The Holy See ACI Digital Cathol Read More Go to Site

		Notre Dame Journal of Formal Logic ^Votes:0 Notre Dame Journal of Formal Logic The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work. Online with Project Euclid NDJFL is an Open Archive journal. At Project Euclid, NDJFL volumes more than five years old are available free to the public. Michael Detlefsen and Peter Cholak, Editors Martha E. Kummerer , Production Editor and Manager ndjfl@nd.edu Editorial Board Peter Aczel G. Aldo Antonelli Jeremy Avigad Patrick Blackburn Patricia Blanchette Sam Buss Kosta Došen Melvin Fitting Matthew Foreman Robert Goldblatt Warren Goldfarb Joel David Hamkins Ulrich Kohlenbach Jan Krajicek Michael J. Kremer Penelope Maddy David E. Marker Timothy McCarthy Vann Mc Read More Go to Site

		Occam's Razor ^Votes:0 Occam's Razor one should not increase, beyond what is necessary, the number of entities required to explain anything Occam's razor is a logical principle attributed to the mediaeval philosopher William of Occam (or Ockham). The principle states that one should not make more assumptions than the minimum needed. This principle is often called the principle of parsimony . It underlies all scientific modelling and theory building. It admonishes us to choose from a set of otherwise equivalent models of a given phenomenon the simplest one. In any given model, Occam's razor helps us to "shave off" those concepts, variables or constructs that are not really needed to explain the phenomenon. By doing that, developing the model will become much easier, and there is less chance of introducing inconsi Read More Go to Site

		PEP \| Peirce Edition Project \| Redirect ^Votes:0 Home \| Writings \| Essential Peirce \| Site Guide The home page for this site has been moved. If this page does not automatically change in 8 seconds please click on the "Home" link above . Read More Go to Site

		Phl 313K Logic, Sets and Functions ^Votes:0 Phl 313K Logic, Sets and Functions Koons -- Fall 2002 WEL 2.246, TuTh 2-3:30 PM, 39925-39960. Office Hours Prof. Koons: WAG 405, Wed. 3-4; Thurs. 1-2. Review Session: Monday, December 16 (not the 9 th ??? my apologies), 2002. WAG 302, 2-3 PM. Requirements, Syllabus and Homework Assignments Requirements Syllabus Homework Assignments . (Note: new due date for HW #2 ??? Oct. 1) Downloading Files Terlingua Font for Windows You will need the Terlingua and Platofont fonts for windows to read homeworks or practice exams on your windows machine. If you cannot read the logical symbols in homework or practice exam, try to downlown load this font. Courseware The use of the courseware Plato is highly recommended. Plato is a natural deduction proof editor designed to conform to the rules used in Logic, Read More Go to Site

		Redirecting to new DAS web site ^Votes:0 Redirecting to decision-analysis.society.informs.org . Read More Go to Site

		The Argument Clinic \| University of Northern Colorado ^Votes:0 Philosophy at UNC Faculty and Staff Why Philosophy? Academic Programs Academic Advising Course Offerings Class Web Sites Our Location Contact Us Site Map Want More than Info? The Argument Clinic The Daily Translation Primers and Pastimes The Philosophy Forums Coalition of Student Philosophers The Institute of Professional Ethics The Center for Ethical Deliberation Ethics Across the Curriculum Training and Consulting Past Projects Elsewhere at UNC UNC’s Home Page UNC Admissions Office The UNC Catalog Online Schedule of Classes Career Services Resources on the Web Episteme Links The Philosophy Pages Philosophy on the Internet The Voice of the Shuttle The APA Online Welcome to the argument clinic! We examine arguments. If you’ve got an argument you’d like us to look at, type Read More Go to Site

		The Critical Thinking Community ^Votes:0 Welcome to the Critical Thinking Community You are at www.sonoma.edu/cthink/ In order to provide you with a secured server for your product ordering and event registration needs, we have moved our site to www.criticalthinking.org (The Center for Critical Thinking is still located at Sonoma State University) Sponsored by these Educational Non-Profit Organizations Foundation for Critical Thinking Center for Critical Thinking at Sonoma State University ... The National Council for Excellence in Critical Thinking ... The International Center for the Assessment of Higher Order Thinking ... www.criticalthinking.org Copyright©1999, Foundation for Critical Thinking ALL RIGHTS RESERVED To contact author: cct@criticalthinking.org or 707-878-9100 Read More Go to Site

		The History of Formal Logic ^Votes:0 The History of Formal Logic The idea of reducing reasoning to computation in some kind of formal calculus is an old dream, surveyed by [marciszewski-murawski] . Some trace the idea back to Raymond Lull, though this is perhaps dubious. Certainly [hobbes-leviathan] made explicit the analogy in the slogan 'Reason [...] is nothing but Reckoning'. 5 This parallel was developed by Leibniz, who envisaged a 'characteristica universalis' (universal language) and a 'calculus ratiocinator' (calculus of reasoning). His idea was that disputes of all kinds, not merely mathematical ones, could be settled if the parties translated their dispute into the characteristica and then simply calculated. Leibniz even made some steps towards realizing this lofty goal, but his work was largely forgotten. Meanwhile, Read More Go to Site

		The Internet Classics Archive: 441 searchable works of classical literature ^Votes:0 Bringing the wisdom of the classics to the Internet since 1994. Special Notice: In the Fall of 2000, this site was down for two weeks due to a disk failure and backup errors. Due to the kindness of Google and skill of Ken Haase of the MIT Media Lab, we've recovered the bulk of the texts ( browse here ). However, the search, comment, and trivia applications do not work, and will be out of service for some time. Please direct inquiries to classics@classics.mit.edu . Thank you for your patience. Browse and Comment Select from a list of 441 works of classical literature by 59 different authors, including user-driven commentary and "reader's choice" Web sites. Mainly Greco-Roman works (some Chinese and Persian), all in English translation. * Selected titles: Featured work: Caesar by Plutarch Ot Read More Go to Site

		The Karl Popper Web ^Votes:0 HOME ABOUT KARL POPPER & audio CRITICAL CAFE (discuss) CRITICAL RATIONALIST (peer-reviewed e-journal) BOOKSHOP & REVIEWS POPPER CONFERENCE Hoover Institution Archives Sponsors Search Further Resources "Awarded to an elite group of web sites for their quality of presentation, content and accuracy." The Karl Popper Web (Referenced by the B.B.C., the British Science Museum and The Encyclopaedia Britannica) (Last revised: 16th October, 2006.) Institute of Philosophy, Academy of Sciences of the Czech Republic is pleased to announce a conference: RE-THINKING POPPER September 10th - 14th 2007 Prague, Czech Republic The conference aims to review Karl Popper's philosophy and evaluate its relevance to current philosophical debates. For more information, click this link: Founder and Editor: Read More Go to Site

		University of Michigan Library Name Resolver Service ^Votes:0 Your URL links to the following volume(s). Bibliographic information is provided to confirm the link. This information is provided by the University of Michigan Library Name Resolver Service. 1 of 1 Author: Tappan, Henry Philip, 1805-1881. Title: Elements of logic: together with an introductory view of philosophy in general, and a preliminary view of the reason./ By Henry Tappan. URL: http://www.hti.umich.edu/cgi/t/text/text-idx?c=moa;idno=AFX7197.0001.001 Extent: 467 p ; 20 cm. Place of publication: NEw York, Publisher: D. Appleton and company, Date of publication: 1856. Availability: These pages may be freely searched and displayed. Permission must be received for subsequent distribution in print or electronically. Please go to http://www.umdl.umich.edu/ for more information. Title: Maki Read More Go to Site

StudySphere is an outstanding resource for homework help, special education, music school, cooking school, charter schools, art schools, technical schools, traffic school, film schools, catholic schools, etc.