Heuristics for Proof Finding in Formal Logic

Teaching Philosophy 11 (1):41-53 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

01455788

DOI

10.5840/teachphil19881114

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

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

Through your library

My notes

Similar books and articles

Proof-finding Algorithms for Classical and Subclassical Propositional Logics.M. W. Bunder & R. M. Rizkalla - 2009 - Notre Dame Journal of Formal Logic 50 (3):261-273.
Psychological research on heuristics meets the law.Christoph Engel - 2000 - Behavioral and Brain Sciences 23 (5):747-747.
Heuristics all the way up?Adam Morton - 2000 - Behavioral and Brain Sciences 23 (5):758-759.
Rationality, logic, and fast and frugal heuristics.José Luis Bermúdez - 2000 - Behavioral and Brain Sciences 23 (5):744-745.
Formal logic: its scope and limits.Richard C. Jeffrey - 1990 - Indianapolis, IN: Hackett.
.[author unknown] - unknown
Proof and disproof in formal logic: an introduction for programmers.Richard Bornat - 2005 - New York: Oxford University Press.
Formal legal truth and substantive truth in judicial fact-finding -- their justified divergence in some particular cases.S. R. - 1999 - Law and Philosophy 18 (5):497-511.
Gone with the wind: Individual differences in heuristics and biases undermine the implication of systematic irrationality.David C. Funder - 2000 - Behavioral and Brain Sciences 23 (5):673-674.
Formal legal truth and substantive truth in judicial fact-finding -- their justified divergence in some particular cases.Robert S. Summers - 1999 - Law and Philosophy 18 (5):497 - 511.
A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System.Nathaniel Miller - 2006 - Journal of Philosophical Logic 35 (3):289 - 291.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.

Analytics

Added to PP
2011-02-21

Downloads
38 (#416,347)

6 months
4 (#779,649)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

James W. Garson
University of Houston

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references