Logic the basics
Background ideas -- Consequences -- Relations of support -- Logical consequence : the basic recipe -- Valid arguments and truth -- Language, form, and logical theories -- Language -- Atoms, connectives, and molecules -- Connectives and form -- Validity and form -- Language and formal languages -- Lo...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
London u.a.
Routledge
2010
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | The basics
|
| Schlagworte: | |
| Online Zugang: | Inhaltstext Full Text |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Zusammenfassung: | Background ideas -- Consequences -- Relations of support -- Logical consequence : the basic recipe -- Valid arguments and truth -- Language, form, and logical theories -- Language -- Atoms, connectives, and molecules -- Connectives and form -- Validity and form -- Language and formal languages -- Logical theories : rivalry -- Set-theoretic tools -- Sets -- Ordered sets : pairs and n-tuples -- Relations -- Functions -- Sets as tools -- Basic connectives -- Classical theory -- Cases : complete and consistent -- Classical truth conditions -- Basic classical consequence -- Motivation : precision -- Defined connectives -- Some notable valid forms -- A paracomplete theory -- Apparent unsettledness -- Cases : incomplete -- Paracomplete truth and falsity conditions -- Paracomplete consequence -- Defined connectives -- Some notable forms -- A paraconsistent theory -- Apparent overdeterminacy -- Cases : inconsistent -- Paraconsistent truth conditions -- Paraconsistent consequence -- Defined connectives -- Some notable forms -- Innards, identity, and quantifiers -- Atomic innards -- Atomic innards : names and predicates -- Truth and falsity conditions for atomics -- Cases, domains, and interpretation functions -- Classical, paracomplete, and paraconsistent -- Identity -- Logical expressions and logical form -- Validity involving identity -- Identity : informal sketch -- Truth conditions : informal sketch -- Everything and something -- Validity involving quantifiers -- Quantifiers : an informal sketch -- Truth and falsity conditions -- Paraconsistent, paracomplete, classical -- Freedom, necessity, and beyond -- Speaking freely -- Speaking of non-existent things -- Existential import -- Freeing our terms, expanding our domains -- Truth conditions : an informal sketch -- Possibilities -- Possibility and necessity -- Towards truth and falsity conditions -- Cases and consequence -- Remark on going beyond possibility -- Glimpsing different logical roads -- Other conditionals -- Other negations -- Other alethic modalities : actuality -- Same connectives, different truth conditions -- Another road to difference : consequence. |
|---|---|
| Beschreibung: | Includes bibliographical references (S.[176] - 178) and index |
| Beschreibung: | XV, 184 S. |
| ISBN: | 0415774993 0-415-77499-3 0415774985 0-415-77498-5 0203851552 0-203-85155-2 9780415774994 978-0-415-77499-4 9780415774987 978-0-415-77498-7 9780203851555 978-0-203-85155-5 |