|
Showing 1 - 12 of
12 matches in All Departments
If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material.
|
Logic, Language, Information and Computation - 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings (Paperback, 2008 ed.)
Wilfrid Hodges, Ruy De Queiroz
|
R2,091
R1,718
Discovery Miles 17 180
Save R373 (18%)
|
Out of stock
|
Edited in collaboration with FoLLI, the Association of Logic,
Language and Information, this book constitutes the 4th volume of
the FoLLI LNAI subline; containing the refereed proceedings of the
15th International Workshop on Logic, Language, Information and
Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.
The 21 revised full papers presented together with the abstracts
of 7 tutorials and invited lectures were carefully reviewed and
selected from numerous submissions. The papers cover all pertinent
subjects in computer science with particular interest in
cross-disciplinary topics. Typical areas of interest are:
foundations of computing and programming; novel computation models
and paradigms; broad notions of proof and belief; formal methods in
software and hardware development; logical approach to natural
language and reasoning; logics of programs, actions and resources;
foundational aspects of information organization, search, flow,
sharing, and protection.
The philosopher Abu Nasr al-Farabi (c. 870-c. 950 CE) is a key
Arabic intermediary figure. He knew Aristotle, and in particular
Aristotle's logic, through Greek Neoplatonist interpretations
translated into Arabic via Syriac and possibly Persian. For
example, he revised a general description of Aristotle's logic by
the 6th century Paul the Persian, and further influenced famous
later philosophers and theologians writing in Arabic in the 11th to
12th centuries: Avicenna, Al-Ghazali, Avempace and Averroes.
Averroes' reports on Farabi were subsequently transmitted to the
West in Latin translation. This book is an abridgement of
Aristotle's Prior Analytics, rather than a commentary on successive
passages. In it Farabi discusses Aristotle's invention, the
syllogism, and aims to codify the deductively valid arguments in
all disciplines. He describes Aristotle's categorical syllogisms in
detail; these are syllogisms with premises such as 'Every A is a B'
and 'No A is a B'. He adds a discussion of how categorical
syllogisms can codify arguments by induction from known examples or
by analogy, and also some kinds of theological argument from
perceived facts to conclusions lying beyond perception. He also
describes post-Aristotelian hypothetical syllogisms, which draw
conclusions from premises such as 'If P then Q' and 'Either P or
Q'. His treatment of categorical syllogisms is one of the first to
recognise logically productive pairs of premises by using
'conditions of productivity', a device that had appeared in the
Greek Philoponus in 6th century Alexandria.
This scarce antiquarian book is a selection from Kessinger
Publishing's Legacy Reprint Series. Due to its age, it may contain
imperfections such as marks, notations, marginalia and flawed
pages. Because we believe this work is culturally important, we
have made it available as part of our commitment to protecting,
preserving, and promoting the world's literature. Kessinger
Publishing is the place to find hundreds of thousands of rare and
hard-to-find books with something of interest for everyone
The philosopher Abu Nasr al-Farabi (c. 870-c. 950 CE) is a key
Arabic intermediary figure. He knew Aristotle, and in particular
Aristotle’s logic, through Greek Neoplatonist interpretations
translated into Arabic via Syriac and possibly Persian. For
example, he revised a general description of Aristotle’s logic by
the 6th century Paul the Persian, and further influenced famous
later philosophers and theologians writing in Arabic in the 11th to
12th centuries: Avicenna, Al-Ghazali, Avempace and Averroes.
Averroes’ reports on Farabi were subsequently transmitted to the
West in Latin translation. This book is an abridgement of
Aristotle’s Prior Analytics, rather than a commentary on
successive passages. In it Farabi discusses Aristotle’s
invention, the syllogism, and aims to codify the deductively valid
arguments in all disciplines. He describes Aristotle’s
categorical syllogisms in detail; these are syllogisms with
premises such as ‘Every A is a B’ and ‘No A is a B’. He
adds a discussion of how categorical syllogisms can codify
arguments by induction from known examples or by analogy, and also
some kinds of theological argument from perceived facts to
conclusions lying beyond perception. He also describes
post-Aristotelian hypothetical syllogisms, which draw conclusions
from premises such as ‘If P then Q’ and ‘Either P or Q’.
His treatment of categorical syllogisms is one of the first to
recognise logically productive pairs of premises by using
‘conditions of productivity’, a device that had appeared in the
Greek Philoponus in 6th century Alexandria.
Eis um livro-texto atualizado de teoria de modelos levando o leitor
das primeiras defi nicoes ate o teorema de Morley e as partes
elementares da teoria da estabilidade. Alem dos resultados padrao
tais como os teoremas da compacidade e da omissao de tipos, o livro
tambem descreve varias conexoes com a algebra, incluindo o metodo
de eliminacao de quantifi cadores de Skolem-Tarski,
modelocompletude, grupos de automorfi smos e omegacategoricidade,
ultraprodutos, O-minimalidade e estruturas de posto de Morley
finito. O material sobre equivalencias vai-e-vem, interpretacoes e
leis zero-um pode servir como introducao a aplicacoes de teoria de
modelos a ciencia da computacao. Cada capitulo termina com um breve
comentario sobre a literatura e sugestoes de leitura adicional.
This is an up-to-date and integrated introduction to model theory,
designed to be used for graduate courses (for students who are
familiar with first-order logic), and as a reference for more
experienced logicians and mathematicians. Model theory is concerned
with the notions of definition, interpretation and structure in a
very general setting, and is applied to a wide variety of other
areas such as set theory, geometry, algebra (in particular group
theory), and computer science (e.g. logic programming and
specification). Professor Hodges emphasises definability and
methods of construction, and introduces the reader to advanced
topics such as stability. He also provides the reader with much
historical information and a full bibliography, enhancing the
book's use as a reference.
This is an up-to-date and integrated introduction to model theory,
designed to be used for graduate courses (for students who are
familiar with first-order logic), and as a reference for more
experienced logicians and mathematicians. Model theory is concerned
with the notions of definition, interpretation and structure in a
very general setting, and is applied to a wide variety of other
areas such as set theory, geometry, algebra (in particular group
theory), and computer science (e.g. logic programming and
specification). Professor Hodges emphasises definability and
methods of construction, and introduces the reader to advanced
topics such as stability. He also provides the reader with much
historical information and a full bibliography, enhancing the
book's use as a reference.
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. This book will benefit graduate students with an interest in model theory.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Finding Dory
Ellen DeGeneres, Albert Brooks, …
Blu-ray disc
(1)
R42
Discovery Miles 420
|