Kooperativer Bibliotheksverbund

UID:

Format: 400 S. , graph. Darst.

ISBN: 9042021306 , 9789042021303

Series Statement: Poznań studies in the philosophy of the sciences and the humanities 91

Language: English

Subjects: Philosophy

Keywords: Logik ; Ontologie ; Aufsatzsammlung ; Aufsatzsammlung

URL: Inhaltsverzeichnis

URL: Inhaltsverzeichnis

UID:

Format: 1 online resource (XII, 262 p.)

ISBN: 9783110725599 , 9783110754001

Series Statement: De Gruyter Series on the Applications of Mathematics in Engineering and Information Sciences , 8

Content: Reliability is a fundamental criterium in engineering systems. This book shows innovative concepts and applications of mathematics in solving reliability problems. The contents address in particular the interaction between engineers and mathematicians, as well as the cross-fertilization in the advancement of science and technology. It bridges the gap between theory and practice to aid in practical problem-solving in various contexts.

Note: Frontmatter -- , Acknowledgment -- , Preface -- , Editor's biography -- , Contents -- , 1 Residual resilience assessment in infrastructure networks: a case to IEEE14 bus test system -- , 2 Modeling of mixed cascading failures and resilience-based restoration selection -- , 3 MIRCE Science: a mathematical scheme for predicting impacts of reliability engineering on the time evolution of physical systems -- , 4 On the reliability structures with two common failure criteria and a single change point -- , 5 Invulnerability and survivability modeling and analysis of cloud storage systems -- , 6 Reliability evaluation of multistate systems with common bus performance sharing considering performance excess -- , 7 A fast universal algorithm for finding minimal cut-sets in networks with arbitrary structure -- , 8 Switching-algebraic symbolic analysis of the reliability of non-repairable coherent multistate systems -- , 9 Complex system modeling method considering failure mechanism dependency -- , 10 Innovative interconnected nonlinear hybrid dynamic modeling for time-to-event processes -- , 11 A Bayesian design of zero-failure reliability demonstration tests for multicomponent systems -- , Index , Mode of access: Internet via World Wide Web. , In English.

In: EBOOK PACKAGE COMPLETE 2021 English, De Gruyter, 9783110754001

In: EBOOK PACKAGE Engineering, Computer Sciences 2021 English, De Gruyter, 9783110754070

In: EBOOK PACKAGE Engineering, Computer Sciences 2021, De Gruyter, 9783110753837

Additional Edition: ISBN 9783110725636

Additional Edition: ISBN 9783110725568

Language: English

Subjects: Engineering

DOI: 10.1515/9783110725599

URL: https://doi.org/10.1515/9783110725599

URL: https://www.degruyter.com/isbn/9783110725599

URL: Cover

URL: https://doi.org/10.1515/9783110725599

URL: https://www.degruyter.com/isbn/9783110725599

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Format: 1 Online-Ressource (XIII, 343 Seiten) , Diagramme

ISBN: 9781402090844

Series Statement: Trends in Logic volume 28

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-1-402-09083-7

Language: English

Subjects: Philosophy

Keywords: Mathematik ; Philosophie ; Mathematische Logik ; Philosophie ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-1-4020-9084-4

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Format: 1 Online-Ressource (VI, 322 Seiten, 31 illus)

ISBN: 9783319987972

Series Statement: Trends in logic volume 47

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-319-98796-5

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-319-98798-9

Language: English

Keywords: Widerspruch ; Logik ; Aufsatzsammlung

DOI: 10.1007/978-3-319-98797-2

URL: Volltext  (URL des Erstveröffentlichers)

URL: Buchcover

UID:

Format: VII, 384 p. , online resource.

ISBN: 9789401735988

Series Statement: Trends in Logic, Studia Logica Library, 21

Note: 50 Years of Studia Logica: Editorial Introduction -- Polish Logic in Postwar Period -- Fifty Years: Changes and Constants in Logic -- Generalized Matrices in Abstract Algebraic Logic -- Intensional Logic — Beyond First Order -- Questions of Canonicity -- ?ukasiewicz Logic and Chang’s MV Algebras in Action -- Substructural Logics and Residuated Lattices — an Introduction -- Quantum Computational Logics: A Survey -- Inconsistent Arithmetics: Issues Technical and Philosophical -- Inconsistency-tolerant Description Logic: Motivation and Basic Systems -- Type Logics in Grammar.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9789048164141

Language: English

DOI: 10.1007/978-94-017-3598-8

URL: http://dx.doi.org/10.1007/978-94-017-3598-8

URL: Volltext  (lizenzpflichtig)

UID:

Format: 1 Online-Ressource (400 pages) , illustrations

ISBN: 9789004332966

Series Statement: Poznań studies in the philosophy of the sciences and the humanities v. 91

Content: Preliminary material /Jacek Malinowski and Andrzej Pietruszczak -- EDITORIAL INTRODUCTION LOGIC IN TORUN: 1992–2003 /Jacek Malinowski and Andrzej Pietruszczak -- CROSSROADS OF LOGIC AND ONTOLOGY: A MODAL-COMBINATORIAL ANALYSIS OF WHY THERE IS SOMETHING RATHER THAN NOTHING /Dale Jacquette -- AN ONTO-NOMOLOGICAL THEORY OF MODALITY /Uwe Meixner -- THE ONTOLOGY OF WHAT IS NOT THERE /Roberto Poli -- CONTRADICTION AND CONTRARIETY. PRIEST ON NEGATION /Heinrich Wansing -- MOORE PROBLEMS IN FULL DYNAMIC DOXASTIC LOGIC /Krister Segerberg -- ON THE FORMALIZATION OF STRAWSON’S PRESUPPOSITION /Jacek Malinowski -- THE CONCEPT OF “SOCIAL RELATIONS” IN CLASSIC ANALYTICAL INTERPRETATIVE SOCIOLOGY: WEBER AND ZNANIECKI /Janusz Mucha -- ON APPLICATIONS OF TRUTH-VALUE CONNECTIVES FOR TESTING ARGUMENTS WITH NATURAL CONNECTIVES /Andrzej Pietruszczak -- TRANSLATING FROM ŁUKASIEWICZ’S LOGICS INTO CLASSICAL LOGIC: IS IT POSSIBLE? /Itala M. Loffredo D’Ottaviano and Hércules Araujo Feitosa -- MODAL TABLEAUX FOR REASONING ABOUT DIAGRAMS /Luis Fariñas del Cerro and Olivier Gasquet -- NARROWING DOWN SUSPICION IN INCONSISTENT PREMISE SETS /Diderik Batens -- DISCUSSIVE ADAPTIVE LOGICS: HANDLING INTERNAL AND EXTERNAL INCONSISTENCIES /Joke Meheus -- ABSURDITY AS UNARY OPERATOR /Sergei P. Odintsov -- A WORLD OF EXPERIENCES, AN ADEQUATE LANGUAGE, AND SELF-REFERENCE REVISED /Guido Vanackere -- FROM INTUITIONISTIC LOGIC TO DYNAMIC OPERATIONAL QUANTUM LOGIC /Sonja Smets -- ARE THERE ONTOLOGICAL EXPLANATIONS? /Erik Weber -- FORMAL AND EXISTENTIAL ANALYSIS OF SUBJECT AND PROPERTIES /Marek Rosiak -- THE METAPHYSICAL REALISM DEBATE: WHAT IS AT STAKE? /Tadeusz Szubka -- AN OUTLINE OF THE ANSELMIAN THEORY OF GOD /Tomasz Jarmużek , Maciej Nowicki and Andrzej Pietruszczak -- PHILOSOPHY OF MATHEMATICS IN THE 20TH CENTURY: MAIN TRENDS AND DOCTRINES /Roman Murawski -- INDEPENDENCE AND JUSTIFICATION IN MATHEMATICS /Krzysztof Wójtowicz and Andrzej Pietruszczak -- DO QUANTUM-MECHANICAL SYSTEMS ALWAYS POSSESS DEFINITE PROPERTIES DICTATED BY THEIR STATES? /Tomasz Bigaj -- TWO NOTIONS OF THE INTERNAL AND GOLDMAN’S EPISTEMIC EXTERNALISM /Renata Ziemińska -- POZNAŃ STUDIES IN THE PHILOSOPHY OF THE SCIENCES AND THE HUMANITIES /Jacek Malinowski and Andrzej Pietruszczak.

Content: The aim of this book is to present essays centered upon the subjects of Formal Ontology and Logical Philosophy. The idea of investigating philosophical problems by means of logical methods was intensively promoted in Torun by the Department of Logic of Nicolaus Copernicus University during last decade. Another aim of this book is to present to the philosophical and logical audience the activities of the Torunian Department of Logic during this decade. The papers in this volume contain the results concerning Logic and Logical Philosophy, obtained within the confines of the projects initiated by the Department of Logic and other research projects in which the Torunian Department of Logic took part

Note: Includes bibliographical references

Additional Edition: ISBN 9789042021303

Additional Edition: Erscheint auch als Druck-Ausgabe Essays in Logic and Ontology Leiden, Boston : Brill | Rodopi, 2007 ISBN 9789042021303

Language: English

DOI: 10.1163/9789004332966

URL: DOI

UID:

Format: vi, 322 Seiten , Illustrationen

ISBN: 9783319987965 , 9783030075347 , 9783319987972

Series Statement: Trends in logic Volume 47

Additional Edition: Erscheint auch als Online-Ausgabe, eBook ISBN 978-3-319-98797-2

Language: English

Keywords: Widerspruch ; Logik ; Aufsatzsammlung

UID:

Format: 1 online resource (400 pages) : , illustrations.

ISBN: 9789004332966

Series Statement: Poznań studies in the philosophy of the sciences and the humanities, v. 91

Content: The aim of this book is to present essays centered upon the subjects of Formal Ontology and Logical Philosophy. The idea of investigating philosophical problems by means of logical methods was intensively promoted in Torun by the Department of Logic of Nicolaus Copernicus University during last decade. Another aim of this book is to present to the philosophical and logical audience the activities of the Torunian Department of Logic during this decade. The papers in this volume contain the results concerning Logic and Logical Philosophy, obtained within the confines of the projects initiated by the Department of Logic and other research projects in which the Torunian Department of Logic took part.

Note: Preliminary material / , EDITORIAL INTRODUCTION LOGIC IN TORUN: 1992-2003 / , CROSSROADS OF LOGIC AND ONTOLOGY: A MODAL-COMBINATORIAL ANALYSIS OF WHY THERE IS SOMETHING RATHER THAN NOTHING / , AN ONTO-NOMOLOGICAL THEORY OF MODALITY / , THE ONTOLOGY OF WHAT IS NOT THERE / , CONTRADICTION AND CONTRARIETY. PRIEST ON NEGATION / , MOORE PROBLEMS IN FULL DYNAMIC DOXASTIC LOGIC / , ON THE FORMALIZATION OF STRAWSON'S PRESUPPOSITION / , THE CONCEPT OF "SOCIAL RELATIONS" IN CLASSIC ANALYTICAL INTERPRETATIVE SOCIOLOGY: WEBER AND ZNANIECKI / , ON APPLICATIONS OF TRUTH-VALUE CONNECTIVES FOR TESTING ARGUMENTS WITH NATURAL CONNECTIVES / , TRANSLATING FROM ŁUKASIEWICZ'S LOGICS INTO CLASSICAL LOGIC: IS IT POSSIBLE? / , MODAL TABLEAUX FOR REASONING ABOUT DIAGRAMS / , NARROWING DOWN SUSPICION IN INCONSISTENT PREMISE SETS / , DISCUSSIVE ADAPTIVE LOGICS: HANDLING INTERNAL AND EXTERNAL INCONSISTENCIES / , ABSURDITY AS UNARY OPERATOR / , A WORLD OF EXPERIENCES, AN ADEQUATE LANGUAGE, AND SELF-REFERENCE REVISED / , FROM INTUITIONISTIC LOGIC TO DYNAMIC OPERATIONAL QUANTUM LOGIC / , ARE THERE ONTOLOGICAL EXPLANATIONS? / , FORMAL AND EXISTENTIAL ANALYSIS OF SUBJECT AND PROPERTIES / , THE METAPHYSICAL REALISM DEBATE: WHAT IS AT STAKE? / , AN OUTLINE OF THE ANSELMIAN THEORY OF GOD / , PHILOSOPHY OF MATHEMATICS IN THE 20TH CENTURY: MAIN TRENDS AND DOCTRINES / , INDEPENDENCE AND JUSTIFICATION IN MATHEMATICS / , DO QUANTUM-MECHANICAL SYSTEMS ALWAYS POSSESS DEFINITE PROPERTIES DICTATED BY THEIR STATES? / , TWO NOTIONS OF THE INTERNAL AND GOLDMAN'S EPISTEMIC EXTERNALISM / , POZNAŃ STUDIES IN THE PHILOSOPHY OF THE SCIENCES AND THE HUMANITIES /

Additional Edition: Print version: Essays in Logic and Ontology Leiden, Boston : Brill | Rodopi, 2007, ISBN 9789042021303

Language: English

URL: DOI:

UID:

Format: VII, 382 S.

ISBN: 1-402-01601-8

Series Statement: Trends in logic 21

Note: Papers from the two conferences 'Trends in logic - 50 years of Studia logica' held at The Polish Academy of Sciences, Jablonna, Poland, October 4-6, 2003 and at The Carlsberg Academy, Copenhagen, Denmark, November 20-22, 2003. - NT: Trends in Logic - 50 Years of Studia Logica

Language: English

Subjects: Philosophy

Keywords: Mathematische Logik ; Aufsatzsammlung ; Konferenzschrift

URL: Table of contents

UID:

Format: Online-Ressource (digital)

ISBN: 9781402090844

Series Statement: Trends in Logic 28

Content: From Logic to Mathematical Philosophy -- Commutativity of Quantifiers in Varying-Domain Kripke Models -- The Method of Tree-Hypersequents for Modal Propositional Logic -- All Splitting Logics in the Lattice NExt(KTB) -- A Temporal Logic of Normative Systems -- Reasoning with Justifications -- Monotone Relations, Fixed Points and Recursive Definitions -- Processing Information from a Set of Sources -- The Classical Model Existence Theorem in Subclassical Predicate Logics I -- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms -- Faithful and Invariant Conditional Probability in ?ukasiewicz Logic -- A Fuzzy Logic Approach to Non-Scalar Hedges -- The Procedures for Belief Revision -- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators -- The Coherence of Theories—Dependencies and Weights -- On Meta-Knowledge and Truth.

Content: This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its range of subjects is far from complete, but broadly representative. The first group of papers in this volume consists of contributions to pure and applied modal logic. The problems discussed here range from the structure of lattices of normal and other modal propositional logics to modal proof theory and to the semantics of quantified modal logic. The second group of papers deals with Many-valued logics - an extensive domain of strictly logical investigations rooting in philosophical questions concerning the nature of logical values. Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. Towards Mathematical Philosophy deals with focal issues of belief revision. The volume concludes with contributions which may be seen to belong to the field of formal epistemology, the area applying logical, probabilistic, game-theoretic and other formal methods to problems and issues in epistemology and philosophy of science, such as those concerning anti-realism, skepticism, theory comparison and theory choice, justification, sources of knowledge and learning theories.

Additional Edition: ISBN 9781402090837

Additional Edition: Buchausg. u.d.T. Towards mathematical philosophy [Berlin u.a.] : Springer, 2009 ISBN 9781402090837

Additional Edition: ISBN 1402090838

Language: English

Subjects: Philosophy

Keywords: Mathematik ; Philosophie ; Mathematische Logik ; Philosophie

DOI: 10.1007/978-1-4020-9084-4

URL: Volltext  (lizenzpflichtig)

URL: Kapitel 2

URL: Cover

URL: Inhaltsverzeichnis

URL: Inhaltstext

Author information: Hendricks, Vincent F. 1970-