Atjaunināt sīkdatņu piekrišanu

E-grāmata: Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV

Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Trends in Logic 28
  • Izdošanas datums: 09-Nov-2008
  • Izdevniecība: Springer
  • Valoda: eng
  • ISBN-13: 9781402090844
  • Formāts - PDF+DRM
  • Cena: 154,06 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: PDF+DRM
  • Sērija : Trends in Logic 28
  • Izdošanas datums: 09-Nov-2008
  • Izdevniecība: Springer
  • Valoda: eng
  • ISBN-13: 9781402090844

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences.

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.
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 CalculusGentzen 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 TheoriesDependencies and Weights.- On
Meta-Knowledge and Truth.
David Makinson, Visiting Professor in Department of Philosophy, London School of Economics, author of "Bridges from Classical to Nonmonotonic Logic" (College Publications, 2005) and "Sets Logic and Maths for Computing" (Springer 2008)



Jacek Malinowski, Professor of Logic at Institute of Philosophy, Polish Academy of Sciences and at Department of Logic, Nicolaus Copernicus University. Editor-in-Chief of Studia Logica



Heinrich Wansing, Professor of Philosophy of Science and Logic, Dresden University of Technology; managing editor of Studia Logica; author of "The Logic of Information Structures" (1993) and "Displaying Modal Logic (1998)"