Philosophy: logic
Results 193 - 216 of 371
Philosophy: logic
Hardback. Providing a survey of Martin-Lof's constructive type theory, this book surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. It also provides a systematic presentation of the theory, as offered by Martin-Lof at Leiden University in Fall 1993. Series: Synthese Library. Num Pages: 367 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 165 x 28. Weight in Grams: 726.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 367
- Condition
- New
- SKU
- V9780792361800
- ISBN
- 9780792361800
Hardback
Condition: New
€ 194.37
€ 194.37
Hardback. Discuses about Labelled deduction which is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Editor(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany); Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Applied Logic Series. Num Pages: 267 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 267
- Condition
- New
- SKU
- V9780792362371
- ISBN
- 9780792362371
Hardback
Condition: New
€ 127.06
€ 127.06
Hardback. Discusses the issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. This work offers an account of the capabilities and limitations of a computational-logic-based approach to intellectics. Editor(s): Holldobler, Steffen. Series: Applied Logic Series. Num Pages: 388 pages, biography. BIC Classification: HPL; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 388
- Condition
- New
- SKU
- V9780792362616
- ISBN
- 9780792362616
Hardback
Condition: New
€ 194.96
€ 194.96
Hardback. Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective. Series: Applied Logic Series. Num Pages: 268 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 268
- Condition
- New
- SKU
- V9780792364733
- ISBN
- 9780792364733
Hardback
Condition: New
€ 128.59
€ 128.59
Hardback. Offers a theory of the structure of reasoning used in fear and threat appeal argumentation. This book is suitable for professionals and students in law, critical thinking, advertising, speech communication, informal logic, cognitive science, rhetoric, and media studies. Series: Argumentation Library. Num Pages: 233 pages, biography. BIC Classification: HPL. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 164 x 19. Weight in Grams: 494.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 233
- Condition
- New
- SKU
- V9780792365433
- ISBN
- 9780792365433
Hardback
Condition: New
€ 127.74
€ 127.74
Hardback. Presents for English readers, three of Blondel's most important articles: "Idealist Illusion" (1898), "The Elementary Principle of a Logic of the Moral Life" (1903), and "The Starting Point of Philosophy" (1906). They offer evidence for and explain the nature of the pragmatism in Blondel's thought Series: Studies in Philosophy and Religion. Num Pages: 156 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 156
- Condition
- New
- SKU
- V9780792366546
- ISBN
- 9780792366546
Hardback
Condition: New
€ 126.61
€ 126.61
Hardback. Presents central topics in medieval logic. This book looks at the role of logical consistence in medieval disputation techniques. Editor(s): Yrjonsuuri, Mikko. Series: The New Synthese Historical Library. Num Pages: 242 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 242
- Condition
- New
- SKU
- V9780792366744
- ISBN
- 9780792366744
Hardback
Condition: New
€ 128.07
€ 128.07
Hardback. Der vorliegende Band enthalt Husserls einzige weitgehend vollstandig erhaltene Vorlesung aus seiner Hallenser Zeit, die er 1896 unter dem Titel "Logik' gehalten und im Hinblick auf eine Veroffentlichung teilweise bearbeitet hat. Series: Husserliana Materialienbande. Num Pages: 356 pages, black & white illustrations. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 356
- Condition
- New
- SKU
- V9780792369110
- ISBN
- 9780792369110
Hardback
Condition: New
€ 332.63
€ 332.63
Hardback. Der vorliegende Band enthalt den Text der dreistundigen Vorlesung, die Husserl unter dem Titel "Logik" in Gottingen im Wintersemester 1902/1903 gehalten hat. Editor(s): Husserl, Edmund; Schuhmann, Elisabeth. Series: Husserliana Materialienbande. Num Pages: 332 pages, black & white illustrations. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 332
- Condition
- New
- SKU
- V9780792369127
- ISBN
- 9780792369127
Hardback
Condition: New
€ 204.20
€ 204.20
Hardback. Im vorliegenden Band wird der Text von Husserls Gottinger Vorlesung 'Allgemeine Erkenntnistheorie' vom Winter 1902/03 veroffentlicht, in der er erstmals eine phanomenologische Erkenntnistheorie zu entwerfen suchte. Editor(s): Husserl, Edmund; Schuhmann, Elisabeth. Series: Husserliana Materialienbande. Num Pages: 284 pages, black & white illustrations. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9780792369134
- ISBN
- 9780792369134
Hardback
Condition: New
€ 192.58
€ 192.58
Hardback. The Logic of Metaphor uses techniques from possible worlds semantics to provide formal truth-conditions for many grammatical classes of metaphors. This book treats lexicon as a conceptual network with semantics provided by an intensional predicate calculus. It shows how to extend deductive and adductive inference systems so as to handle metaphors. Series: Synthese Library. Num Pages: 256 pages, biography. BIC Classification: 2AB; CFA; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 256
- Condition
- New
- SKU
- V9780792370048
- ISBN
- 9780792370048
Hardback
Condition: New
€ 128.07
€ 128.07
Hardback. Contains 12 papers addressed to researchers and advanced students in informal logic and related fields, such as argumentation, formal logic, and communications. This volume attempts to rethink the nature of argument and of inference, the role of dialectical context, and the standards for evaluating inferences. Series: Argumentation Library. Num Pages: 168 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 11. Weight in Grams: 421.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 168
- Condition
- New
- SKU
- V9780792370055
- ISBN
- 9780792370055
Hardback
Condition: New
€ 126.41
€ 126.41
Hardback. Features various innovative ideas on Belief Revision. This book addresses foundational issues of inductive reasoning and minimal change, generalizations of the standard belief revision theories, strategies for iterated revisions, probabilistic beliefs, multiagent environments and a variety of data structures and mechanisms for implementations. Editor(s): Williams, Mary-Anne; Rott, Hans. Series: Applied Logic Series. Num Pages: 454 pages, biography. BIC Classification: HPL; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 454
- Condition
- New
- SKU
- V9780792370215
- ISBN
- 9780792370215
Hardback
Condition: New
€ 196.15
€ 196.15
Hardback. Contains contributions on Basic and Advanced Modal Logic, Quantification in Modal Logic and Correspondence Theory. This book is suitable for students and researchers whose work or interests involve philosophical logic and its applications. Editor(s): Gabbay, Dov M.; Guenthner, Franz. Series: Handbook of Philosophical Logic. Num Pages: 412 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 23. Weight in Grams: 779.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 412
- Condition
- New
- SKU
- V9780792371601
- ISBN
- 9780792371601
Hardback
Condition: New
€ 195.45
€ 195.45
Hardback. Contains a selection of papers from the International Conference on Argumentation (Amsterdam, 2002) by international scholars of argumentation theory. This title is of interest to those who are working in the field of argumentation theory and to scholars who are interested in the developments in this field. Editor(s): Eemeren, Frans H. van; Blair, J. Anthony (University of Windsor, Ontario, Canada); Willard, Charles Arthur; Snoeck Henkemans, A. Francisca. Series: Argumentation Library. Num Pages: 354 pages, biography. BIC Classification: CFG; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 354
- Condition
- New
- SKU
- V9781402014550
- ISBN
- 9781402014550
Hardback
Condition: New
€ 66.28
€ 66.28
Categorial Grammars and Natural Language Structures
. Ed(S): Oehrle, Richard T.; Bach, Emmon; Whe...
Hardback. Editor(s): Oehrle, Richard T.; Bach, Emmon; Wheeler, Deirdre. Series: Studies in Linguistics and Philosophy. Num Pages: 526 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 30. Weight in Grams: 929.
- Format
- Hardback
- Publication date
- 1988
- Publisher
- Kluwer Academic Publishers Group Netherlands
- Number of pages
- 526
- Condition
- New
- SKU
- V9781556080302
- ISBN
- 9781556080302
Hardback
Condition: New
€ 250.89
€ 250.89
Categorial Grammars and Natural Language Structures
. Ed(S): Oehrle, Richard T.; Bach, E. (Univer...
Paperback. Editor(s): Oehrle, Richard T.; Bach, E. (University of Massachusetts at Amherst, USA); Wheeler, Deirdre. Series: Studies in Linguistics and Philosophy. Num Pages: 533 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 158 x 30. Weight in Grams: 744.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Kluwer Academic Publishers Group Netherlands
- Number of pages
- 533
- Condition
- New
- SKU
- V9781556080319
- ISBN
- 9781556080319
Paperback
Condition: New
€ 248.34
€ 248.34
Hardcover. Editor(s): Carlson, David Gray. Num Pages: 251 pages, biography. BIC Classification: HPCD; HPL. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 220 x 163 x 19. Weight in Grams: 428.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- AIAA
- Condition
- New
- SKU
- V9781403997920
- ISBN
- 9781403997920
Hardback
Condition: New
€ 65.30
€ 65.30
Hardback. Editor(s): Wansing, Heinrich; Ciuni, Roberto; Willkommen, Caroline. Series: Trends in Logic. Num Pages: 209 pages, 12 black & white illustrations, biography. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 497.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 209
- Condition
- New
- SKU
- V9783319060798
- ISBN
- 9783319060798
Hardback
Condition: New
€ 122.32
€ 122.32
The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yve...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 532 pages, 51 black & white illustrations, 51 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 27. Weight in Grams: 893.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhäuser Switzerland
- Edition
- 2015th Edition
- Number of pages
- 532
- Condition
- New
- SKU
- V9783319101927
- ISBN
- 9783319101927
Paperback
Condition: New
€ 67.17
€ 67.17
The Road to Universal Logic. Festschrift for the 50th Birthday of Jean...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
Paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 619 pages, 70 black & white illustrations, 180 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 168 x 32. Weight in Grams: 1038.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 619
- Condition
- New
- SKU
- V9783319153674
- ISBN
- 9783319153674
Paperback
Condition: New
€ 68.51
€ 68.51
Paperback. Num Pages: 188 pages, 24 black & white illustrations, biography. BIC Classification: HPL; PDZM. Category: (P) Professional & Vocational. Dimension: 160 x 235 x 13. Weight in Grams: 328.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Copernicus
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319166933
- ISBN
- 9783319166933
Paperback
Condition: New
€ 20.99€ 20.56
€ 20.99
€ 20.56
Hardback. Editor(s): Araszkiewicz, Michal; Pleszka, Krzysztof. Series: Legisprudence Library. Num Pages: 582 pages, biography. BIC Classification: HPL; LAB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 1033.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 582
- Condition
- New
- SKU
- V9783319195742
- ISBN
- 9783319195742
Hardback
Condition: New
€ 125.79
€ 125.79
Hardback. Editor(s): Baskent, Can. Series: Logic, Argumentation & Reasoning. Num Pages: 204 pages, biography. BIC Classification: HPK; HPL; JMRN; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 479.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 204
- Condition
- New
- SKU
- V9783319207612
- ISBN
- 9783319207612
Hardback
Condition: New
€ 64.23
€ 64.23