.png){kind=logo}
Philosophy: logic
Results 701 - 720 of 989
Philosophy: logic
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
€ 236.56
€ 236.56
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
€ 255.44
€ 255.44
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
€ 188.16
€ 188.16
hardcover. Action is conceived as an intentional behavior of an individual or of an institutional subject. This book gives a structure analysis of the so - called practical inference and of nomic causal propositions. It also addresses readers interested in philosophical logic, practical philosophy, sociology of institutions, legal philosophy, and more. Series: Theory and Decision Library A:. Num Pages: 320 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 238 x 163 x 26. Weight in Grams: 654.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer United States
- Edition
- 1998th Edition
- Number of pages
- 320
- Condition
- New
- SKU
- V9780792351849
- ISBN
- 9780792351849
Hardback
Condition: New
€ 195.66
€ 195.66
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
€ 200.86
€ 200.86
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
€ 196.41
€ 196.41
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
€ 380.64
€ 380.64
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
€ 132.74
€ 132.74
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
€ 131.87
€ 131.87
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
€ 143.32
€ 143.32
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
€ 202.13
€ 202.13
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
€ 200.05
€ 200.05
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
€ 234.41
€ 234.41
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
€ 255.82
€ 255.82
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
€ 132.86
€ 132.86
Hardback. Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. This book treats multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. Series: Applied Logic Series. Num Pages: 239 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 239
- Condition
- New
- SKU
- V9780792343455
- ISBN
- 9780792343455
Hardback
Condition: New
€ 132.65
€ 132.65
Hardback. Deals with the problem of time from different perspectives such as logic, physics and philosophy. This work addresses issues which concerning the direction of time, the reality of tenses, the objectivity of becoming, the existence in time, and the logical structures of reasoning about time. Editor(s): Faye, Jan; Scheffler, U. (Humboldt University, Berlin, Germany); Urchs, Max. Series: Boston Studies in the Philosophy and History of Science. Num Pages: 480 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 851.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 480
- Condition
- New
- SKU
- V9780792343301
- ISBN
- 9780792343301
Hardback
Condition: New
€ 203.57
€ 203.57
Hardback. Contains original contributions dedicated to Vladimir A Smirnov by scholars in Russia, the United States, Japan, Finland, Brazil, the Netherlands, Poland, and Hungary. This work includes the problems of non-classical logics, logical semantics, analysis of logical proofs, and applications of logical methods to the methodology of science. Editor(s): Bystrov, Peter I.; Sadovskii, V. N. Series: Synthese Library. Num Pages: 278 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 278
- Condition
- New
- SKU
- V9780792342700
- ISBN
- 9780792342700
Hardback
Condition: New
€ 133.32
€ 133.32
Hardback. Focuses on study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations, and more. This work contains technical results and presentations of novel proof procedures. It is useful for the interdisciplinary fields of logic, knowledge representation, and automated deduction. Editor(s): Wansing, Heinrich. Series: Applied Logic Series. Num Pages: 318 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 318
- Condition
- New
- SKU
- V9780792341208
- ISBN
- 9780792341208
Hardback
Condition: New
€ 200.59
€ 200.59
Hardback. Including the traditional fallacies of equivocation, amphiboly, accent, and figure of speech, this book deals with ambiguity in language, and the fallacies that arise from it. It includes some related fallacies that pose problems that are classified as fallacies of ambiguity, as their claim to this categorization is dubious or problematic. Series: Applied Logic Series. Num Pages: 293 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 293
- Condition
- New
- SKU
- V9780792341000
- ISBN
- 9780792341000
Hardback
Condition: New
€ 233.31
€ 233.31