Narrow your search

Library

Odisee (213)

KU Leuven (209)

Thomas More Mechelen (209)

UCLL (209)

VIVES (209)

Thomas More Kempen (208)

ULiège (183)

ULB (172)

LUCA School of Arts (52)

VUB (46)

More...

Resource type

book (227)

periodical (2)

digital (1)


Language

English (221)

German (4)

French (2)

Czech (1)

Spanish (1)


Year
From To Submit

2013 (229)

Listing 1 - 10 of 229 << page
of 23
>>
Sort by

Book
Elements of logical reasoning
Author:
ISBN: 9781107036598 9781107610774 9781139567862 110761077X 1107036593 1139567861 1139699008 1139862022 Year: 2013 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.


Book
Le formalisme en action : aspects mathématiques et philosophiques
Authors: --- --- ---
ISBN: 9782705684402 2705684409 Year: 2013 Publisher: Paris : Hermann,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Discrete mathematics and its applications
Authors: ---
ISBN: 0071315012 9780071315012 Year: 2013 Publisher: New York (N.Y.): McGraw-Hill,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
How the great scientists reasoned : the scientific method in action
Author:
ISBN: 1283626160 9786613938619 0123985048 012398498X 0323282679 9780123985040 9780123984982 Year: 2013 Publisher: Amsterdam : Elsevier,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The scientific method is one of the most basic and essential concepts across the sciences, ensuring that investigations are carried out with precision and thoroughness. The scientific method is typically taught as a step-by-step approach, but real examples from history are not always given. This book teaches the basic modes of scientific thought, not by philosophical generalizations, but by illustrating in detail how great scientists from across the sciences solved problems using scientific reason. Examples include Christopher Columbus, Joseph Priestly, Antoine Lavoisier, Michael Faraday, W


Book
Lambda calculus with types
Authors: --- --- --- ---
ISBN: 9780521766142 9781139032636 9781107471313 9781461936565 146193656X 9781107272248 1107272246 9781107275041 1107275040 1139032631 0521766141 1107471311 1139891979 110727172X 1107273811 1107277078 1107278309 1299772749 Year: 2013 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.


Book
Logik und Mathematik : Frege-Kolloquium Jena 1993
Authors: --- ---
ISBN: 3110887797 Year: 2013 Publisher: Berlin ; Boston : De Gruyter,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal
Author:
ISBN: 311015708X 9783110804737 3110804735 9783110157086 Year: 2013 Volume: 1 Publisher: Berlin Boston

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Modelling Metaphysics
Author:
ISBN: 3110326086 9783110326086 311032525X 9783110325256 9783868380606 3868380604 9783110325256 Year: 2013 Volume: Bd. 34 Publisher: Berlin Boston

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book models and simulates metaphysics by presenting the metaphysics of a model. The small size of the model makes it possible to treat metaphysical matters with a more than usual systematicity and comprehensiveness. In the mirror of sustained analogy, simulation-metaphysics offers a wealth of insights on the real thing: on the doctrines, the methods, and the epistemology of metaphysics.


Book
Proceedings of the 12Th Asian Logic Conference.
Authors: --- ---
ISBN: 981444927X 9789814449274 9814449261 9789814449267 Year: 2013 Publisher: Singapore World Scientific Publishing Company

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Asian Logic Conference is one of the largest meetings, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.


Book
Explaining science's success : understanding how scientific knowledge works
Author:
ISBN: 1315729091 1317544897 1844655334 9781317544883 1317544889 9781315729091 9781317544890 9781317544876 1317544870 9781844655328 9781138108202 Year: 2013 Publisher: Durham : Acumen Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Paul Feyeraband famously asked, what's so great about science? One answer is that it has been surprisingly successful in getting things right about the natural world, more successful than non-scientific or pre-scientific systems, religion or philosophy. Science has been able to formulate theories that have successfully predicted novel observations. It has produced theories about parts of reality that were not observable or accessible at the time those theories were first advanced, but the claims about those inaccessible areas have since turned out to be true. And science has, on occasion, advanced on more or less a priori grounds theories that subsequently turned out to be highly empirically successful. In this book the philosopher of science, John Wright delves deep into science's methodology to offer an explanation for this remarkable success story.

Listing 1 - 10 of 229 << page
of 23
>>
Sort by