Vlasta Sikimić

Vlasta Sikimić
University of Tuebingen | EKU Tübingen

Doctor of Philosophy

About

14
Publications
1,493
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
107
Citations
Introduction
I am a research fellow at the Cluster of Excellence – Machine Learning for Science and at the Hector Research Institute of Education Sciences and Psychology of the University of Tübingen. My research focus is on Philosophy of Science, Philosophy of AI, Empirical Philosophy, Science Policy, Logic, and Animal Ethics. More specifically, I work on data-driven approaches to optimizations of scientific reasoning and empirical philosophy of science.

Publications

Publications (14)
Article
Full-text available
The present article provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems that have been successfully applied to diverse scientific disciplines, but the proof-theoretic treatment of which...
Article
Full-text available
In the present article, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additiona...
Article
We employ data envelopment analysis on a series of experiments performed in Fermilab, one of the major high-energy physics laboratories in the world, in order to test their efficiency (as measured by publication and citation rates) in terms of variations of team size, number of teams per experiment, and completion time. We present the results and a...
Article
Full-text available
The epistemic attitudes of scientists, such as epistemic tolerance and authoritarianism, play important roles in the discourse about rivaling theories. Epistemic tolerance stands for the mental attitude of an epistemic agent, e.g., a scientist, who is open to opposing views, while epistemic authoritarianism represents the tendency to uncritically a...
Article
We used agent-based modelling to highlight the advantages and disadvantages of several management styles in biology, ranging from centralized to egalitarian ones. In egalitarian groups, all team members are connected with each other, while in centralized ones, they are only connected with the principal investigator. Our model incorporated time cons...
Conference Paper
Full-text available
Sklonost ljudi da prilikom rasuđivanja preferiraju jednostavna naspram složenih objašnjenja, zanemarujući eksplanatornu moć takvog objašnjenja, naziva se pristrasnost pojednostaviljivanja (PP; engl. simplicity bias, SP). Ova pristrasnost je registrovana kako u naučnom, tako i u nenaučnom mišljenju. Pristrasnost pojednostavljivanja nalaže da ljudi p...
Article
Full-text available
We argue that inductive analysis (based on formal learning theory and the use of suitable machine learning reconstructions) and operational (citation metrics-based) assessment of the scientific process can be justifiably and fruitfully brought together, whereby the citation metrics used in the operational analysis can effectively track the inductiv...
Conference Paper
Full-text available
The question of when to stop an unsuccessful experiment can be difficult to answer from an individual perspective. To help to guide these decisions, we turn to the social epistemology of science and investigate knowledge inquisition within a group. We focused on the expensive and lengthy experiments in high energy physics, which were suitable for c...
Conference Paper
Full-text available
Display calculi are generalized sequent calculi which enjoy a `canonical' cut elimination strategy. That is, their cut elimination is uniformly obtained by verifying the assumptions of a meta-theorem, and is preserved by adding or removing structural rules. In the present paper, we discuss a proof-theoretic setting, inspired both to Belnap's Displa...
Article
Full-text available
The purpose of the present paper is to demonstrate the inconsistencies between ethical theory and legal practice of animal treatment. Specifically, we discuss contemporary legal solutions, based on three case studies – Serbian, German and UK positive law, and point out the inconsistencies in them. Moreover, we show that the main cause of these inco...
Article
Full-text available
Richard Wollheim pointed out a paradox which he claims relates to democracy. We argue that this paradox is not exclusively related to democracy but actually arises whenever there is a conflict between personal preferences and preferences of accepted authorities. Furthermore, we provide a formal explanation of how one can rationally “accept” or “swi...
Article
Full-text available
In this paper we analyse the requirements for a redefinition of knowledge that would block all the Gettier-like counterexamples raised against the traditional definition of knowledge. For this purpose we provide a classification of all the possible Gettier-like counterexamples. We claim that this classification is exhaustive because it lists all th...

Network

Cited By

Projects

Projects (3)
Project
We investigate benefits and limitations of data-driven analyses. These analyses give us specific answers to questions in science policy, such as how to fund or structure a research project in order to optimize its results.
Project
find systematic connections between algebraic properties of a logic and properties of structural calculi. we use algebraic correspondence theory and the ALBA technology