The following pages link to (Q5421790):
Displaying 15 items.
- Carnap's early semantics (Q486945) (← links)
- Submodels in Carnap's early axiomatics revisited (Q488356) (← links)
- On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) (Q598281) (← links)
- Logic: Going farther from Tarski? (Q1311814) (← links)
- Tarski on logical notions (Q1405848) (← links)
- Two early Arabic applications of model-theoretic consequence (Q1653548) (← links)
- The role of universal language in the early work of Carnap and Tarski (Q1708748) (← links)
- Carnapian and Tarskian semantics (Q1708755) (← links)
- On mathematical towers of Babel and ``translation'' as an epistemic category (Q2154147) (← links)
- Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics (Q2263041) (← links)
- Should Tarski's idea of consequence operation be revised? (Q2702741) (← links)
- Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory (Q2906144) (← links)
- Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence (Q3618448) (← links)
- (Q3620353) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4611683) (← links)
