Computer-Based Logic and Argument Analysis: Analytics

Abstract

I have developed a package of computer-assisted instruction programs at Carnegie-Mellon University to teach first-order logic and to explore its applications to the analysis of relatively sophisticated (in our case, philosophic) arguments. The package is called ANALYTICS

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

ANALYTICS I: A Conceptual Framework for The SYMBOL, TRUTH, and ARGUE Programs, Apple II Plus Versions.Preston K. Covey - unknown
ANALYTICS User Manual.Preston K. Covey - unknown
Logic and Argument Analysis: An Introduction to Formal Logic and Philosophic Method (REVISED).Preston K. Covey - unknown
ARGUE: A Manual and Concise Text to Accompany the ARGUE Program for Formal Deduction and Analytic Inquiry.Preston K. Covey - unknown
Computer-Assisted Instruction in Logic and Argument Analysis.Preston K. Covey - unknown
Electronic Media Review.Michael B. Burke - 2006 - Teaching Philosophy 29 (3):255-260.
Aristotle's Prior Analytics Book I: Translated with an Introduction and Commentary.Gisela Striker - 2009 - Oxford, England: Oxford University Press.
Argument Schemes in Computer System Safety Engineering.Tangming Yuan & Tim Kelly - 2011 - Informal Logic 31 (2):89-109.
Analysis and Science in Aristotle.Patrick Hugh Byrne - 1997 - State University of New York Press.
Completion, reduction and analysis: three proof-theoretic processes in aristotle’s prior analytics.George Boger - 1998 - History and Philosophy of Logic 19 (4):187-226.
Fallacies and formal logic in Aristotle.David Hitchcock - 2000 - History and Philosophy of Logic 21 (3):207-221.
Aristotle's logical works and his conception of logic.Walter Leszl - 2004 - Topoi 23 (1):71-100.
Using Computer-Assisted Instruction and Developmental Theory to Improve Argumentative Writing.Ronald R. Irwin - 1995 - Informal Logic 17 (2).
Argument Representation for Dependable Computer-Based Systems.C. Gurr - 2002 - Informal Logic 22 (3):293-321.

Analytics

Added to PP
2014-04-05

Downloads
8 (#1,322,157)

6 months
6 (#529,161)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references