Matches in SemOpenAlex for { <https://semopenalex.org/work/W255058868> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W255058868 endingPage "156" @default.
- W255058868 startingPage "139" @default.
- W255058868 abstract "According to Quine, logic is first-order. For him, two underlying logic of all rational thought is a standard first-order logic without identity, without individual constants and without function constants, a logic which is two-valued, tenseless, extensional, non-modal, non-intuitionistic and one-sorted, a logic which is (in a sense) a proper sublogic of virtually every logic used as an underlying logic in tha literature of classical mathematics and science, a logic which merits being called conservative. His conception of the logical properties gives priority to logical truth. Roughly, Quine holds that in arder for a sentence to be logically trae it is necessary and sufficient for it to be true and to remain true under any uniform lexical substitution of its content-terms. Derivatively, in order for a sentence to be logically implied by a set of sentences F it is necessary and sufficient for there to be no single uniform lexical substitution of content-terms that makes every member of F true and false. Since, intuitively speaking, the relation of a sentence to its lexical subctitutions is a matter of grammar, logical truth and logical implication are thus a matter, a Quine omphasizec, of grammar and truth. My parpase ic to diccuss Quinas distintive view of logical truth and logical implication and to analyze the main features and philosophical import of his conception. This paper has five sections. The first fixes the terminology and stresses the fact that Quine takes logical truth to be prior to logical implication. Section two identifies three core features of the Quinean conception; his fixed-universe, fixed-content, non-modal conception is discussed in the light of Tarcki's distinctive contribution to these perennial issues. Section three analyses the grounds for Quine`s view and his claim that his account is co-extensional with the current model-theoretic conception. Two necessary conditions for this alleged adequacy are considered: (a) the first-order language must contain elementary arithmetic, (b) identity must be nonlogical. In section four the role that Quines parsimonious' ontology plays in his conception is briefly discussed in historical perspective. Section five conludes with a brief historical survey of the main achievements of Bolzano, Russell, Tarski and Quine logical truth and consequence.Key-words: logical truth; logical consequence; argument; argument-text; validity; substitution; interpretation; model; ontology; philosophy of logic." @default.
- W255058868 created "2016-06-24" @default.
- W255058868 creator A5011462696 @default.
- W255058868 date "2001-01-01" @default.
- W255058868 modified "2023-09-23" @default.
- W255058868 title "Quine on logical truth and consequence" @default.
- W255058868 hasPublicationYear "2001" @default.
- W255058868 type Work @default.
- W255058868 sameAs 255058868 @default.
- W255058868 citedByCount "1" @default.
- W255058868 crossrefType "journal-article" @default.
- W255058868 hasAuthorship W255058868A5011462696 @default.
- W255058868 hasConcept C111472728 @default.
- W255058868 hasConcept C134752490 @default.
- W255058868 hasConcept C138885662 @default.
- W255058868 hasConcept C194989596 @default.
- W255058868 hasConcept C2777530160 @default.
- W255058868 hasConcept C33923547 @default.
- W255058868 hasConcept C37754750 @default.
- W255058868 hasConcept C41008148 @default.
- W255058868 hasConcept C41895202 @default.
- W255058868 hasConcept C46274116 @default.
- W255058868 hasConcept C56949724 @default.
- W255058868 hasConcept C74727942 @default.
- W255058868 hasConcept C9270016 @default.
- W255058868 hasConceptScore W255058868C111472728 @default.
- W255058868 hasConceptScore W255058868C134752490 @default.
- W255058868 hasConceptScore W255058868C138885662 @default.
- W255058868 hasConceptScore W255058868C194989596 @default.
- W255058868 hasConceptScore W255058868C2777530160 @default.
- W255058868 hasConceptScore W255058868C33923547 @default.
- W255058868 hasConceptScore W255058868C37754750 @default.
- W255058868 hasConceptScore W255058868C41008148 @default.
- W255058868 hasConceptScore W255058868C41895202 @default.
- W255058868 hasConceptScore W255058868C46274116 @default.
- W255058868 hasConceptScore W255058868C56949724 @default.
- W255058868 hasConceptScore W255058868C74727942 @default.
- W255058868 hasConceptScore W255058868C9270016 @default.
- W255058868 hasIssue "1" @default.
- W255058868 hasLocation W2550588681 @default.
- W255058868 hasOpenAccess W255058868 @default.
- W255058868 hasPrimaryLocation W2550588681 @default.
- W255058868 hasRelatedWork W1985228308 @default.
- W255058868 hasRelatedWork W1986939662 @default.
- W255058868 hasRelatedWork W2041297289 @default.
- W255058868 hasRelatedWork W2057128199 @default.
- W255058868 hasRelatedWork W2071257693 @default.
- W255058868 hasRelatedWork W2084428318 @default.
- W255058868 hasRelatedWork W2089876966 @default.
- W255058868 hasRelatedWork W2101000186 @default.
- W255058868 hasRelatedWork W2182887695 @default.
- W255058868 hasRelatedWork W2185905340 @default.
- W255058868 hasRelatedWork W2203003798 @default.
- W255058868 hasRelatedWork W2320151446 @default.
- W255058868 hasRelatedWork W2339899308 @default.
- W255058868 hasRelatedWork W2464300089 @default.
- W255058868 hasRelatedWork W2486555702 @default.
- W255058868 hasRelatedWork W2613591704 @default.
- W255058868 hasRelatedWork W916436180 @default.
- W255058868 hasRelatedWork W952702797 @default.
- W255058868 hasRelatedWork W1801691863 @default.
- W255058868 hasRelatedWork W1926870229 @default.
- W255058868 hasVolume "20" @default.
- W255058868 isParatext "false" @default.
- W255058868 isRetracted "false" @default.
- W255058868 magId "255058868" @default.
- W255058868 workType "article" @default.