Matches in SemOpenAlex for { <https://semopenalex.org/work/W4248617611> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W4248617611 abstract "Model theory studies the relations between sentences of a formal language and the interpretations (or ‘structures’) which make these sentences true or false. It offers precise definitions of truth, logical truth and consequence, meanings and modalities. These definitions and their consequences have revolutionized the teaching of elementary logic. Model theory also forms a branch of mathematics concerned with the ways in which mathematical structures can be classified. This technical work has led to philosophically interesting results in at least two areas: it has thrown light on the nature of the set-theoretic universe, and in nonstandard analysis it has suggested new forms of argument (where we prove something different from what we intended, but then use a general model-theoretic argument to change the result into what we wanted). The word ‘model’ has many other uses. For example, model theory is not about scientific theories as models of the world. It is also a controversial question – not considered here – how model theory is connected with the ‘mental models’ which appear in the psychology of reasoning." @default.
- W4248617611 created "2022-05-12" @default.
- W4248617611 creator A5061925647 @default.
- W4248617611 date "2018-09-11" @default.
- W4248617611 modified "2023-09-27" @default.
- W4248617611 title "Model theory" @default.
- W4248617611 doi "https://doi.org/10.4324/9780415249126-y017-1" @default.
- W4248617611 hasPublicationYear "2018" @default.
- W4248617611 type Work @default.
- W4248617611 citedByCount "0" @default.
- W4248617611 crossrefType "book-chapter" @default.
- W4248617611 hasAuthorship W4248617611A5061925647 @default.
- W4248617611 hasConcept C111472728 @default.
- W4248617611 hasConcept C118615104 @default.
- W4248617611 hasConcept C134752490 @default.
- W4248617611 hasConcept C138885662 @default.
- W4248617611 hasConcept C153046414 @default.
- W4248617611 hasConcept C15744967 @default.
- W4248617611 hasConcept C177264268 @default.
- W4248617611 hasConcept C185592680 @default.
- W4248617611 hasConcept C188147891 @default.
- W4248617611 hasConcept C199360897 @default.
- W4248617611 hasConcept C33923547 @default.
- W4248617611 hasConcept C41008148 @default.
- W4248617611 hasConcept C47030870 @default.
- W4248617611 hasConcept C55493867 @default.
- W4248617611 hasConcept C98184364 @default.
- W4248617611 hasConceptScore W4248617611C111472728 @default.
- W4248617611 hasConceptScore W4248617611C118615104 @default.
- W4248617611 hasConceptScore W4248617611C134752490 @default.
- W4248617611 hasConceptScore W4248617611C138885662 @default.
- W4248617611 hasConceptScore W4248617611C153046414 @default.
- W4248617611 hasConceptScore W4248617611C15744967 @default.
- W4248617611 hasConceptScore W4248617611C177264268 @default.
- W4248617611 hasConceptScore W4248617611C185592680 @default.
- W4248617611 hasConceptScore W4248617611C188147891 @default.
- W4248617611 hasConceptScore W4248617611C199360897 @default.
- W4248617611 hasConceptScore W4248617611C33923547 @default.
- W4248617611 hasConceptScore W4248617611C41008148 @default.
- W4248617611 hasConceptScore W4248617611C47030870 @default.
- W4248617611 hasConceptScore W4248617611C55493867 @default.
- W4248617611 hasConceptScore W4248617611C98184364 @default.
- W4248617611 hasLocation W42486176111 @default.
- W4248617611 hasOpenAccess W4248617611 @default.
- W4248617611 hasPrimaryLocation W42486176111 @default.
- W4248617611 hasRelatedWork W140920262 @default.
- W4248617611 hasRelatedWork W1997030218 @default.
- W4248617611 hasRelatedWork W2070861515 @default.
- W4248617611 hasRelatedWork W2133302391 @default.
- W4248617611 hasRelatedWork W2504754074 @default.
- W4248617611 hasRelatedWork W2807621429 @default.
- W4248617611 hasRelatedWork W372882296 @default.
- W4248617611 hasRelatedWork W411715039 @default.
- W4248617611 hasRelatedWork W4206905038 @default.
- W4248617611 hasRelatedWork W2568323424 @default.
- W4248617611 isParatext "false" @default.
- W4248617611 isRetracted "false" @default.
- W4248617611 workType "book-chapter" @default.