R Gregory Taylor
Biographic Data
| ID | 9197350 |
|---|---|
| NAME | R Gregory Taylor |
| GIVEN NAMES | R Gregory |
| FAMILY NAME | Taylor |
| SIGNATURE | TAYLOR R G |
| AFFILIATIONS | Department of Philosophy Baruch College New York NY USA |
| ORCID | 0000-0002-0983-7523 |
| VERIFIED | Yes |
| TOTAL WORKS | 1 |
| TOTAL CITATIONS | 0 |
| AUTHOR COUNT | 1 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2022 |
| LATEST PUBLICATION YEAR | 2022 |
| H-INDEX | 0 |
First‐order logics over fixed domain
What we call first‐order logic over fixed domain was initiated, in a certain guise, by Peirce around 1885 and championed, albeit in idiosyncratic form, by Zermelo in papers from the 1930s. We characterise such logics model‐ and proof‐theoretically and argue that they constitute exploration of a clearly circumscribed conception of domain‐dependent generality. Whereas a logic, or family of such, can be of interest for any of a variety of reasons, w…
No prominent works on this page.
First‐order logics over fixed domain
What we call first‐order logic over fixed domain was initiated, in a certain guise, by Peirce around 1885 and championed, albeit in idiosyncratic form, by Zermelo in papers from the 1930s. We characterise such logics model‐ and proof‐theoretically and argue that they constitute exploration of a clearly circumscribed conception of domain‐dependent generality. Whereas a logic, or family of such, can be of interest for any of a variety of reasons, w…
Artificial Intelligence (1 works) · Artificial Intelligence (1 works) · Computer Science (1 works) · Domain (mathematical analysis) (1 works) · Economics (1 works) · Epistemology (1 works) · Generality (1 works) · Logical consequence (1 works) · Mathematics (1 works) · Order (exchange) (1 works)