The Structuralist Theory of Logic (CROSBI ID 550853)
Neobjavljeno sudjelovanje sa skupa | neobjavljeni prilog sa skupa
Podaci o odgovornosti
Trobok, Majda
engleski
The Structuralist Theory of Logic
The paper investigates the relationship between logical and mathematical structures and their (dis)analogies through the theory of structuralism in logic endorsed by Koslow. The logical structuralist programme might seem to be analogous to what the standard mathematical practice is, in the sense of defining a determinate structure that can be exemplified by totally different systems. In the example of a vector space, different objects – e.g., geometric vectors or real numbers - count as vectors, in the same way in which e.g. either the standard conjunction in classical propositional logic (that have the sign “ Ù ; ; ” ) or the intersection of sets, both count as conjunctions CÞ ; ; (A, B). How far does the analogy go? The theory of vector spaces determines not just what a vector space (over a field) is, but it also allows the projection of many other properties from the structure to single templates (or systems), e.g. the existence a base for every finitely dimensional vector space. The paper examines why it is not the case with the structuralist theory in logic, i.e. the theory of implication structure endorsed by Koslow and why it represents a limitation for the theory.
logical and mathematical structure; implication structure
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
nije evidentirano
nije evidentirano
Podaci o skupu
Logical Foundations of Metaphysics
pozvano predavanje
19.05.2008-25.05.2008
Dubrovnik, Hrvatska