omitir hasta el contenido
Logic and philosophy : a modern introduction Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Logic and philosophy : a modern introduction

Autor: Alan Hausman; Howard Kahane; Paul Tidman
Editorial: Australia ; Boston, MA : Thomson Wadsworth/Cengage learning, ©2010.
Edición/Formato:   Print book : Inglés (eng) : 11th edVer todas las ediciones y todos los formatos
Base de datos:WorldCat
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Tipo de documento: Libro/Texto
Todos autores / colaboradores: Alan Hausman; Howard Kahane; Paul Tidman
ISBN: 9780495601586 0495601586
Número OCLC: 259265754
Descripción: xiii, 434 pages : illustrations ; 24 cm
Contenido: ch. One: Introduction --
1. The elements of an argument --
2. Deduction and induction --
3. Deductive argument forms --
4. Truth and validity --
5. Soundness --
6. Consistency --
7. Contexts of discovery and justification --
8. The plan of this book --
Key terms. pt. I: Sentential logic --
ch. Two: Symbolizing in sentential logic --
1. Atomic and compound sentences --
2. Truth-functions --
3. Conjunctions --
4. Non-truth-functional connectives --
5. Variables and constants --
6. Negations --
7. Parentheses and brackets --
8. Use and mention --
9. Disjunctions --
10. "Not both" and "neither ... nor" --
11. Material conditionals --
12. Material biconditionals --
13. "Only if" and "unless" --
14. Symbolizing complex sentences --
15. Alternative sentential logic symbols --
Key terms. ch. Three: Truth tables --
1. Computing truth-values --
2. Logical form --
3. Tautologies, contradictions, and contingent sentences --
4. Logical equivalences --
5. Truth table test of validity --
6. Truth table test of consistency --
7. Validity and consistency --
8. The short truth table test for invalidity --
9. The short truth table test for consistency --
10. A method of justification for the truth tables --
Key terms. ch. Four: Proofs --
1. Argument forms --
2. The method of proof: modus ponens and modus tollens --
3. Disjunctive syllogism and hypothetical syllogism --
4. Simplification and conjunction --
5. Addition and constructive dilemma --
6. Principles of strategy --
7. Double negation and DeMorgan's Theorem --
8. Commutation, association and distribution --
9. Contraposition, implication, and exportation --
10. Tautology and equivalence --
11. More principles of strategy --
12. Common errors in problem solving --
Key terms. ch. Five: Conditional and indirect proofs --
1. Conditional proofs --
2. Indirect proofs --
3. Strategy hints for using CP and IP --
4. Zero-premise deductions --
5. Proving premises inconsistent --
6. Adding valid argument forms --
7. An alternative to conditional proof? --
8. The completeness and soundness of sentential logic --
9. Introduction and elimination rules --
Key terms. ch. Six: Sentential logic truth trees --
1. The sentential logic truth tree method --
2. The truth tree rules --
3. Details of tree construction --
4. Normal forms and trees --
5. Constructing tree rules for any function --
Key terms. pt. II: Predicate logic --
ch. Seven: Predicate logic symbolization --
1. Individuals and properties --
2. Quantifiers and free variables --
3. Universal quantifiers --
4. Existential quantifiers --
5. Basic predicate logic symbolizations --
6. The square of opposition --
7. Common pitfalls in symbolizing with quantifiers --
8. Expansions --
9. Symbolizing "only," "none but," and "unless" --
Key terms. ch. Eight: Predicate logic semantics --
1. Interpretations in predicate logic --
2. Proving invalidity --
3. Using expansions to prove invalidity --
4. Consistency in predicate logic --
5. Validity and inconsistency in predicate logic --
Key terms. ch. Nine: Predicate logic proofs --
1. Proving validity --
2. The four quantifier rules --
3. The five main restrictions --
4. Precise formulation of the four quantifier rules --
5. Mastering the four quantifier rules --
6. Quantifier negation --
Key terms. ch. Ten: Relational predicate logic --
1. Relational predicates --
2. Symbolizations containing overlapping quantifiers --
3. Expansions and overlapping quantifiers --
4. Places and times --
5. Symbolizing "someone," "somewhere," "sometime," and so on --
6. Invalidity and consistency in relational predicate logic --
7. Relational predicate logic proofs --
8. Strategy for relational predicate logic proofs --
9. Theorems and inconsistency in predicate logic --
10. Predicate logic metatheory --
1. A simpler set of quantifier rules. ch. Eleven: Rationale behind the precise formulation of the four quantifier rules --
1. Cases involving the five major restrictions --
2. One-to-one correspondence matters --
3. Accidentally bound variables and miscellaneous cases --
4. Predicate logic proofs with flagged constants. ch. Twelve: Predicate logic truth trees --
1. Introductory remarks --
2. General features of the method --
3. Specific examples of the method --
4. Some advantages of the trees--
5. Example of an invalid argument with at least one open path --
6. Metatheoretic results --
7. Strategy and accounting --
Key terms. ch. Thirteen: Identity and philosophical problems of symbolic logic --
1. Identity --
2. Definite descriptions --
3. Properties of relations --
4. Higher-order logics --
5. Limitations of predicate logic --
6. Philosophical problems --
7. Logical paradoxes --
Key terms. ch. Fourteen: Syllogistic logic --
1. Categorical propositions --
2. Existential import --
3. The square of opposition --
4. Conversion, obversion, contraposition --
5. Syllogistic logic: not assuming existential import --
6. Venn Diagrams --
7. Syllogisms --
8. Determining syllogism validity --
9. Venn Diagram proofs of validity or invalidity --
10. Five rules for determining validity or invalidity --
11. Syllogistics extended --
12. Enthymemes --
13. Sorites --
14. Technical restrictions and limitations --
Moder logic and syllogistic logic compared --
Key terms.
Responsabilidad: Alan Hausman, Howard Kahane, Paul Tidman.

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Todas las etiquetas de usuarios (6)

Ver etiquetas más populares como: lista de etiquetas | nube de etiquetas

Materiales similares

Temas relacionados:(5)

Listas de usuarios con este material (3)

Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


Primary Entity

<http://www.worldcat.org/oclc/259265754> # Logic and philosophy : a modern introduction
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "259265754" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1145316#Place/boston_ma> ; # Boston, MA
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1145316#Place/australia> ; # Australia
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/at> ;
   schema:about <http://id.worldcat.org/fast/1060777> ; # Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/1145316#Topic/pradikatenlogik> ; # Prädikatenlogik
   schema:about <http://experiment.worldcat.org/entity/work/data/1145316#Topic/logik> ; # Logik
   schema:about <http://id.worldcat.org/fast/1075020> ; # Predicate (Logic)
   schema:about <http://id.loc.gov/authorities/classification/BC108> ;
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:bookEdition "11th ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1145316#Person/tidman_paul> ; # Paul Tidman
   schema:contributor <http://viaf.org/viaf/110037912> ; # Howard Kahane
   schema:copyrightYear "2010" ;
   schema:creator <http://viaf.org/viaf/105979282> ; # Alan Hausman
   schema:datePublished "2010" ;
   schema:description "ch. Twelve: Predicate logic truth trees -- 1. Introductory remarks -- 2. General features of the method -- 3. Specific examples of the method -- 4. Some advantages of the trees-- 5. Example of an invalid argument with at least one open path -- 6. Metatheoretic results -- 7. Strategy and accounting -- Key terms."@en ;
   schema:description "ch. Eleven: Rationale behind the precise formulation of the four quantifier rules -- 1. Cases involving the five major restrictions -- 2. One-to-one correspondence matters -- 3. Accidentally bound variables and miscellaneous cases -- 4. Predicate logic proofs with flagged constants."@en ;
   schema:description "ch. Four: Proofs -- 1. Argument forms -- 2. The method of proof: modus ponens and modus tollens -- 3. Disjunctive syllogism and hypothetical syllogism -- 4. Simplification and conjunction -- 5. Addition and constructive dilemma -- 6. Principles of strategy -- 7. Double negation and DeMorgan's Theorem -- 8. Commutation, association and distribution -- 9. Contraposition, implication, and exportation -- 10. Tautology and equivalence -- 11. More principles of strategy -- 12. Common errors in problem solving -- Key terms."@en ;
   schema:description "ch. Ten: Relational predicate logic -- 1. Relational predicates -- 2. Symbolizations containing overlapping quantifiers -- 3. Expansions and overlapping quantifiers -- 4. Places and times -- 5. Symbolizing "someone," "somewhere," "sometime," and so on -- 6. Invalidity and consistency in relational predicate logic -- 7. Relational predicate logic proofs -- 8. Strategy for relational predicate logic proofs -- 9. Theorems and inconsistency in predicate logic -- 10. Predicate logic metatheory -- 1. A simpler set of quantifier rules."@en ;
   schema:description "pt. II: Predicate logic -- ch. Seven: Predicate logic symbolization -- 1. Individuals and properties -- 2. Quantifiers and free variables -- 3. Universal quantifiers -- 4. Existential quantifiers -- 5. Basic predicate logic symbolizations -- 6. The square of opposition -- 7. Common pitfalls in symbolizing with quantifiers -- 8. Expansions -- 9. Symbolizing "only," "none but," and "unless" -- Key terms."@en ;
   schema:description "ch. Six: Sentential logic truth trees -- 1. The sentential logic truth tree method -- 2. The truth tree rules -- 3. Details of tree construction -- 4. Normal forms and trees -- 5. Constructing tree rules for any function -- Key terms."@en ;
   schema:description "ch. Nine: Predicate logic proofs -- 1. Proving validity -- 2. The four quantifier rules -- 3. The five main restrictions -- 4. Precise formulation of the four quantifier rules -- 5. Mastering the four quantifier rules -- 6. Quantifier negation -- Key terms."@en ;
   schema:description "ch. Eight: Predicate logic semantics -- 1. Interpretations in predicate logic -- 2. Proving invalidity -- 3. Using expansions to prove invalidity -- 4. Consistency in predicate logic -- 5. Validity and inconsistency in predicate logic -- Key terms."@en ;
   schema:description "ch. Thirteen: Identity and philosophical problems of symbolic logic -- 1. Identity -- 2. Definite descriptions -- 3. Properties of relations -- 4. Higher-order logics -- 5. Limitations of predicate logic -- 6. Philosophical problems -- 7. Logical paradoxes -- Key terms."@en ;
   schema:description "ch. One: Introduction -- 1. The elements of an argument -- 2. Deduction and induction -- 3. Deductive argument forms -- 4. Truth and validity -- 5. Soundness -- 6. Consistency -- 7. Contexts of discovery and justification -- 8. The plan of this book -- Key terms."@en ;
   schema:description "pt. I: Sentential logic -- ch. Two: Symbolizing in sentential logic -- 1. Atomic and compound sentences -- 2. Truth-functions -- 3. Conjunctions -- 4. Non-truth-functional connectives -- 5. Variables and constants -- 6. Negations -- 7. Parentheses and brackets -- 8. Use and mention -- 9. Disjunctions -- 10. "Not both" and "neither ... nor" -- 11. Material conditionals -- 12. Material biconditionals -- 13. "Only if" and "unless" -- 14. Symbolizing complex sentences -- 15. Alternative sentential logic symbols -- Key terms."@en ;
   schema:description "ch. Fourteen: Syllogistic logic -- 1. Categorical propositions -- 2. Existential import -- 3. The square of opposition -- 4. Conversion, obversion, contraposition -- 5. Syllogistic logic: not assuming existential import -- 6. Venn Diagrams -- 7. Syllogisms -- 8. Determining syllogism validity -- 9. Venn Diagram proofs of validity or invalidity -- 10. Five rules for determining validity or invalidity -- 11. Syllogistics extended -- 12. Enthymemes -- 13. Sorites -- 14. Technical restrictions and limitations -- Moder logic and syllogistic logic compared -- Key terms."@en ;
   schema:description "ch. Three: Truth tables -- 1. Computing truth-values -- 2. Logical form -- 3. Tautologies, contradictions, and contingent sentences -- 4. Logical equivalences -- 5. Truth table test of validity -- 6. Truth table test of consistency -- 7. Validity and consistency -- 8. The short truth table test for invalidity -- 9. The short truth table test for consistency -- 10. A method of justification for the truth tables -- Key terms."@en ;
   schema:description "ch. Five: Conditional and indirect proofs -- 1. Conditional proofs -- 2. Indirect proofs -- 3. Strategy hints for using CP and IP -- 4. Zero-premise deductions -- 5. Proving premises inconsistent -- 6. Adding valid argument forms -- 7. An alternative to conditional proof? -- 8. The completeness and soundness of sentential logic -- 9. Introduction and elimination rules -- Key terms."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1145316> ;
   schema:inLanguage "en" ;
   schema:name "Logic and philosophy : a modern introduction"@en ;
   schema:productID "259265754" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/259265754#PublicationEvent/australia_boston_ma_thomson_wadsworth_cengage_learning_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1145316#Agent/thomson_wadsworth_cengage_learning> ; # Thomson Wadsworth/Cengage learning
   schema:workExample <http://worldcat.org/isbn/9780495601586> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/259265754> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1145316#Agent/thomson_wadsworth_cengage_learning> # Thomson Wadsworth/Cengage learning
    a bgn:Agent ;
   schema:name "Thomson Wadsworth/Cengage learning" ;
    .

<http://experiment.worldcat.org/entity/work/data/1145316#Person/tidman_paul> # Paul Tidman
    a schema:Person ;
   schema:familyName "Tidman" ;
   schema:givenName "Paul" ;
   schema:name "Paul Tidman" ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
   schema:name "Logic"@en ;
    .

<http://id.worldcat.org/fast/1060777> # Philosophy
    a schema:Intangible ;
   schema:name "Philosophy"@en ;
    .

<http://id.worldcat.org/fast/1075020> # Predicate (Logic)
    a schema:Intangible ;
   schema:name "Predicate (Logic)"@en ;
    .

<http://viaf.org/viaf/105979282> # Alan Hausman
    a schema:Person ;
   schema:birthDate "1936" ;
   schema:familyName "Hausman" ;
   schema:givenName "Alan" ;
   schema:name "Alan Hausman" ;
    .

<http://viaf.org/viaf/110037912> # Howard Kahane
    a schema:Person ;
   schema:birthDate "1928" ;
   schema:familyName "Kahane" ;
   schema:givenName "Howard" ;
   schema:name "Howard Kahane" ;
    .

<http://worldcat.org/isbn/9780495601586>
    a schema:ProductModel ;
   schema:isbn "0495601586" ;
   schema:isbn "9780495601586" ;
    .


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.