The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, Arnold Koslow, Arthur Buchsbaum, editors, (electronic book)

Resource Information

The instance The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, Arnold Koslow, Arthur Buchsbaum, editors, (electronic book) represents a material embodiment of a distinct intellectual or artistic creation found in University of Liverpool. This resource is a combination of several types including: Instance, Electronic.

Image

http://covers.openlibrary.org/b/isbn/9783319101927-M.jpg?default=false

Label

The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, Arnold Koslow, Arthur Buchsbaum, editors, (electronic book)

Title remainder

Festschrift for 50th Birthday of Jean-Yves Béziau

Title number

Volume I

Medium

electronic book

Statement of responsibility

Arnold Koslow, Arthur Buchsbaum, editors

Instantiates

• The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I

Publication

• Cham, Birkhäuser, 2014

Copyright

• ©2015

Antecedent source

unknown

Bibliography note

Includes bibliographical references

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

multicolored

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

• The Road to Universal Logic; Preface; References; Contents; Contributors; Ibn Sina's Two-Partite Versus Nine-Partite Logicography; 1 Introduction; 2 Aristotle's Books on Logic; 3 Logic in Ibn Sina's Shifa (= Healing); 4 Logic in Ibn Sina's al-Isharat wat-Tanbihat (= Remarks and Admonitions); 5 A Comparison Between Logic in Shifa and Logic in Isharat; 6 Ibn Sina's Reasons on Changing the Structure of Logic and the Style of Logicography; 6.1 Dividing Knowledge into Conception and Assent; 6.2 Study of Categories as a Part of First Philosophy
• 7 Two-Partite Logic Versus Nine-Partite Logic in the Islamic Tradition8 Main Features and Advantages of Ibn Sina's Two-Partite Methodology in Logicography; References; Homotopical Categories of Logics; 1 Introduction; 2 Categories of Logics; 2.1 Signatures; 2.2 Logics; 3 Abstract Homotopy Theory; 3.1 Simplicial Sets and Nerves; 3.2 Localization of Categories and Homotopy (Co)limits; 3.2.1 Localizing Categories; 3.2.2 Homotopy (Co)limits; 3.3 Simplicial Categories, Simplicial Localizations and Homotopy (Co)limits; 3.3.1 The Hammock Localization; 3.3.2 Homotopy Category of a Simplicial Category
• 3.3.3 Homotopy (Co)limits Revisited3.3.4 Simplicial Categories from 2-Categories; 3.4 Equivalences of Simplicial Categories and (infty,1)-Categories; 3.5 Models and Computation of Homotopy (Co)limits; 3.5.1 The Homotopy Theory of Homotopy Theories; 4 (infty,1)-Categories of Logics; 4.1 Weak Equivalences; 4.2 The Hammock Localization of Hilb; 4.3 The 2-Categorical Localization of Log; 4.3.1 Logstrict2-cat Versus Log2-cat; 4.3.2 Homotopy Limits in Log2-cat; 4.3.3 Homotopy Colimits in Log2-cat; 5 Vista; 5.1 Further Studies of Categories of Logics; 5.2 Invariants of Logics
• 5.3 Refined Categories of Logics from Proof Theory5.4 Comparing Paradigms of Logic; 6 Conclusion; References; Semi-implication: A Chapter in Universal Logic; 1 Introduction; 2 Preliminaries; 3 The Relevant Deduction Property (RDP); 4 The Minimal Logics with the RDP; 5 CL and the Classical Equivalence; 6 The Notion of Semi-implication; 7 Semi-implication in Special Types of Matrices; References; A Formal Framework for Hypersequent Calculi and Their Fibring; 1 Introduction; 2 The Category of Formal Hypersequent Calculi; 3 Unconstrained Fibring of Hypersequent Calculi
• 4 Admissible and Derivable Rules and the Rule Elimination Property5 Preservation Features and Translating Derivations; 6 Extension to Constrained Fibring; 7 The Non-commutative Case; 8 Hypersequent Calculi and Hypertranslations; 9 Concluding Remarks; References; Investigating Knowledge and Opinion; 1 Preliminaries; 2 Introduction; 3 The Spectrum of True Beliefs; 4 The Spectra of Certainty; 5 Senses of Òbjective' and S̀ubjective'; 6 Broad and Narrow Senses of B̀elieve'; 7 Certitude and Certainty; 8 The Spectra of Certitude; 9 Certain Knowledge; 10 Speaking of Propositional Knowledge

Control code

SPR893906801

Dimensions

unknown

Extent

1 online resource (xii, 520 pages)

File format

unknown

Form of item

online

Isbn

9783319101927

Level of compression

unknown

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/978-3-319-10193-4

Other physical details

illustrations (some color).

Quality assurance targets

not applicable

Record ID

b3867724

Reformatting quality

unknown

Reproduction note

Electronic resource.

Sound

unknown sound

Specific material designation

remote