Système d’information en philosophie des sciences
Information system on philosophy of science

ImprimerEnvoyer le lien

COLLECTIF

Towards Mathematical Philosophy

Papers from the Studia Logica conference Trends in Logic IV

  • Pages : XIV-346
  • Collection : Trends in Logic
  • Nombre de volumes : 1
  •  
  • Support : Print
  • Edition : Original
  • Ville : Heidelberg ; Dordrecht ; New York
  •  
  • ISBN : 978-1-4020-9083-7
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 02-11-2015

Résumé :

Anglais

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. M.-M. V.

 

Articles :

pages 1 à 8

From Logic to Mathematical Philosophy

MAKINSON David, MALINOWSKI Jacek, WANSING Heinrich

pages 9 à 30

Commutativity of Quantifiers in Varying-Domain Kripke Models

GOLDBLATT Robert, HODKINSON Ian

pages 31 à 52

The Method of Tree-Hypersequents for Modal Propositional Logic

POGGIOLESI Francesca

pages 53 à 66

All Splitting Logics in the Lattice NExt(KTB)

KOWALSKI Tomasz, MIYAZAKI Yutaka

pages 69 à 105

A Temporal Logic of Normative Systems

AGOTNES Thomas, HOEK Wiebe van der, RODRIGUEZ-AGUILAR Juan A., et al.

pages 107 à 123

Reasoning with Justifications

FITTING Melvin Chris

pages 125 à 164

Monotone Relations, Fixed Points and Recursive Definitions

CZELAKOWSKI Janusz

pages 165 à 186

Processing Information from a Set of Sources

AVRON Arnon, BEN-NAIM Jonathan, KONIKOWSKA Beata

pages 187 à 199

The Classical Model Existence Theorem in Subclassical Predicate Logics I

LEE Jui-Lin

pages 201 à 212

Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms

ZIELONSKA Wojciech

pages 213 à 232

Faithful and Invariant Conditional Probability in Lukasiewicz Logic

MUNDICI Daniele

pages 233 à 248

A Fuzzy Logic Approach to Non-Scalar Hedges

WAART VAN GULIK Stephan van der

pages 249 à 268

The Procedures for Belief Revision

LUKOWSKI Piotr

pages 269 à 295

Shifting Priorities : Simple Representations for Twenty-Seven Iterated Theory Change Operators

ROTT Hans

pages 297 à 318

The Coherence of Theories—Dependencies and Weights

LI Jason Jingshi, KWOK Rex Bing Hung, FOO Norman Y.

pages 319 à 342

On Meta-Knowledge and Truth

WYBRANIEC-SKARDOWSKA Urszula

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Mercredi 08 décembre 2021