PhilSci Archive

Suppes predicate for classes of structures and the notion of transportability

da Costa, Newton C. A. and Krause, Décio (2020) Suppes predicate for classes of structures and the notion of transportability. [Preprint]

[img]
Preview
Text
CostaKrause(2020)-Edelcio.pdf

Download (178kB) | Preview

Abstract

Patrick Suppes’ maxim “to axiomatize a theory is to define a set- theoretical predicate” is usually taking as entailing that the formula that defines the predicate needs to be transportable in the sense of Bourbaki. We argue that this holds for theories, where we need to cope with all structures (the models) satisfying the predicate. For in- stance, in axiomatizing the theory of groups, we need to grasp all groups. But we may be interested in catching not all structures of a species, but just some of them. In this case, the formula that defines the predicate doesn’t need to be transportable. The study of this ques- tion has lead us to a careful consideration of Bourbaki’s definition of transportability, usually not found in the literature. In this paper we discuss this topic with examples, recall the notion of transportable formulas and show that we can have significant set-theoretical pred- icates for classes of structures defined by non transportable formulas as well.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
da Costa, Newton C. A.
Krause, Déciodeciokrause@gmail.com0000-0003-0463-2796
Keywords: Suppes predicates. Set-theoretical predicates. Axiom- atization of theories. Classes of structures. Bourbaki. Species of struc- tures. Transportable formulas.
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Depositing User: Prof. Décio Krause
Date Deposited: 08 Jul 2020 14:08
Last Modified: 08 Jul 2020 14:08
Item ID: 17445
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Date: 7 July 2020
URI: https://philsci-archive.pitt.edu/id/eprint/17445

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item