Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the method is (...) poorly behaved unless the background second-order logic is predicative. (shrink)

Bilimsel soyutlama temsil edilecek belirli bir hedefin sahip olduğu bazı özelliklerin ihmal edilmesi işlemidir. Her temsil tanım gereği soyutlama içermektedir. Nitekim temsili yapılacak ya da modellenecek hedef sistemde ihmal edilmesi uygun görülen birçok faktör bulunmaktadır. Soyutlamanın bilimsel araştırma için vazgeçilmez bir unsur olduğu fikri tartışma götürmeyecek düzeyde bir hakikat olarak görülmektedir. Ne var ki temsile ilişkin bu işlemin doğası hususunda böylesi tartışmasız bir hakikate sahip değiliz. Bu makalede, ilk olarak, soyutlamaya ait felsefi literatürde yer alan kimi standart görüşleri ele alıyorum. (...) Daha sonra standart görüşlere göre soyutlamanın çok daha rafine versiyonu detaylı olarak analiz edip bu görüşün, bilimde görsel temsillerden biri olan kartografik haritalar için yeterli bir kuramsal zemin sağlamadığını ileri sürüyorum. (shrink)