Текстови објављени у часопису Култура на српском накнадно преведени на стране језике Архиве - Page 223 of 270

In this paper we focus on two branches of modern logic, computability theory and proof theory, tracing their development in Serbia from the end of World War II to this day. Owing to the unfortunate set of circumstances, computability theory did not give birth to a school in Serbia. Proof theory, on the other hand, found a base in Belgrade as one of the few places in the world promoting Gentzen’s ideas, especially in the field of categorial proof theory which will be our sole interest in this work.

/ 1968

pdf

OF OLDER SERBIAN LOGIC

26. July 2018./in Serbian Philosophic Culture /by Kcs21blAA

In this paper we aim to pinpoint some of the key markers of the development of logic in Serbia, starting from the founding of the Lyceum in 1836 until the end of the 19th century. Our main goal is to underline the role that Ljubomir Nedić, a philosopher and literary critic, had in this context. Although he did not leave any original contributions in logic, Nedić played a significant part by exposing contemporary results in symbolic logic, which were to lead, through Frege’s later work, to the creation of modern logic.