Philosophy: logic
Results 169 - 192 of 368
Philosophy: logic
Hardback. A collection of papers offering an account of many topics in the study of Logic, Language and Information. It addresses two important themes: how to handle quantification in natural language, and how to isolate genuine 'logics of information'. Editor(s): Akama, Seiki. Series: Applied Logic Series. Num Pages: 253 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 253
- Condition
- New
- SKU
- V9780792343769
- ISBN
- 9780792343769
Hardback
Condition: New
€ 126.76
€ 126.76
Hardback. In the period between the two World Wars, Stanislaw Lesniewski, the Polish logician, created his system of the foundations of mathematics, a system comprising three deductive theories: protothetic, ontology, and mereology. This volume is a collection of the major contributions to protothetic. Editor(s): Srzednicki, Jan T.J.; Stachniak, Zbigniew. Series: Nijhoff International Philosophy Series. Num Pages: 326 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 326
- Condition
- New
- SKU
- V9780792345046
- ISBN
- 9780792345046
Hardback
Condition: New
€ 246.86
€ 246.86
Hardback. Relevant to philosophy, law, management, and artificial intelligence, this book explores the applicability of defeasible logic to normative reasoning. The resulting systems provide a better treatment than classical deontic logic does of prima facie obligation, conditional obligation, and priorities of normative principles. Editor(s): Nute, Donald. Series: Synthese Library. Num Pages: 358 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 1540.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 358
- Condition
- New
- SKU
- V9780792346302
- ISBN
- 9780792346302
Hardback
Condition: New
€ 223.61
€ 223.61
Hardback. Identifies important developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy, and computer science. The main themes of this book are proof theory, descriptive uses, applications, and foundations of intensional logic. Editor(s): Rijke, Maarten de. Series: Applied Logic Series. Num Pages: 294 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1360.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 294
- Condition
- New
- SKU
- V9780792347118
- ISBN
- 9780792347118
Hardback
Condition: New
€ 190.86
€ 190.86
Hardback. Provides a treatise on general metaphysics. This book applies the axiomatic method. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities. Series: Synthese Library. Num Pages: 398 pages, biography. BIC Classification: HPJ; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 398
- Condition
- New
- SKU
- V9780792347170
- ISBN
- 9780792347170
Hardback
Condition: New
€ 195.08
€ 195.08
Hardback. Through the application of phenomenological semantics, this text offers a new approach towards understanding modal logic and its philosophical implications. It is directed primarily to phenomenologists, but also addresses analytic philosophers and philosophically interested logicians. Series: Phaenomenologica. Num Pages: 236 pages, black & white illustrations. BIC Classification: HPCF3; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 236
- Condition
- New
- SKU
- V9780792348092
- ISBN
- 9780792348092
Hardback
Condition: New
€ 138.35
€ 138.35
Hardback. Investigates intentionality from the point of view of intentional objects. This book uses M-logic as a tool for investigating formal features of intentional objects. It also studies intentionality phenomena and suggests further ways of extending and modifying M-logic. Series: Synthese Library. Num Pages: 216 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 483.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9780792348801
- ISBN
- 9780792348801
Hardback
Condition: New
€ 127.30
€ 127.30
On Science, Inference, Information and Decision Making
Szaniawski, A.. Ed(S): Chmielewski, A.; Wolen...
Hardback. There are two competing pictures of science. One considers science as a system of inferences, whereas another looks at science as a system of actions. This book contains essays which offer a view which intends to combine both pictures. Editor(s): Chmielewski, A.; Wolenski, Jan. Series: Synthese Library. Num Pages: 242 pages, biography. BIC Classification: HPL; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 242
- Condition
- New
- SKU
- V9780792349228
- ISBN
- 9780792349228
Hardback
Condition: New
€ 128.15
€ 128.15
Hardback. This first volume is concerned with the quantified representation of uncertainty and imprecision. The 14 chapters cover most of the theories that have been proposed for that task and focus on the meaning of those theories. The text also gives wide coverage to new theories of quantified uncertainty. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 477 pages, biography. BIC Classification: HPL. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 862.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 477
- Condition
- New
- SKU
- V9780792351009
- ISBN
- 9780792351009
Hardback
Condition: New
€ 367.26
€ 367.26
Hardback. The papers included in the collection deal with all directions of research undertaken by Polish analytic philosophers. Special attention is paid to logic and comparisons with other philosophical movements, particularly with Brentanism, which was one of the sources of the Lvov - Warsaw school. Editor(s): Kijania-Placek, Katarzyna; Wolenski, Jan. Series: Synthese Library. Num Pages: 404 pages, biography. BIC Classification: HPD; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 404
- Condition
- New
- SKU
- V9780792351054
- ISBN
- 9780792351054
Hardback
Condition: New
€ 187.40
€ 187.40
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. Deals with approaches to handling contradictory information. This volume is suitable for students, researchers and practitioners in artificial intelligence, software engineering, logic, language and philosophy. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 333 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 333
- Condition
- New
- SKU
- V9780792351610
- ISBN
- 9780792351610
Hardback
Condition: New
€ 193.85
€ 193.85
Hardback. Presents an introduction to Display Logic in the context of generalized Gentzen calculi. This book reviews several standard and non-standard sequent-style proof systems for modal logics. It motivates and develops Display Logic, an important refinement of Gentzen's sequent calculus devised by N Belnap. Series: Trends in Logic. Num Pages: 252 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9780792352051
- ISBN
- 9780792352051
Hardback
Condition: New
€ 179.43
€ 179.43
Hardback. Presents a treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. This book shows that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named 'fuzzy inference' can be naturally understood as logical deduction. Series: Trends in Logic. Num Pages: 299 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 299
- Condition
- New
- SKU
- V9780792352389
- ISBN
- 9780792352389
Hardback
Condition: New
€ 246.48
€ 246.48
Hardback. Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. This monograph offers definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Series: Synthese Library. Num Pages: 470 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 835.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 470
- Condition
- New
- SKU
- V9780792352624
- ISBN
- 9780792352624
Hardback
Condition: New
€ 228.29
€ 228.29
Hardback. Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, and human/computer interfaces. This book features topics including logics for reasoning about actions and planning, and belief revision and the reconciliation of logically conflicting inputs. Editor(s): Pareschi, Remo; Fronhofer, Bertram. Series: Applied Logic Series. Num Pages: 283 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 283
- Condition
- New
- SKU
- V9780792355359
- ISBN
- 9780792355359
Hardback
Condition: New
€ 128.91
€ 128.91
Hardback. Includes essays which develop the ideas of Kant, Hegel and Husserl, leading to an explication of the fundamental concepts of logic - the concepts of 'judgment', 'truth' and the modalities. This book on philosophy of logic, spans the gap between Kant and Hegel on the one hand, and Husserl, Frege and Lask on the other. Series: Synthese Library. Num Pages: 238 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 238
- Condition
- New
- SKU
- V9780792355502
- ISBN
- 9780792355502
Hardback
Condition: New
€ 127.95
€ 127.95
Hardback. The notion of negation is one of the central logical notions. This volume studies the properties of negation, in combination with those of other logical operations and structural features of the deducibility relation, which serve as gateways among logical systems. Editor(s): Gabbay, Dov M.; Wansing, Heinrich. Series: Applied Logic Series. Num Pages: 335 pages, biography. 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
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 335
- Condition
- New
- SKU
- V9780792355694
- ISBN
- 9780792355694
Hardback
Condition: New
€ 247.30
€ 247.30
Hardback. Represents a comprehensive survey of the field of rational agency. This work covers the philosophical foundations of rational agency, logical and decision-theoretic approaches to rational agency, multi-agent aspects of rational agency, and describes a number of approaches to programming rational agents. Editor(s): Wooldridge, Mike; Rao, Anand. Series: Applied Logic Series. Num Pages: 302 pages, biography. BIC Classification: HPL; UYQE. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 19. Weight in Grams: 759.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 302
- Condition
- New
- SKU
- V9780792356011
- ISBN
- 9780792356011
Hardback
Condition: New
€ 193.58
€ 193.58
Hardback. The tableau methodology, invented in the 1950's by Beth and Hintikka and later perfected by Smullyan and Fitting, is one of the popular proof theoretical methodologies. This handbook contains several chapters on the use of tableaux methods in logic. It is suitable for students and researchers in Computer Science, and Artificial Intelligence. Editor(s): D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Hahnle, Reiner; Posegga, Joachim. Num Pages: 670 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 36. Weight in Grams: 1127.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 670
- Condition
- New
- SKU
- V9780792356271
- ISBN
- 9780792356271
Hardback
Condition: New
€ 245.42
€ 245.42
Hardback. This volume is a study of the foundations of model-theoretic semantics. Its central thesis is that one does not need to assume a perfect structural fit between languages and their models in order to characterize the basic semantic notions. Series: Topoi Library. Num Pages: 146 pages, biography. BIC Classification: CFG; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 169 x 15. Weight in Grams: 392.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 146
- Condition
- New
- SKU
- V9780792356295
- ISBN
- 9780792356295
Hardback
Condition: New
€ 126.29
€ 126.29
hardcover. Features results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning. This work offers a look at multiple-valued and fuzzy set-based logics, in an artificial intelligence perspective. Editor(s): Dubois, Didier; Prade, Henri; Klement, Erich Peter. Series: Applied Logic Series. Num Pages: 425 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 791.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2000th Edition
- Number of pages
- 425
- Condition
- New
- SKU
- V9780792359777
- ISBN
- 9780792359777
Hardback
Condition: New
€ 195.65
€ 195.65
Hardback. This text addresses anyone who wonders, as the author does, about what can be achieved by argumentation and why it can be achieved. Series: Argumentation Library. Num Pages: 240 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 240
- Condition
- New
- SKU
- V9780792361480
- ISBN
- 9780792361480
Hardback
Condition: New
€ 127.68
€ 127.68
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