Zobrazeno 1 - 10
of 1 078
pro vyhledávání: '"Predicate functor logic"'
Autor:
Collins, John, author
Publikováno v:
Quine, Structure, and Ontology, 2020.
Externí odkaz:
https://doi.org/10.1093/oso/9780198864288.003.0004
Autor:
Bacon, John
Publikováno v:
The Journal of Symbolic Logic, 1985 Dec 01. 50(4), 903-926.
Externí odkaz:
https://www.jstor.org/stable/2273980
Autor:
Grünberg, Teo
Publikováno v:
The Journal of Symbolic Logic, 1983 Dec 01. 48(4), 1140-1144.
Externí odkaz:
https://www.jstor.org/stable/2273677
Autor:
Grünberg, Teo
Publikováno v:
Logique et Analyse, 1986 Mar 01. 29(113), 95-104.
Externí odkaz:
https://www.jstor.org/stable/44084153
Autor:
John Collins
Publikováno v:
Quine, Structure, and Ontology
Quine is renowned for offering a criterion of ontological commitment in terms of the values of bound variables. Simultaneously, however, Quine had a long-standing interest in formal systems that dispense with variables and quantifiers that permit var
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec7cd1bb1ca78295dce9e0f3a2451f58
https://doi.org/10.1093/oso/9780198864288.003.0004
https://doi.org/10.1093/oso/9780198864288.003.0004
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Babic, Joshua1 Joshua.Babic@unige.ch, Cocco, Lorenzo1
Publikováno v:
Philosophical Studies. Aug2020, Vol. 177 Issue 8, p2153-2162. 10p.
Autor:
John Bacon
Publikováno v:
Journal of Symbolic Logic. 50:903-926
Predicate-functor logic, as founded by W. V. Quine ([1960], [1971], [1976], [1981]), is first-order predicate logic without individual variables. Instead, adverbs or predicate functors make explicit the permutations and replications of argumentplaces
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7bb96747f6dc02a8dbae3c32b2d20f6a
https://doi.org/10.2307/2273980
https://doi.org/10.2307/2273980
Autor:
Teo Grunberg
Publikováno v:
Journal of Symbolic Logic. 48:1140-1144
Quine has given a method for eliminating the bound variables in first-order predicate logic establishing thus a variable-free formulation called predicate-functor logic. The purpose of this paper is to give an autonomous and complete proof procedure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d344648f450ef96242bee19093a9b7d
https://doi.org/10.2307/2273677
https://doi.org/10.2307/2273677
Autor:
Purdy, William C.
Publikováno v:
The Journal of Symbolic Logic, 1999 Dec 01. 64(4), 1439-1466.
Externí odkaz:
https://www.jstor.org/stable/2586789