According to the semantic definition of logical consequence or validity, an argument is logically valid if, and only if, the conclusion is true under all interpretations under which also all premisses are true. The semantic definition is only a general pattern, and Volker Halbach presents a specific way of spelling out this definition. In contrast to the predominant approaches, truth is taken to be a primitive notion, which is not reduced away by a mathematical definition. An interpretation of a sentence is obtained by replacing non-logical terms uniformly with arbitrary other terms of the same grammatical kind. This conception of interpretations is in line with naïve and straightforward understandings of interpretations that hark back at least to the middle ages.
The resulting definition of logical validity combines two advantages: first, it is universal in the sense that it applies not only to a restricted language, but to the entire in which the definition is stated. This is in contrast to definitions of logical validity in higher-order languages. Secondly, it admits the intended interpretation, that is, the interpretation of sentences at their face value without any re-interpretation. Thus, logical consequence is trivial preserving truth. The usual model-theoretic definition lacks this property, although it has always taken to be fundamental to logical consequence and warrants its usefulness in philosophy.
"synopsis" may belong to another edition of this title.
Volker Halbach is Professor of Philosophy at the University of Oxford and a Fellow of New College. Before coming to Oxford in 2004, he held a position at the University of Constance. He has published numerous books and articles mainly in logic and the philosophy of logic, including The Logic Manual, which has been adopted as introductory textbook at many universities across the world.
"About this title" may belong to another edition of this title.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FU-9780198945543
Quantity: 15 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 50375638-n
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FU-9780198945543
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 50375638
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Seller Inventory # W4U3WJVPEU
Quantity: Over 20 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 50375638-n
Quantity: Over 20 available
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 256 pages. 6.50x0.83x9.57 inches. In Stock. Seller Inventory # __019894554X
Quantity: 1 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition. Seller Inventory # 50375638
Quantity: Over 20 available
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. Seller Inventory # B9780198945543
Quantity: Over 20 available
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Hardcover. Condition: new. Hardcover. According to the semantic definition of logical consequence or validity, an argument is logically valid if, and only if, the conclusion is true under all interpretations under which also all premisses are true. The semantic definition is only a general pattern, and Volker Halbach presents a specific way of spelling out this definition. In contrast to the predominant approaches, truth is taken to be a primitive notion, which is not reduced away by a mathematicaldefinition. An interpretation of a sentence is obtained by replacing non-logical terms uniformly with arbitrary other terms of the same grammatical kind. This conception of interpretations is in line withnaive and straightforward understandings of interpretations that hark back at least to the middle ages. The resulting definition of logical validity combines two advantages: first, it is universal in the sense that it applies not only to a restricted language, but to the entire in which the definition is stated. This is in contrast to definitions of logical validity in higher-order languages. Secondly, it admits the intended interpretation, that is, the interpretationof sentences at their face value without any re-interpretation. Thus, logical consequence is trivial preserving truth. The usual model-theoretic definition lacks this property, although it has always takento be fundamental to logical consequence and warrants its usefulness in philosophy. What does it mean for a conclusion to follow logically from other sentences? Logical consequence is at the basis of any rational reasoning. Textbooks generally give a precise and formal account of logical consequence, but rarely provide a justification for this account. In this monograph the foundations of logical consequence are examined. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780198945543