Abstract
Abstract
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This understanding of a substructure, even though it is related to, does not fully conform to the understanding of a substructure in model theory. There, substructures are commonly understood as structures that are obtained by restricting the domain of interpretation of a given structure. In the present case, by contrast, substructure (intended application) and complete structure (T-extension) must agree on the domain of interpretation.
- 2.
The price one has to pay for expressing extensivity of a quantity by means of a theory-element as opposed to a link concerns merely the aesthetics of theory-nets. With the introduction of extensivity theory-elements for quantities, certain theory-nets, such as that of classical mechanics, will loose their nicely looking tree structure.
- 3.
The former problem is addressed in Carnap [34], where he uses Hilbert’s 𝜖-operator for expressing that the Carnap sentence yields only an indefinite description of theoretical terms. For a translation of the present semantics of theoretical terms into the language of the epsilon operator, see Andreas and Schiemer [12].
- 4.
Here is an example of such a contrived postulate: α → β with α being an L(V o) sentence and being falsified by \(\mathcal {A}_o\) and β being a theoretical sentence.
References
Andreas, H. (2010). A modal view of the semantics of theoretical sentences. Synthese, 174(3), 367–383.
Andreas, H. (2012). Deductive reasoning in the structuralist approach. Studia Logica, 101(5), 1093–1113.
Andreas, H., & Schiemer, G. (2016). A choice-semantical approach to theoretical truth. Studies in History and Philosophy of Science Part A, 58, 1–8.
Carnap, R. (1939). Foundations of logic and mathematics. Chicago: University of Chicago Press.
Carnap, R. (1958). Beobachtungssprache und theoretische Sprache. Dialectica, 12, 236–248.
Carnap, R. (1961). On the use of Hilbert’s 𝜖-operator in scientific theories. In Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, & A. Robinson (Eds.), Foundations of mathematics (pp. 156–164). Jerusalem: Magnes Press.
Löwe, B. (2006). Set theory with and without urelements and categories of interpretations. Notre Dame Journal of Formal Logic, 47(1), 83–91.
Sneed, J. (1979). The logical structure of mathematical physics (2nd ed.). Dordrecht: D. Reidel Publishing Company.
Suppes, P. (2002). Representation and invariance of scientific structures. Stanford: CSLI Publications.
Verdée, P. (2013). Non-monotonic set theory as a pragmatic foundation of mathematics. Foundations of Science, 18(4), 655–680.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Andreas, H. (2020). Postulates for Structuralism. In: Dynamic Tractable Reasoning. Synthese Library, vol 420. Springer, Cham. https://doi.org/10.1007/978-3-030-36233-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-36233-1_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-36232-4
Online ISBN: 978-3-030-36233-1
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)