Polynomizing: Logic inference in polynomial format and the legacy of Boole

In L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine. Springer. pp. 349--364 (2007)
  Copy   BIBTEX

Abstract

Polynomizing is a term that intends to describe the uses of polynomial-like representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics for classical and several non-classical logics can be approached from this perspective, and discuss the assessment of this prospect, in particular to recover certain ideas of George Boole in unifying logic, algebra and the differential calculus.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Psychologism in Logic: Some Similarities between Boole and Frege.Nicla Vassallo - 2000 - In J. Gasser (ed.), A Boole Anthology. Recent and Classical Studies in the Logic of George Boole. Kluwer Academic Publishers.
George Boole's Deductive System.Frank Markham Brown - 2009 - Notre Dame Journal of Formal Logic 50 (3):303-330.
A Boole Anthology: Recent and Classical Studies in the Logic of George Boole.James Gasser (ed.) - 2000 - Dordrecht, Netherland: Kluwer Academic Publishers.
The scope of logic: deduction, abduction, analogy.Carlo Cellucci - 1998 - Theoria 64 (2-3):217-242.
Boole's abandoned propositional logic.Theodore Hailperin - 1984 - History and Philosophy of Logic 5 (1):39-48.
The Horn theory of Boole's partial algebras.Stanley N. Burris & H. P. Sankappanavar - 2013 - Bulletin of Symbolic Logic 19 (1):97-105.
George Boole. The mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning by George Boole — Die mathematische Analyse der Logik. Der Versuch eines Kalküls des deduktiven Schließens von George Boole, Schriftenreihe zur Geistes- und Kulturgeschichte: Texte und Dokumente. Hallescher Verlag, Halle, Saale, 2001, 195 pp. [REVIEW]Risto Vilkko - 2004 - Bulletin of Symbolic Logic 10 (1):108-109.
A dynamic characterization of the pure logic of relevant implication.Diderik Batens - 2001 - Journal of Philosophical Logic 30 (3):267-280.
On polynomial time computation over unordered structures.Andreas Blass, Yuri Gurevich & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1093-1125.
On Nondeterminism, Enumeration Reducibility and Polynomial Bounds.Kate Copestake - 1997 - Mathematical Logic Quarterly 43 (3):287-310.
Light affine lambda calculus and polynomial time strong normalization.Kazushige Terui - 2007 - Archive for Mathematical Logic 46 (3-4):253-280.
The correspondence between george boole and stanley jevons, 1863–1864.I. Grattan-Guinness - 1991 - History and Philosophy of Logic 12 (1):15-35.
Studies in logic and probability.George Boole - 1952 - Mineola, N.Y.: Dover Publications.

Analytics

Added to PP
2014-01-28

Downloads
33 (#468,569)

6 months
5 (#632,353)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Walter Carnielli
University of Campinas

Citations of this work

Add more citations

References found in this work

No references found.

Add more references