From Natural to Artificial: The Transformation of the Concept of Logical Consequence in Bolzano, Carnap, and Tarski
Our standard model-theoretic definition of logical consequence is originally based on Alfred Tarski’s (1936) semantic definition, which, in turn, is based on Rudolf Carnap’s (1934) similar definition. In recent literature, Tarski’s definition is described as a <i>conceptual analysis</i>...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2024-11-01
|
| Series: | Philosophies |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2409-9287/9/6/178 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|