Kai F Wehmeier
Biographic Data
| ID | 5996855 |
|---|---|
| NAME | Kai F Wehmeier |
| GIVEN NAMES | Kai F |
| FAMILY NAME | Wehmeier |
| SIGNATURE | WEHMEIER K F |
| AFFILIATIONS | University of California, Irvine |
| ORCID | 0000-0002-6468-497X |
| VERIFIED | Yes |
| TOTAL WORKS | 6 |
| TOTAL CITATIONS | 3 |
| WORKS AS AUTHOR | 6 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 1999 |
| LATEST PUBLICATION YEAR | 2026 |
| H-INDEX | 1 |
How Tarskian are Carnap's Semantics
It is a commonplace of the history of analytic philosophy that Carnap swiftly adopted Tarskian semantics in the mid-1930s. There is no doubt that, in a very general sense, this is true. But to what extent are the innovative technical details characteristic of Tarski's method, specifically the handling of quantification by way of a satisfaction relation between formulas and variable assignments, reflected in Carnap's writings on semantics? Curious…
On the logical substantiveness of compositionality
Given any set E of expressions freely generated from a set of atoms by syntactic operations, there exist trivially compositional functions on E (to wit, the injective and the constant functions), but also plenty of non-trivially compositional functions. Here we show that within the space of non-injective functions (and so a fortiori within the space of non-injective and non-constant functions), compositional functions are not sufficiently abundan…
On Equivalence Relations Between Interpreted Languages, with an Application to Modal and First-Order Language
I examine notions of equivalence between logics (understood as languages interpreted model-theoretically) and develop two new ones that invoke not only the algebraic but also the string-theoretic structure of the underlying language. As an application, I show how to construe modal operator languages as what might be called typographical notational variants of bona fide first-order languages
On the relations between Heinrich Scholz and Jan Łukasiewicz
The aim of the present study is (1) to show, on the basis of a number of unpublished documents, how Heinrich Scholz supported his Warsaw colleague Jan Łukasiewicz, the Polish logician, during World War II, and (2) to discuss the efforts he made in order to enable Jan Łukasiewicz and his wife Regina to move from Warsaw to Münster under life-threatening circumstances. In the first section, we explain how Scholz provided financial help to Łukasiewic…
Frege’s permutation argument revisited
Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects
Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects
Frege’s permutation argument revisited
On the relations between Heinrich Scholz and Jan Łukasiewicz
The aim of the present study is (1) to show, on the basis of a number of unpublished documents, how Heinrich Scholz supported his Warsaw colleague Jan Łukasiewicz, the Polish logician, during World War II, and (2) to discuss the efforts he made in order to enable Jan Łukasiewicz and his wife Regina to move from Warsaw to Münster under life-threatening circumstances. In the first section, we explain how Scholz provided financial help to Łukasiewic…
On Equivalence Relations Between Interpreted Languages, with an Application to Modal and First-Order Language
I examine notions of equivalence between logics (understood as languages interpreted model-theoretically) and develop two new ones that invoke not only the algebraic but also the string-theoretic structure of the underlying language. As an application, I show how to construe modal operator languages as what might be called typographical notational variants of bona fide first-order languages
On the logical substantiveness of compositionality
Given any set E of expressions freely generated from a set of atoms by syntactic operations, there exist trivially compositional functions on E (to wit, the injective and the constant functions), but also plenty of non-trivially compositional functions. Here we show that within the space of non-injective functions (and so a fortiori within the space of non-injective and non-constant functions), compositional functions are not sufficiently abundan…
How Tarskian are Carnap's Semantics
It is a commonplace of the history of analytic philosophy that Carnap swiftly adopted Tarskian semantics in the mid-1930s. There is no doubt that, in a very general sense, this is true. But to what extent are the innovative technical details characteristic of Tarski's method, specifically the handling of quantification by way of a satisfaction relation between formulas and variable assignments, reflected in Carnap's writings on semantics? Curious…
Philosophy (6 works) · Computer Science (4 works) · Epistemology (4 works) · Mathematics (4 works) · Advanced Algebra and Logic (3 works) · Linguistics (3 works) · Logic, Reasoning, and Knowledge (3 works) · Metaphysics (3 works) · Philosophy and Theoretical Science (3 works) · Philosophy of language (3 works)