Naslov
The Structuralist Theory of Logic

Autori
Trobok, Majda

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, neobjavljeni rad, znanstveni

Skup
Logical Foundations of Metaphysics

Mjesto i datum
Dubrovnik, Hrvatska, 19.05.2008. - 25.05.2008

Vrsta sudjelovanja
Pozvano predavanje

Vrsta recenzije
Nije recenziran

Ključne riječi
logical and mathematical structure; implication structure

Sažetak
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 “ &Ugrave ; ; ” ) or the intersection of sets, both count as conjunctions C&THORN ; ; (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.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA