The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.
Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schr der, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt G del conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.
Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
Автор: Halbach Название: Axiomatic Theories of Truth ISBN: 1107424429 ISBN-13(EAN): 9781107424425 Издательство: Cambridge Academ Рейтинг: Цена: 6494.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the philosophical topics related to truth. His book will be indispensable reading for any graduate or professional philosopher in theories of truth.
Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.
Автор: Keith Allan; Alessandro Capone; Istvan Kecskes Название: Pragmemes and Theories of Language Use ISBN: 331943490X ISBN-13(EAN): 9783319434902 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Ante Festum by Jacob L. Mey.- Introduction to the Notion of 'Pragmeme' by Alessandro Capone.- Part I: Pragmemes: Theoretical Perspectives.- Deliberate Creativity and Formulaic Language use by Istvan Kecskes.- Aspects of Anaphora in Chinese and in some Germanic, Romance, and Slavic languages, the 'syntactic' versus 'pragmatic' Language Typology, and Neo-Gricean Pragmatics by Yan Huang.- Presuppositions as Cancellable Inferences by Fabrizio Macagno, Alessandro Capone.- The Pragmeme of Insult and some Allopracts by Keith Allan.- Benveniste and the Periperformative Structure of the Pragmeme by Douglas Robinson.- Pragmatics through the Prism of Society by Jacob L. mey.- Why we need the Pragmeme, or: Speech Acting and its Peripeties by Jacob L. Mey.- On the Meaning of Questions by Ferenc Kiefer.- Narratives in Conversation as Pragmemes by Neal R. Norrick.- Prompting Social Action as a Higher-order Pragmatic act by Michael Haugh.- Metapragmatics, Hidden Assumptions, and Moral Economy by Norman Fairclough.- Terms of Address in European Languages: A study in Cross-linguistic Semantics and Pragmatics by Anna Wierzbicka.- Practs and Facts by Jacob Mey.- Pragmemes in Discourse by Anita Fetzer.- "Tongue-tied" Pragmemes and Practs of Silence in Literary Texts by Dennis Kurzon.- Towards a Pragmatic-semantic continuum. The process of Naming by Grazia Basile.- Towards a "Theory of Everything" in Human Communication by AndraVasilescu.- Austin's Speech acts and Pragmemes by Etsuko Oishi.- Pragmemes in the Sociolinguistic Interview: a case study on Expanded Polar Answers by Andrea Pizarro Pedraza.- On Pragmemes in Artificial Languages by Alan Reed Libert.- Part II: Pragmemes and cultural analysis.- The Ethnopragmatic Representation of Positive and Negative Emotions in Irish Immigrants' Letters by J. Romero-Trillo, N. E. Avila-Ledesma.- Situatedeness and the Making of Meaning: Pragmatics, Pragmemes, and Modality by Leo Francis Hoye.- Pragmatic strategies when Reading (Problematic) Translated Texts by Pedro J. Chamizo-Domнnguez.- The Multimodal Marking of Evidentiality: Pragmemes of Circumstantial Inference and Mandarin Written news Report by Vittorio Tantucci.- Expectations in Interaction by Victoria Escandell-Vidal.- Cultural Pragmatic Schemas, Pragmemes, and Practs: A Cultural Linguistics Perspective by Farzad Sharifian.- Metapragmatic Pragmemes by Vahid Parvaresh.- The Culture of Language by Jock Wong.- The 'memes' of Linguistics by Jock Wong.- Tattooing as Memorial Pragmemes by Luna Bergh.- Part III: Theories of Language use.- Two Types of Semantic Presuppositions by Nathan Klinedinst.- Social Cognition and the Pragmatics of Ideology by Javier Gutiйrrez-Rexach and Sara Schatz.- Poor vs. Good Thought Experiments in Pragmatics: A Case Study by Andrбs Kertйsz.- What a Personal Pronoun can do for you: The case of a Southern Dutch Dialect by Jan Nuyts.- A Graded Strength for Privileged Interactional Interpretations by Merit Sternau, Mira Ariel, Rachel Giora and Ofer Fein.- Implicits as Evolved Persuaders by Edoardo Lombardo Vallauri.- Inferential Abilities and Pragmatic Deficits in Subjects with Autism Spectrum Disorders by Paola Pennisi.- On the Tension between Semantics and Pragmatics by Alessandro Capone.- An Epistemic Commitment in the very idea of "speaker's intention" by Pietro Perconti.- Revisiting Metapragmatics: 'what are we talking about? by Claudia Caffi.- A Model of Categorization and Compositionality (sense determination) in the light of a Procedural Model of Language (based on selection and the communicative field) by Dorota Zielinska.- Reflections on Pragmemes: Towards the Development of Societal Neuropragmatics by Caterina Scianna.- The Asymmetric Multi-language Model: A Cognitive Pragmatic Pattern to Explain Codeswitching by Unbalanced Multilinguals by Elvira Assenza.- The Situatedness of Pragmatic Acts: Explaining a Lamp to a Robot by Kerstin Fischer
Автор: Ermanno Bencivenga Название: Theories of the Logos ISBN: 3319633953 ISBN-13(EAN): 9783319633954 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Oceanic logic was never identified as such, but the author gives numerous examples of its use from the history of philosophy. The author first worked in analytic logic in the 1970s and 1980s, first researched dialectical logic in the 1990s, and discovered oceanic logic in the 2000s.
Автор: Maher Название: Betting on Theories ISBN: 0521063469 ISBN-13(EAN): 9780521063463 Издательство: Cambridge Academ Рейтинг: Цена: 6494.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a major contribution to decision theory, focusing on the question of when it is rational to accept scientific theories.
Автор: Catarina Dutilh Novaes Название: Formalizing Medieval Logical Theories ISBN: 9048174589 ISBN-13(EAN): 9789048174584 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations.
Автор: Chung-ying Cheng Название: Peirce`s and Lewis`s Theories of Induction ISBN: 9401185980 ISBN-13(EAN): 9789401185981 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Williams and that in Lewis by Professor Roderick Firth. Specifically, I wish to acknowledge Professor Williams for his patient and careful criticisms of the original manuscripts of this book. I also wish to thank Professor Firth and Professor Israel Scheffler for their many suggestive comments regarding my discussions of induc- tion.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 0521008042 ISBN-13(EAN): 9780521008044 Издательство: Cambridge Academ Рейтинг: Цена: 4434.00 р. Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible ‘tree’ method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.
Автор: Parsons Название: Theories of Intensionality ISBN: 9811024820 ISBN-13(EAN): 9789811024825 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a comprehensive primer for the study of intensionality. It explores and assesses those key theories of intensionality which have been developed in the twentieth and early twenty-first centuries. Each of the examined theories is tested as to whether it can account for the problems associated with (A) the intersubstitution salva veritate of co-extensional expressions, and (B) existential generalisation. All of these theories are subsequently compared so as to determine which of them comes closest to successfully solving these problems. The book examines four kinds of intensionalist approaches: the Fregean approach (including Church's formalisation of Frege's theory); the possible-worlds approaches of Carnap, Montague and Cresswell; the theory of properties relations and propositions devised by Bealer; and the Meinongian approaches put forward by Zalta and Priest. The book also proposes an alternative to intensionalism: sententialism. Sententialists argue that the problems of intensionality could be solved by appealing to linguistic items (usually sentences) rather than intensional entities. Drawing on the works of Quine, Davidson, Scheffler and R. M. Martin, it explores the viability and value of sententialism as an alternative to intensionalism.
Описание: Since their appearance in the late 19th century, the Cantor--Dedekind theory of real numbers and philosophy of the continuum have emerged as pillars of standard mathematical philosophy.
Автор: Portner H Paul, Partee H Barbara H, Stephenson Car Название: Formal Semantics ISBN: 0631215425 ISBN-13(EAN): 9780631215424 Издательство: Wiley Рейтинг: Цена: 6236.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal Semantics: The Essential Readings is a collection of seminal papers that have shaped the field of formal semantics in linguistics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
