Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018603709> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2018603709 endingPage "50" @default.
- W2018603709 startingPage "36" @default.
- W2018603709 abstract "In this essay we discuss Tarski's work on what he called the methodology of the deductive sciences , or more briefly, borrowing the terminology of Hilbert, metamathematics , The clearest statement of Tarski's views on this subject can be found in his textbook Introduction to logic [41 m ]. 1 Here he describes the tasks of metamathematics as “the detailed analysis and critical evaluation of the fundamental principles that are applied in the construction of logic and mathematics”. He goes on to describe what these fundamental principles are: All the expressions of the discipline under consideration must be defined in terms of a small group of primitive expressions that seem immediately understandable. Furthermore, only those statements of the discipline are accepted as valid that can be deduced by precisely defined and universally accepted means from a small set of axioms whose validity seems evident. The method of constructing a discipline in strict accordance with these principles is known as the deductive method , and the disciplines constructed in this manner are called deductive systems . Since contemporary mathematical logic is one of those disciplines that are subject to these principles, it itself is a deductive science. Tarski then goes on to say: “The view has become more and more common that the deductive method is the only essential feature by means of which the mathematical disciplines can be distinguished from all other sciences; not only is every mathematical discipline a deductive theory, but also, conversely, every deductive theory is a mathematical discipline”. This identification of mathematics with the deductive sciences is in our view one of the distinctive aspects of Tarski's work. Another characteristic feature is his broad view of what constitutes the domain of metamathematical investigations. A clue to this aspect of his work can also be found in Chapter 6 of Introduction to logic . After a discussion of the notions of completeness and consistency, he remarks that the investigations concerning these topics were among the most important factors contributing to a considerable extension of the domain of methodological studies, and caused even a fundamental change in the whole character of the methodology of deductive sciences." @default.
- W2018603709 created "2016-06-24" @default.
- W2018603709 creator A5006929252 @default.
- W2018603709 creator A5073410405 @default.
- W2018603709 date "1988-03-01" @default.
- W2018603709 modified "2023-10-14" @default.
- W2018603709 title "Alfred Tarski's work on general metamathematics" @default.
- W2018603709 cites W172530911 @default.
- W2018603709 cites W179270118 @default.
- W2018603709 cites W1965301224 @default.
- W2018603709 cites W1974112089 @default.
- W2018603709 cites W1975097400 @default.
- W2018603709 cites W1983812198 @default.
- W2018603709 cites W1984979605 @default.
- W2018603709 cites W1986833410 @default.
- W2018603709 cites W2049352524 @default.
- W2018603709 cites W2080638865 @default.
- W2018603709 cites W2085412574 @default.
- W2018603709 cites W2319549361 @default.
- W2018603709 cites W2324483890 @default.
- W2018603709 cites W2325835442 @default.
- W2018603709 cites W930783111 @default.
- W2018603709 cites W978764268 @default.
- W2018603709 doi "https://doi.org/10.1017/s0022481200028917" @default.
- W2018603709 hasPublicationYear "1988" @default.
- W2018603709 type Work @default.
- W2018603709 sameAs 2018603709 @default.
- W2018603709 citedByCount "21" @default.
- W2018603709 countsByYear W20186037092017 @default.
- W2018603709 countsByYear W20186037092018 @default.
- W2018603709 countsByYear W20186037092021 @default.
- W2018603709 countsByYear W20186037092022 @default.
- W2018603709 crossrefType "journal-article" @default.
- W2018603709 hasAuthorship W2018603709A5006929252 @default.
- W2018603709 hasAuthorship W2018603709A5073410405 @default.
- W2018603709 hasConcept C111472728 @default.
- W2018603709 hasConcept C11413529 @default.
- W2018603709 hasConcept C138885662 @default.
- W2018603709 hasConcept C154945302 @default.
- W2018603709 hasConcept C161191863 @default.
- W2018603709 hasConcept C167729594 @default.
- W2018603709 hasConcept C177264268 @default.
- W2018603709 hasConcept C199343813 @default.
- W2018603709 hasConcept C199360897 @default.
- W2018603709 hasConcept C2524010 @default.
- W2018603709 hasConcept C2777026412 @default.
- W2018603709 hasConcept C2777686260 @default.
- W2018603709 hasConcept C2777855551 @default.
- W2018603709 hasConcept C33923547 @default.
- W2018603709 hasConcept C41008148 @default.
- W2018603709 hasConcept C41895202 @default.
- W2018603709 hasConcept C47884741 @default.
- W2018603709 hasConcept C547195049 @default.
- W2018603709 hasConcept C71924100 @default.
- W2018603709 hasConcept C97364631 @default.
- W2018603709 hasConceptScore W2018603709C111472728 @default.
- W2018603709 hasConceptScore W2018603709C11413529 @default.
- W2018603709 hasConceptScore W2018603709C138885662 @default.
- W2018603709 hasConceptScore W2018603709C154945302 @default.
- W2018603709 hasConceptScore W2018603709C161191863 @default.
- W2018603709 hasConceptScore W2018603709C167729594 @default.
- W2018603709 hasConceptScore W2018603709C177264268 @default.
- W2018603709 hasConceptScore W2018603709C199343813 @default.
- W2018603709 hasConceptScore W2018603709C199360897 @default.
- W2018603709 hasConceptScore W2018603709C2524010 @default.
- W2018603709 hasConceptScore W2018603709C2777026412 @default.
- W2018603709 hasConceptScore W2018603709C2777686260 @default.
- W2018603709 hasConceptScore W2018603709C2777855551 @default.
- W2018603709 hasConceptScore W2018603709C33923547 @default.
- W2018603709 hasConceptScore W2018603709C41008148 @default.
- W2018603709 hasConceptScore W2018603709C41895202 @default.
- W2018603709 hasConceptScore W2018603709C47884741 @default.
- W2018603709 hasConceptScore W2018603709C547195049 @default.
- W2018603709 hasConceptScore W2018603709C71924100 @default.
- W2018603709 hasConceptScore W2018603709C97364631 @default.
- W2018603709 hasIssue "1" @default.
- W2018603709 hasLocation W20186037091 @default.
- W2018603709 hasOpenAccess W2018603709 @default.
- W2018603709 hasPrimaryLocation W20186037091 @default.
- W2018603709 hasRelatedWork W123245502 @default.
- W2018603709 hasRelatedWork W1598528461 @default.
- W2018603709 hasRelatedWork W1857772473 @default.
- W2018603709 hasRelatedWork W2000486485 @default.
- W2018603709 hasRelatedWork W2137170851 @default.
- W2018603709 hasRelatedWork W2483034350 @default.
- W2018603709 hasRelatedWork W2781345191 @default.
- W2018603709 hasRelatedWork W3098698860 @default.
- W2018603709 hasRelatedWork W4254622895 @default.
- W2018603709 hasRelatedWork W75810394 @default.
- W2018603709 hasVolume "53" @default.
- W2018603709 isParatext "false" @default.
- W2018603709 isRetracted "false" @default.
- W2018603709 magId "2018603709" @default.
- W2018603709 workType "article" @default.