000856322 000__ 05655cam\a2200517Ii\4500
000856322 001__ 856322
000856322 005__ 20230306145129.0
000856322 006__ m\\\\\o\\d\\\\\\\\
000856322 007__ cr\un\nnnunnun
000856322 008__ 181016s2018\\\\sz\\\\\\ob\\\\000\0\eng\d
000856322 019__ $$a1057374963
000856322 020__ $$a9783319987972$$q(electronic book)
000856322 020__ $$a3319987976$$q(electronic book)
000856322 020__ $$z9783319987965
000856322 020__ $$z3319987968
000856322 035__ $$aSP(OCoLC)on1057018531
000856322 035__ $$aSP(OCoLC)1057018531$$z(OCoLC)1057374963
000856322 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dN$T$$dGW5XE$$dEBLCP$$dYDX$$dUKMGB$$dOCLCF$$dFIE
000856322 049__ $$aISEA
000856322 050_4 $$aBC199.C6
000856322 08204 $$a165$$223
000856322 24500 $$aContradictions, from consistency to inconsistency /$$cWalter Carnielli, Jacek Malinowski, editors.
000856322 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2018]
000856322 300__ $$a1 online resource.
000856322 336__ $$atext$$btxt$$2rdacontent
000856322 337__ $$acomputer$$bc$$2rdamedia
000856322 338__ $$aonline resource$$bcr$$2rdacarrier
000856322 4901_ $$aTrends in logic ;$$vvolume 47
000856322 504__ $$aIncludes bibliographical references.
000856322 5050_ $$aIntro; Contents; Contradictions, from Consistency to Inconsistency; The Price of True Contradictions About the World; 1 Introduction; 2 Contradictions in Concrete Reality; 3 Problems with Real Contradictions; 3.1 The Most Common Objection: Negative Facts; 3.2 Dictating Science from the Armchair?; 3.3 Unequal Treatment of Observable and Unobservable Contradictory Objects; 3.4 The Solution of Aporias and Mutilation of Reason; 3.5 Contradictions and Theoretical Virtues; 4 Final Remarks: Where Can We Find True Contradictions?; References
000856322 5058_ $$aThe Possibility and Fruitfulness of a Debate on the Principle of Non-contradiction1 Introduction; 2 Aristotle's Principles of Non-contradiction; 3 Some Distinctions; 4 Aristotle on Demonstration, Refutation and the Possibility of a Fruitful Debate on PNC; 5 Aristotle's Refutation of Heracliteans; 6 The Consequences of Refutations for Demonstrators; 7 Methodologists and the Fruitfulness of the Debate; 8 Conclusions; References; Keeping Globally Inconsistent Scientific Theories Locally Consistent; 1 Introduction; 2 Trivialism and Modern Mathematics
000856322 5058_ $$a3 Chunk and Permeate and General Remarks on Extending it4 Bundles: Local and Global Consistency; 5 Bundles and Chunk and Permeate; 6 Generalizing Further: Bundled Chunk and Permeate to Reconstruct Scientific Reasoning; 7 Some Preliminaries from Empirical Inconsistent Science; 7.1 Different Groups of Propositions; 7.2 Global and Local (In)Consistency; 8 A Scientific Example of Bundled Chunk and Permeate; 8.1 The Case Study; 8.2 Nuclear Physics and BC 9 Problems with Global Inconsistency in Science; 10 Philosophical Conclusions; References; What is a Paraconsistent Logic?; 1 Introduction
000856322 5058_ $$a2 Different Inferential Ways of Being Paraconsistent2.1 Inferences and Meta-Inferences; 2.2 Explosion, Revisited; 3 Study Cases; 3.1 Matrix Logics; 3.2 q-Matrix Logics and p-Matrix Logics; 4 Philosophical Reflections; 4.1 Answers to Some Possible Objections; 5 Conclusion; References; Provided You're not Trivial: Adding Defaults and Paraconsistency to a Formal Model of Explanation; 1 Our Roadmap; 2 Example of Some Difficulties in Modeling Explanations; 3 Building Rules and Doxastic Systems on GMD; 4 Building a Default Theory on GMD; 5 Building a Paraconsistent Default Theory on GMD
000856322 5058_ $$a6 Explanations in the GMD Formal Framework7 Concluding Remarks; References; Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT; 1 Introduction; 2 Syntax; 3 Semantics; 4 Methods for Information Aggregation and Disagreement Resolution; 4.1 Consensus; 4.2 Dictatorship; 4.3 Expertise-Restricted Trust; 4.4 Voting; 5 Embedding of Para-Disagreement Logics in Coq; 6 Embedding of Para-Disagreement Logics in SMT; 7 Related Work; 8 Conclusion; References; Asymptotic Quasi-completeness and ZFC; 1 Introduction; 2 Modern History of the Singular Cardinals
000856322 506__ $$aAccess limited to authorized users.
000856322 520__ $$aThis volume investigates what is beyond the Principle of Non-Contradiction. It features 13 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions. Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths. Readers should understand the title of this book in a broad way,because it is not so obvious to deal with notions like contradictions, consistency, inconsistency, and triviality. The papers collected here present groundbreaking ideas related to consistency and inconsistency.--$$cProvided by publisher.
000856322 588__ $$aOnline resource; title from PDF title page (viewed October 18, 2018).
000856322 650_0 $$aContradiction.
000856322 7001_ $$aCarnielli, Walter A.$$q(Walter Alexandre),$$eeditor.
000856322 7001_ $$aMalinowski, Jacek,$$eeditor.
000856322 77608 $$iPrint version: $$z3319987968$$z9783319987965$$w(OCoLC)1044869412
000856322 830_0 $$aTrends in logic ;$$vv. 47.
000856322 852__ $$bebk
000856322 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-98797-2$$zOnline Access$$91397441.1
000856322 909CO $$ooai:library.usi.edu:856322$$pGLOBAL_SET
000856322 980__ $$aEBOOK
000856322 980__ $$aBIB
000856322 982__ $$aEbook
000856322 983__ $$aOnline
000856322 994__ $$a92$$bISE