skip to content
Paraconsistency: Logic and Applications Preview this item
ClosePreview this item
Checking...

Paraconsistency: Logic and Applications

Author: Koji Tanaka; Francesco Berto; Edwin Mares; Francesco Paoli
Publisher: Dordrecht Springer Netherlands 2013
Series: Logic, epistemology, and the unity of science, vol. 26.
Edition/Format:   Print book : Document   Computer File : EnglishView all editions and formats
Summary:
"A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Paraconsistency
(NL-LeOCL)341510130
Material Type: Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Koji Tanaka; Francesco Berto; Edwin Mares; Francesco Paoli
ISBN: 9789400744387 9400744382 9789400744370 9400744374
OCLC Number: 980919915
Description: 1 online resource (VIII, 383 p.) : illustrations
Contents: Paraconsistency.- Introduction.- Part I Logic.- 1. Making Sense of paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic: Koji Tanaka.- 2. On Discourse Addressed by Infidel Logicians: Walter Carnielli and Marcelo E. Coniglio.- 3. Information, Negation and paraconsistency: Edwin D. Mares.- 4. Noisy vs. merely equivocal logics: Patrick Allo.- 5. Assertion, Denial and Non-Classical Theories: Greg Restall.- 6. New Arguments for adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency: Diederik Batens.- 7. Consequence as preservation: Some Refinements: Bryson Brown.- 8. On Modal Logics defining Jaskowski's D2-consequence: Marek Nasieniewski and Andrzej Pietruszczak.- 9. FDE: A Logic of Clutters: R.E. Jennings and Y. Chen.- 10. A paraconsistent and Substructural Conditional Logic.- Part II Applications: Francesco Paoli.- 11. An approach to Human-level commonsense reasoning: Michael L. Anderson, Walid Gomaa, John Grant and Don Perlis.- 12. Distribution in the Logic of Meaning Containment and in Quantum Mechanics: Ross T. Brady and Andrea Meinander.- 13. Wittgenstein on Incompleteness Makes Paraconsistent sense: Francesco Berto.- 14. Pluralism and "Bad" Mathematical theories: Challenging our prejudices: Michele Friend.- 15. Arithmetic Starred: Chris Mortensen.- 16. Notes on inconsistent set theory: Zach Weber.- 17. Sorting out the Sorites: David Ripley.- 18. Are the sorites and liar paradox of a Kind?: Dominic Hyde.- 19. Vague Inclosures: Graham Priest.-
Series Title: Logic, epistemology, and the unity of science, vol. 26.
Responsibility: Koji Tanaka [aut]; Francesco Berto [aut]; Edwin Mares [aut]; Francesco Paoli [aut]

Abstract:

Here is a comprehensive overview of paraconsistent logical systems, offering chapters contributed by many authorities in the field. The focus is on big picture ideas: different treatments of  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/980919915> # Paraconsistency: Logic and Applications
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "980919915" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1089564448#Place/dordrecht> ; # Dordrecht
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/linguistiek> ; # linguïstiek
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/computerkunde> ; # computerkunde
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/artificial_intelligence_robotics_simulation_graphics> ; # Artificial intelligence. Robotics. Simulation. Graphics
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/ki_kunstmatige_intelligentie> ; # KI (kunstmatige intelligentie)
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/robots> ; # robots
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/filosofie> ; # filosofie
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/logic> ; # Logic
   schema:about <http://dewey.info/class/160/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/intelligence_artificielle> ; # Intelligence artificielle
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/linguistics> ; # Linguistics
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/computers> ; # computers
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/wiskunde> ; # wiskunde
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/mathematical_logic> ; # Mathematical logic
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/philosophy> ; # Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/logica> ; # logica
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/inconsistency_logic> ; # Inconsistency (Logic)
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/taalfilosofie> ; # taalfilosofie
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/inconsistance_logique_philosophie> ; # Inconsistance (logique)--Philosophie
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/informatique_recherche> ; # Informatique--Recherche
   schema:about <http://experiment.worldcat.org/entity/work/data/1089564448#Topic/philosophy_of_language> ; # Philosophy of language
   schema:author <http://experiment.worldcat.org/entity/work/data/1089564448#Person/paoli_francesco> ; # Francesco Paoli
   schema:author <http://experiment.worldcat.org/entity/work/data/1089564448#Person/tanaka_koji> ; # Koji Tanaka
   schema:author <http://experiment.worldcat.org/entity/work/data/1089564448#Person/berto_francesco> ; # Francesco Berto
   schema:author <http://experiment.worldcat.org/entity/work/data/1089564448#Person/mares_edwin> ; # Edwin Mares
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "2013" ;
   schema:description ""A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more ""big picture"" ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics."" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1089564448> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1089564448#Series/logic_epistemology_and_the_unity_of_science> ; # Logic, epistemology, and the unity of science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1089564448#CreativeWork/paraconsistency> ;
   schema:name "Paraconsistency: Logic and Applications" ;
   schema:numberOfPages "383" ;
   schema:productID "980919915" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/980919915#PublicationEvent/dordrechtspringer_netherlands2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1089564448#Agent/springer_netherlands> ; # Springer Netherlands
   schema:url <http://dx.doi.org/10.1007/978-94-007-4438-7> ;
   schema:workExample <http://worldcat.org/isbn/9789400744370> ;
   schema:workExample <http://worldcat.org/isbn/9789400744387> ;
   schema:workExample <http://dx.doi.org/10.1007/978-94-007-4438-7> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB238255> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/980919915> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-94-007-4438-7>
    a schema:IndividualProduct ;
   rdfs:comment "Toegang via de bibliotheken van de Karel de Grote Hogeschool" ;
   rdfs:comment "Toegang via de bibliotheken van de Artesis Plantijn Hogeschool" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Agent/springer_netherlands> # Springer Netherlands
    a bgn:Agent ;
   schema:name "Springer Netherlands" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Person/berto_francesco> # Francesco Berto
    a schema:Person ;
   schema:familyName "Berto" ;
   schema:givenName "Francesco" ;
   schema:name "Francesco Berto" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Person/mares_edwin> # Edwin Mares
    a schema:Person ;
   schema:familyName "Mares" ;
   schema:givenName "Edwin" ;
   schema:name "Edwin Mares" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Person/paoli_francesco> # Francesco Paoli
    a schema:Person ;
   schema:familyName "Paoli" ;
   schema:givenName "Francesco" ;
   schema:name "Francesco Paoli" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Person/tanaka_koji> # Koji Tanaka
    a schema:Person ;
   schema:familyName "Tanaka" ;
   schema:givenName "Koji" ;
   schema:name "Koji Tanaka" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Series/logic_epistemology_and_the_unity_of_science> # Logic, epistemology, and the unity of science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/980919915> ; # Paraconsistency: Logic and Applications
   schema:name "Logic, epistemology, and the unity of science ;" ;
   schema:name "Logic, epistemology and the unity of science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Topic/artificial_intelligence_robotics_simulation_graphics> # Artificial intelligence. Robotics. Simulation. Graphics
    a schema:Intangible ;
   schema:name "Artificial intelligence. Robotics. Simulation. Graphics" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Topic/inconsistance_logique_philosophie> # Inconsistance (logique)--Philosophie
    a schema:Intangible ;
   schema:name "Inconsistance (logique)--Philosophie" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Topic/inconsistency_logic> # Inconsistency (Logic)
    a schema:Intangible ;
   schema:name "Inconsistency (Logic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Topic/informatique_recherche> # Informatique--Recherche
    a schema:Intangible ;
   schema:name "Informatique--Recherche" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
   schema:name "Intelligence artificielle" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Topic/ki_kunstmatige_intelligentie> # KI (kunstmatige intelligentie)
    a schema:Intangible ;
   schema:name "KI (kunstmatige intelligentie)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1089564448#Topic/philosophy_of_language> # Philosophy of language
    a schema:Intangible ;
   schema:name "Philosophy of language" ;
    .

<http://worldcat.org/isbn/9789400744370>
    a schema:ProductModel ;
   schema:isbn "9400744374" ;
   schema:isbn "9789400744370" ;
    .

<http://worldcat.org/isbn/9789400744387>
    a schema:ProductModel ;
   schema:isbn "9400744382" ;
   schema:isbn "9789400744387" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.