Sikimić, Vlasta

Link to this page

Authority KeyName Variants
orcid::0000-0002-6996-9341
  • Sikimić, Vlasta (11)
Projects

Author's Bibliography

Употреба великих језичких модела и предиктивних модела у образовању

Vučković, Aleksandra; Sikimić, Vlasta

(SANU i Matematički institut, 2023-12)

TY  - CONF
AU  - Vučković, Aleksandra
AU  - Sikimić, Vlasta
PY  - 2023-12
UR  - http://reff.f.bg.ac.rs/handle/123456789/5788
AB  - Циљ овог истраживања је разматрање два облика напредних дигиталних решења у образовању - великих језичких модела и предиктивних модела - и начина на који се они могу начинити доступнијима већем броју ученика. Велики језички модели спадају у домен генеративне вештачке интелигенције и доспели су у жижу јавности захваљујући актуелним расправама о ГПТ-3 и сродним технологијама, које су отвориле многа питања и изазвале (не)оправдане забринутости у вези са употребом вештачки генерисаних текстова у образовању. Иако су неке школе већ забраниле употребу ЧетГПТ-а (ChatGPT) и сличних софтвера, многи научници и наставници сматрају да би велики језички модели, уколико су постепено и одговорно имплементирани, могли да допринесу унапређењу образовања (нпр. као помоћно средство за обуку ученика, а не као „пречица” за решавање домаћих задатака). С друге стране, предиктивни модели могу бити и генеративни и дискриминативни и они већ сада имају  двоструку примену у образовању. Пре свега, они помажу самим ученицима тако што прате њихов напредак и у складу са повратним информацијама „предлажу” додатне вежбе и задатке, док с друге стране, могу користити и предавачима при изради наставног плана. 
Међутим, будући да је машинско учење засновано на већ постојећим подацима, постоји ризик од пресликавања постојећих друштвених предрасуда и нетачних информација и на алгоритме који су намењени за едукацију. Један од примера проблема у које може водити превелико ослањање на вештачку интелигенцију забележен је током пандемије у Великој Британији када су предиктивни модели додељивали оцене ученицима на основу њиховог дотадашњег успеха. Међутим, ни велики језички модели нису „имуни” на пристрасности, будући да подаци на основу којих генеришу одговоре могу бити обојени различитим друштвеним предрасудама. 
Једна од препрека при одговорној имплементацији вештачке интелигенције је јаз између идеје о образовању као о општем добру и интереса приватних компанија које су тренутно водећи покретач даљег развића великих језичких модела и предиктивних модела. Због тога је потребно размотрити два начина на која би се могла повећати доступност и контрола едукативних софтвера - кроз јавно финансирање и веће улагање у развој апликација отвореног кода (open source).
PB  - SANU i Matematički institut
C3  - КОНФЕРЕНЦИЈА ВЕШТАЧКА ИНТЕЛИГЕНЦИЈА - КЊИГА АПСТРАКАТА
T1  - Употреба великих језичких модела и предиктивних модела у образовању
UR  - https://hdl.handle.net/21.15107/rcub_reff_5788
ER  - 
@conference{
author = "Vučković, Aleksandra and Sikimić, Vlasta",
year = "2023-12",
abstract = "Циљ овог истраживања је разматрање два облика напредних дигиталних решења у образовању - великих језичких модела и предиктивних модела - и начина на који се они могу начинити доступнијима већем броју ученика. Велики језички модели спадају у домен генеративне вештачке интелигенције и доспели су у жижу јавности захваљујући актуелним расправама о ГПТ-3 и сродним технологијама, које су отвориле многа питања и изазвале (не)оправдане забринутости у вези са употребом вештачки генерисаних текстова у образовању. Иако су неке школе већ забраниле употребу ЧетГПТ-а (ChatGPT) и сличних софтвера, многи научници и наставници сматрају да би велики језички модели, уколико су постепено и одговорно имплементирани, могли да допринесу унапређењу образовања (нпр. као помоћно средство за обуку ученика, а не као „пречица” за решавање домаћих задатака). С друге стране, предиктивни модели могу бити и генеративни и дискриминативни и они већ сада имају  двоструку примену у образовању. Пре свега, они помажу самим ученицима тако што прате њихов напредак и у складу са повратним информацијама „предлажу” додатне вежбе и задатке, док с друге стране, могу користити и предавачима при изради наставног плана. 
Међутим, будући да је машинско учење засновано на већ постојећим подацима, постоји ризик од пресликавања постојећих друштвених предрасуда и нетачних информација и на алгоритме који су намењени за едукацију. Један од примера проблема у које може водити превелико ослањање на вештачку интелигенцију забележен је током пандемије у Великој Британији када су предиктивни модели додељивали оцене ученицима на основу њиховог дотадашњег успеха. Међутим, ни велики језички модели нису „имуни” на пристрасности, будући да подаци на основу којих генеришу одговоре могу бити обојени различитим друштвеним предрасудама. 
Једна од препрека при одговорној имплементацији вештачке интелигенције је јаз између идеје о образовању као о општем добру и интереса приватних компанија које су тренутно водећи покретач даљег развића великих језичких модела и предиктивних модела. Због тога је потребно размотрити два начина на која би се могла повећати доступност и контрола едукативних софтвера - кроз јавно финансирање и веће улагање у развој апликација отвореног кода (open source).",
publisher = "SANU i Matematički institut",
journal = "КОНФЕРЕНЦИЈА ВЕШТАЧКА ИНТЕЛИГЕНЦИЈА - КЊИГА АПСТРАКАТА",
title = "Употреба великих језичких модела и предиктивних модела у образовању",
url = "https://hdl.handle.net/21.15107/rcub_reff_5788"
}
Vučković, A.,& Sikimić, V.. (2023-12). Употреба великих језичких модела и предиктивних модела у образовању. in КОНФЕРЕНЦИЈА ВЕШТАЧКА ИНТЕЛИГЕНЦИЈА - КЊИГА АПСТРАКАТА
SANU i Matematički institut..
https://hdl.handle.net/21.15107/rcub_reff_5788
Vučković A, Sikimić V. Употреба великих језичких модела и предиктивних модела у образовању. in КОНФЕРЕНЦИЈА ВЕШТАЧКА ИНТЕЛИГЕНЦИЈА - КЊИГА АПСТРАКАТА. 2023;.
https://hdl.handle.net/21.15107/rcub_reff_5788 .
Vučković, Aleksandra, Sikimić, Vlasta, "Употреба великих језичких модела и предиктивних модела у образовању" in КОНФЕРЕНЦИЈА ВЕШТАЧКА ИНТЕЛИГЕНЦИЈА - КЊИГА АПСТРАКАТА (2023-12),
https://hdl.handle.net/21.15107/rcub_reff_5788 .

Mitigation and Linguistic Epistemic Tolerance as Requirements for Linguistically Inclusive Science: A Dialogue with Vitaly Pronskikh

Vučković, Aleksandra; Sikimić, Vlasta

(SERRC, 2023)

TY  - JOUR
AU  - Vučković, Aleksandra
AU  - Sikimić, Vlasta
PY  - 2023
UR  - http://reff.f.bg.ac.rs/handle/123456789/4910
AB  - In our paper “How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents” (2023), we discuss the challenges that non-native English speakers face in communicating their scientific findings. We explored several obstacles they/we encounter, with the most severe leading to epistemic injustice. In his critical reply “Do Scientists Need Mitigating Agents and Who is Responsible for Providing Them? Musings on Vučković and Sikimić’s ‘How to Fight Linguistic Injustice in Science’“, Vitaly Pronskikh raises several riveting questions that need further exploration, which inspired us to approach this topic once again and to further explore the consequences of the solutions we propose.
AB  - U našem radu "How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents", razgovaramo o izazovima sa kojima se, pri komunikaciji naučnih otkrića, susreću istraživači kojima engleski nije maternji jezik. Istraživale smo nekoliko prepreka sa kojima se oni/mi suočavamo, među kojima su najozbiljnije one koje dovode do epistemičke nepravde. U svom kritičkom odgovoru "Do Scientists Need Mitigating Agents and Who is Responsible for Providing Them? Musings on Vučković and Sikimić's 'How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents'", Vitali Pronski postavlja nekolicinu uzbudljivih pitanja koja iziskuju dalje ispitivanje. To nas je inspirisalo da se još jednom vratimo ovoj temi i da dodatno preispitamo dalje posledice rešenja koja predlažemo
PB  - SERRC
T2  - Social Epistemology Review and Reply Collective
T1  - Mitigation and Linguistic Epistemic Tolerance as Requirements for Linguistically Inclusive Science: A Dialogue with Vitaly Pronskikh
EP  - 29
IS  - 5
SP  - 23
VL  - 12
UR  - https://hdl.handle.net/21.15107/rcub_reff_4910
ER  - 
@article{
author = "Vučković, Aleksandra and Sikimić, Vlasta",
year = "2023",
abstract = "In our paper “How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents” (2023), we discuss the challenges that non-native English speakers face in communicating their scientific findings. We explored several obstacles they/we encounter, with the most severe leading to epistemic injustice. In his critical reply “Do Scientists Need Mitigating Agents and Who is Responsible for Providing Them? Musings on Vučković and Sikimić’s ‘How to Fight Linguistic Injustice in Science’“, Vitaly Pronskikh raises several riveting questions that need further exploration, which inspired us to approach this topic once again and to further explore the consequences of the solutions we propose., U našem radu "How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents", razgovaramo o izazovima sa kojima se, pri komunikaciji naučnih otkrića, susreću istraživači kojima engleski nije maternji jezik. Istraživale smo nekoliko prepreka sa kojima se oni/mi suočavamo, među kojima su najozbiljnije one koje dovode do epistemičke nepravde. U svom kritičkom odgovoru "Do Scientists Need Mitigating Agents and Who is Responsible for Providing Them? Musings on Vučković and Sikimić's 'How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents'", Vitali Pronski postavlja nekolicinu uzbudljivih pitanja koja iziskuju dalje ispitivanje. To nas je inspirisalo da se još jednom vratimo ovoj temi i da dodatno preispitamo dalje posledice rešenja koja predlažemo",
publisher = "SERRC",
journal = "Social Epistemology Review and Reply Collective",
title = "Mitigation and Linguistic Epistemic Tolerance as Requirements for Linguistically Inclusive Science: A Dialogue with Vitaly Pronskikh",
pages = "29-23",
number = "5",
volume = "12",
url = "https://hdl.handle.net/21.15107/rcub_reff_4910"
}
Vučković, A.,& Sikimić, V.. (2023). Mitigation and Linguistic Epistemic Tolerance as Requirements for Linguistically Inclusive Science: A Dialogue with Vitaly Pronskikh. in Social Epistemology Review and Reply Collective
SERRC., 12(5), 23-29.
https://hdl.handle.net/21.15107/rcub_reff_4910
Vučković A, Sikimić V. Mitigation and Linguistic Epistemic Tolerance as Requirements for Linguistically Inclusive Science: A Dialogue with Vitaly Pronskikh. in Social Epistemology Review and Reply Collective. 2023;12(5):23-29.
https://hdl.handle.net/21.15107/rcub_reff_4910 .
Vučković, Aleksandra, Sikimić, Vlasta, "Mitigation and Linguistic Epistemic Tolerance as Requirements for Linguistically Inclusive Science: A Dialogue with Vitaly Pronskikh" in Social Epistemology Review and Reply Collective, 12, no. 5 (2023):23-29,
https://hdl.handle.net/21.15107/rcub_reff_4910 .

(Dis)satisfaction of female and early-career researchers with the academic system in physics

Sikimić, Vlasta; Damnjanović, Kaja; Perović, Slobodan

(Begell House, 2023)

TY  - JOUR
AU  - Sikimić, Vlasta
AU  - Damnjanović, Kaja
AU  - Perović, Slobodan
PY  - 2023
UR  - http://reff.f.bg.ac.rs/handle/123456789/4730
AB  - Modern physics encompasses theoretical and experimental research divided into subfields with specific features. For instance, high energy physics (HEP) attracts significant funding and has distinct organizational structures, i.e., large laboratories and cross-institutional collaborations. Expensive equipment and large experiments create a specific work atmosphere and human relations. While the gender imbalance is characteristic for STEM, early-career researchers are inherently dependent on their supervisors. This raises the question of how satisfied researchers working in physics are and how different subgroups−female and early-career researchers−perceive their work environment. We conducted a survey to measure job satisfaction and satisfaction with the academic system among physicists (N = 122) working in large laboratories, universities, and independent institutes. For this we used Likert-type scales. The scale for measuring the satisfaction with the academic system in physics was constructed by us. It performed statistically well and yielded three factors: experience of research autonomy, opportunities to use one's knowledge, and appreciation of the research by the general public. In our study, we detected that physicists are less satisfied with the academic system than with their work environment. Moreover, female scientists and junior researchers evaluated their jobs more negatively. The results emphasize the need for improving work and research conditions for underprivileged groups in physics. Interestingly, no significant effect was found between different types of academic institutions and general job satisfaction. Finally, participants felt that their work has not been well understood by the public.
PB  - Begell House
T2  - Journal of Women and Minorities in Science and Engineering
T1  - (Dis)satisfaction of female and early-career researchers with the academic system in physics
EP  - 50
IS  - 2
SP  - 25
VL  - 29
DO  - 10.1615/JWomenMinorScienEng.2022038712
ER  - 
@article{
author = "Sikimić, Vlasta and Damnjanović, Kaja and Perović, Slobodan",
year = "2023",
abstract = "Modern physics encompasses theoretical and experimental research divided into subfields with specific features. For instance, high energy physics (HEP) attracts significant funding and has distinct organizational structures, i.e., large laboratories and cross-institutional collaborations. Expensive equipment and large experiments create a specific work atmosphere and human relations. While the gender imbalance is characteristic for STEM, early-career researchers are inherently dependent on their supervisors. This raises the question of how satisfied researchers working in physics are and how different subgroups−female and early-career researchers−perceive their work environment. We conducted a survey to measure job satisfaction and satisfaction with the academic system among physicists (N = 122) working in large laboratories, universities, and independent institutes. For this we used Likert-type scales. The scale for measuring the satisfaction with the academic system in physics was constructed by us. It performed statistically well and yielded three factors: experience of research autonomy, opportunities to use one's knowledge, and appreciation of the research by the general public. In our study, we detected that physicists are less satisfied with the academic system than with their work environment. Moreover, female scientists and junior researchers evaluated their jobs more negatively. The results emphasize the need for improving work and research conditions for underprivileged groups in physics. Interestingly, no significant effect was found between different types of academic institutions and general job satisfaction. Finally, participants felt that their work has not been well understood by the public.",
publisher = "Begell House",
journal = "Journal of Women and Minorities in Science and Engineering",
title = "(Dis)satisfaction of female and early-career researchers with the academic system in physics",
pages = "50-25",
number = "2",
volume = "29",
doi = "10.1615/JWomenMinorScienEng.2022038712"
}
Sikimić, V., Damnjanović, K.,& Perović, S.. (2023). (Dis)satisfaction of female and early-career researchers with the academic system in physics. in Journal of Women and Minorities in Science and Engineering
Begell House., 29(2), 25-50.
https://doi.org/10.1615/JWomenMinorScienEng.2022038712
Sikimić V, Damnjanović K, Perović S. (Dis)satisfaction of female and early-career researchers with the academic system in physics. in Journal of Women and Minorities in Science and Engineering. 2023;29(2):25-50.
doi:10.1615/JWomenMinorScienEng.2022038712 .
Sikimić, Vlasta, Damnjanović, Kaja, Perović, Slobodan, "(Dis)satisfaction of female and early-career researchers with the academic system in physics" in Journal of Women and Minorities in Science and Engineering, 29, no. 2 (2023):25-50,
https://doi.org/10.1615/JWomenMinorScienEng.2022038712 . .
1

Measures for Fighting Linguistic Injustice: Epistemic Equity and Mitigation

Vučković, Aleksandra; Sikimić, Vlasta

(University of Tartu, Estonia, 2022)

TY  - CONF
AU  - Vučković, Aleksandra
AU  - Sikimić, Vlasta
PY  - 2022
UR  - http://reff.f.bg.ac.rs/handle/123456789/5796
AB  - While having English as a shared language within the scientific community contributes to more
efficient communication and peer reviews, it also puts non-native speakers in a disadvantaged
position. Moreover, we argue that some concepts are inherently untranslatable and, thus, the
pluralism of languages can prevent the loss of unique concepts. We use Quine's thesis on the
indeterminacy of translation to demonstrate the way the knowledge of marginalized scientists
gets lost. We analyze the consequences of linguistic injustice in science and propose two
measures for overcoming it: practicing epistemic equity and introducing mitigating agents.
PB  - University of Tartu, Estonia
C3  - EENPS 2022: Book of abstracts
T1  - Measures for Fighting Linguistic Injustice: Epistemic Equity and Mitigation
UR  - https://hdl.handle.net/21.15107/rcub_reff_5796
ER  - 
@conference{
author = "Vučković, Aleksandra and Sikimić, Vlasta",
year = "2022",
abstract = "While having English as a shared language within the scientific community contributes to more
efficient communication and peer reviews, it also puts non-native speakers in a disadvantaged
position. Moreover, we argue that some concepts are inherently untranslatable and, thus, the
pluralism of languages can prevent the loss of unique concepts. We use Quine's thesis on the
indeterminacy of translation to demonstrate the way the knowledge of marginalized scientists
gets lost. We analyze the consequences of linguistic injustice in science and propose two
measures for overcoming it: practicing epistemic equity and introducing mitigating agents.",
publisher = "University of Tartu, Estonia",
journal = "EENPS 2022: Book of abstracts",
title = "Measures for Fighting Linguistic Injustice: Epistemic Equity and Mitigation",
url = "https://hdl.handle.net/21.15107/rcub_reff_5796"
}
Vučković, A.,& Sikimić, V.. (2022). Measures for Fighting Linguistic Injustice: Epistemic Equity and Mitigation. in EENPS 2022: Book of abstracts
University of Tartu, Estonia..
https://hdl.handle.net/21.15107/rcub_reff_5796
Vučković A, Sikimić V. Measures for Fighting Linguistic Injustice: Epistemic Equity and Mitigation. in EENPS 2022: Book of abstracts. 2022;.
https://hdl.handle.net/21.15107/rcub_reff_5796 .
Vučković, Aleksandra, Sikimić, Vlasta, "Measures for Fighting Linguistic Injustice: Epistemic Equity and Mitigation" in EENPS 2022: Book of abstracts (2022),
https://hdl.handle.net/21.15107/rcub_reff_5796 .

How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents

Vučković, Aleksandra; Sikimić, Vlasta

(London: Taylor & Francis, 2022)

TY  - JOUR
AU  - Vučković, Aleksandra
AU  - Sikimić, Vlasta
PY  - 2022
UR  - http://reff.f.bg.ac.rs/handle/123456789/3969
AB  - Though a common language of science allows for easier communication of the results among researchers, the use of lingua franca also comes with the cost of losing some of the diverse ideas and results arising from the plurality of languages. Following Quine’s famous thesis about the indeterminacy of translation, we elaborate on the inherent loss of diverse ideas when only one language of science is used. Non-native speakers sometimes experience epistemic injustice due to their language proficiency and consequently, their scientific insights get marginalized. Thus, it is important epistemically to include the results of all researchers independent of their native language. As a solution, we promote epistemic equity and inclusion both on the individual level and on the level of the scientific community. Epistemic equity means that researchers who suffer disadvantages because of their language skills get support from the rest of the scientific community that will compensate for their disadvantage and at the same time facilitate their epistemic inclusion. This can be achieved through the introduction of mitigating agents – the individuals and organizations that ought to serve as a communication bridge between individual researchers and the scientific community.
PB  - London: Taylor & Francis
T2  - Social Epistemology
T1  - How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents
DO  - 10.1080/02691728.2022.2109531
ER  - 
@article{
author = "Vučković, Aleksandra and Sikimić, Vlasta",
year = "2022",
abstract = "Though a common language of science allows for easier communication of the results among researchers, the use of lingua franca also comes with the cost of losing some of the diverse ideas and results arising from the plurality of languages. Following Quine’s famous thesis about the indeterminacy of translation, we elaborate on the inherent loss of diverse ideas when only one language of science is used. Non-native speakers sometimes experience epistemic injustice due to their language proficiency and consequently, their scientific insights get marginalized. Thus, it is important epistemically to include the results of all researchers independent of their native language. As a solution, we promote epistemic equity and inclusion both on the individual level and on the level of the scientific community. Epistemic equity means that researchers who suffer disadvantages because of their language skills get support from the rest of the scientific community that will compensate for their disadvantage and at the same time facilitate their epistemic inclusion. This can be achieved through the introduction of mitigating agents – the individuals and organizations that ought to serve as a communication bridge between individual researchers and the scientific community.",
publisher = "London: Taylor & Francis",
journal = "Social Epistemology",
title = "How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents",
doi = "10.1080/02691728.2022.2109531"
}
Vučković, A.,& Sikimić, V.. (2022). How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents. in Social Epistemology
London: Taylor & Francis..
https://doi.org/10.1080/02691728.2022.2109531
Vučković A, Sikimić V. How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents. in Social Epistemology. 2022;.
doi:10.1080/02691728.2022.2109531 .
Vučković, Aleksandra, Sikimić, Vlasta, "How to Fight Linguistic Injustice in Science: Equity Measures and Mitigating Agents" in Social Epistemology (2022),
https://doi.org/10.1080/02691728.2022.2109531 . .
15
2
1

Do Political Attitudes Matter for Epistemic Decisions of Scientists?

Sikimić, Vlasta; Nikitović, Tijana; Vasić, Miljan; Subotić, Vanja

(Springer, Dordrecht, 2021)

TY  - JOUR
AU  - Sikimić, Vlasta
AU  - Nikitović, Tijana
AU  - Vasić, Miljan
AU  - Subotić, Vanja
PY  - 2021
UR  - http://reff.f.bg.ac.rs/handle/123456789/3319
AB  - 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 accept views of authorities. Another relevant epistemic factor when it comes to the epistemic decisions of scientists is the skepticism towards the scientific method. However, the question is whether these epistemic attitudes are influenced by their sociopolitical counterparts, such as the researcher's degree of conservatism. To empirically investigate the interplay between epistemic and sociopolitical attitudes of scientists, we conducted a survey with researchers (N = 655) across different disciplines. We propose scales for measuring epistemic tolerance and epistemic authoritarianism, as well as a scale for detecting the participants' readiness to question the scientific method. Furthermore, we investigate the relationship between epistemic tolerance and epistemic authoritarianism on the one hand, and career stage and sociopolitical views on the other hand. Interestingly, our study found only small correlations between the participants' degree of conservatism and their epistemic attitudes. This suggests that political views, against common argumentation, actually do not play an important role in one's scientific decisions. Moreover, social scientists scored higher on the epistemic tolerance and lower on the epistemic authoritarianism scale than natural scientists. Finally, the results indicate that natural scientists question the scientific method less than social scientists.
PB  - Springer, Dordrecht
T2  - Review of Philosophy and Psychology
T1  - Do Political Attitudes Matter for Epistemic Decisions of Scientists?
DO  - 10.1007/s13164-020-00504-7
ER  - 
@article{
author = "Sikimić, Vlasta and Nikitović, Tijana and Vasić, Miljan and Subotić, Vanja",
year = "2021",
abstract = "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 accept views of authorities. Another relevant epistemic factor when it comes to the epistemic decisions of scientists is the skepticism towards the scientific method. However, the question is whether these epistemic attitudes are influenced by their sociopolitical counterparts, such as the researcher's degree of conservatism. To empirically investigate the interplay between epistemic and sociopolitical attitudes of scientists, we conducted a survey with researchers (N = 655) across different disciplines. We propose scales for measuring epistemic tolerance and epistemic authoritarianism, as well as a scale for detecting the participants' readiness to question the scientific method. Furthermore, we investigate the relationship between epistemic tolerance and epistemic authoritarianism on the one hand, and career stage and sociopolitical views on the other hand. Interestingly, our study found only small correlations between the participants' degree of conservatism and their epistemic attitudes. This suggests that political views, against common argumentation, actually do not play an important role in one's scientific decisions. Moreover, social scientists scored higher on the epistemic tolerance and lower on the epistemic authoritarianism scale than natural scientists. Finally, the results indicate that natural scientists question the scientific method less than social scientists.",
publisher = "Springer, Dordrecht",
journal = "Review of Philosophy and Psychology",
title = "Do Political Attitudes Matter for Epistemic Decisions of Scientists?",
doi = "10.1007/s13164-020-00504-7"
}
Sikimić, V., Nikitović, T., Vasić, M.,& Subotić, V.. (2021). Do Political Attitudes Matter for Epistemic Decisions of Scientists?. in Review of Philosophy and Psychology
Springer, Dordrecht..
https://doi.org/10.1007/s13164-020-00504-7
Sikimić V, Nikitović T, Vasić M, Subotić V. Do Political Attitudes Matter for Epistemic Decisions of Scientists?. in Review of Philosophy and Psychology. 2021;.
doi:10.1007/s13164-020-00504-7 .
Sikimić, Vlasta, Nikitović, Tijana, Vasić, Miljan, Subotić, Vanja, "Do Political Attitudes Matter for Epistemic Decisions of Scientists?" in Review of Philosophy and Psychology (2021),
https://doi.org/10.1007/s13164-020-00504-7 . .
15
4
1
5

How Theories of Induction Can Streamline Measurements of Scientific Performance

Perović, Slobodan; Sikimić, Vlasta

(Springer, Dordrecht, 2020)

TY  - JOUR
AU  - Perović, Slobodan
AU  - Sikimić, Vlasta
PY  - 2020
UR  - http://reff.f.bg.ac.rs/handle/123456789/3162
AB  - 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 inductive dynamics and measure the research efficiency. We specify the conditions for the use of such inductive streamlining, demonstrate it in the cases of high energy physics experimentation and phylogenetic research, and propose a test of the method's applicability.
PB  - Springer, Dordrecht
T2  - Journal for General Philosophy of Science
T1  - How Theories of Induction Can Streamline Measurements of Scientific Performance
EP  - 291
IS  - 2
SP  - 267
VL  - 51
DO  - 10.1007/s10838-019-09468-4
ER  - 
@article{
author = "Perović, Slobodan and Sikimić, Vlasta",
year = "2020",
abstract = "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 inductive dynamics and measure the research efficiency. We specify the conditions for the use of such inductive streamlining, demonstrate it in the cases of high energy physics experimentation and phylogenetic research, and propose a test of the method's applicability.",
publisher = "Springer, Dordrecht",
journal = "Journal for General Philosophy of Science",
title = "How Theories of Induction Can Streamline Measurements of Scientific Performance",
pages = "291-267",
number = "2",
volume = "51",
doi = "10.1007/s10838-019-09468-4"
}
Perović, S.,& Sikimić, V.. (2020). How Theories of Induction Can Streamline Measurements of Scientific Performance. in Journal for General Philosophy of Science
Springer, Dordrecht., 51(2), 267-291.
https://doi.org/10.1007/s10838-019-09468-4
Perović S, Sikimić V. How Theories of Induction Can Streamline Measurements of Scientific Performance. in Journal for General Philosophy of Science. 2020;51(2):267-291.
doi:10.1007/s10838-019-09468-4 .
Perović, Slobodan, Sikimić, Vlasta, "How Theories of Induction Can Streamline Measurements of Scientific Performance" in Journal for General Philosophy of Science, 51, no. 2 (2020):267-291,
https://doi.org/10.1007/s10838-019-09468-4 . .
1
4
2
3

Optimizacija zaključivanja u nauci : pristup zasnovan na podacima

Sikimić, Vlasta

(Univerzitet u Beogradu, Filozofski fakultet, 2019)

TY  - THES
AU  - Sikimić, Vlasta
PY  - 2019
UR  - http://eteze.bg.ac.rs/application/showtheses?thesesId=7078
UR  - http://nardus.mpn.gov.rs/handle/123456789/11794
UR  - http://vbs.rs/scripts/cobiss?command=DISPLAY&base=70036&RID=531064727
UR  - http://reff.f.bg.ac.rs/handle/123456789/91
AB  - Zakljucivanje u nauci ogleda se u složenim argumentativnim strukturama koje u krajnjoj instanci dovode do naucnih otkrica. Socijalna epistemologija nauke posmatra nauku iz perspektive celokupne naucne zajednice i bavi se kolektivnim sticanjem znanja. Razlicite tehnike su se primenjivale u cilju maksimizacije naucnog znanja na nivou grupe. Ove tehnike ukljucuju formalne modele i kompijuterske simulacije naucnog zakljucivanja i interakcije. Ipak, ovi modeli su uglavnom testirali hipoteticke scenarije. Sa druge strane, ova disertacija predstavlja pristupe u socijalnoj epistemologiji nauke koji se zasnivaju na podacima. Pristup zasnovan na podacima podrazumeva prikupljanje podataka i njihovo sistematizovanje za dalju upotrebu. Ova upotreba podrazumeva empirijski kalibrirane modele i simulacije naucnog procesa, statisticke analize, algoritme za obradu velikog broja podataka itd. U tekstu predstavljamo i detaljno analiziramo tri koautorska istraživanja u kojima je autorka disertacije ucestvovala tokom doktorskih studija. Prvo istraživanje imalo je za cilj da odredi optimalnu strukturu timova u laboratorijama fizike visokih energija koristeci algoritme za obradu velikog broja podataka. Rezultati ovog istraživanja su objavljeni u (Perovic et al. 2016) i ukazuju na to da su projekti u koje je ukljucen manji broj timova i istraživaca efikasniji od vecih. U drugom istraživanju smo pokušali da utvrdimo da li postoji tacka epistemickog zasicenja, kada su u pitanju eksperimenti u fizici visokih energija. Inicijalni rezultati ovog istraživanja objavljeni su u (Sikimic et al. 2018). U disertaciji produbljujemo ovu temu korišcenjem kompjuterskih simulacija da 7 8 bismo testirali mehanizme pristrasnosti koji navode naucnike da ulažu u projekte iznad tacke epistemickog zasicenja. Konacno, u prethodnim primerima analiza zasnovanih na podacima, citiranost je korišcena kao mera epistemicke efikasnosti pojekata u fizici visokih energija. Da bi dodatno opravdali upotrebu ovog parametra u svojim analizama, u trecem istraživanju Perovic & Sikimic (under revision) su razmatrali i upore ivali induktivne šematizme u eksperimentalnoj fizici i biologiji sa pouzdanošcu mere citiranosti u ovim oblastima. Zakljucili su da, iako su citati relativno pouzdana mera efikasnosti u fizici visokih energija, to nije slucaj u najvecem delu istraživanja u oblasti eksperimentalne biologije. Povrh toga, doprinosi autorke koji su prvi put objavljeni u ovoj disertaciji jesu: (a) empirijski kalibrirani model naucne komunikacije unutar istraživackih grupa u biologiji, (b) analiza neocekivanih argumentativnih struktura u otkricima nekih patogena i (c) uvodna diskusija u pogledu prednosti i ogranicenja pristupa zasnovanih na podacima u socijalnoj epistemologiji nauke. Korišcenjem kompjuterskih simulacija na empirijski kalibriranim modelima, pokazujemo da je raslojavanje i podela na manje istraživacke timove epistemicki korisno za istraživace u eksperimentalnoj biologiji. Tako e, pokazujemo da je analiza argumenata u biologiji dobra osnova za dalje analize zasnovane na podacima u ovoj oblasti. Na kraju, zakljucujemo da je pristup zasnovan na podacima informativan i koristan za kreiranje naucne politike, ali da zahteva pažljiva razmatranja u pogledu prikupljanja podataka, njihovog sortiranja i interpretiranja
AB  - Scientific reasoning represents complex argumentation patterns that eventually lead to scientific discoveries. Social epistemology of science provides a perspective on the scientific community as a whole and on its collective knowledge acquisition. Different techniques have been employed with the goal of maximization of scientific knowledge on the group level. These techniques include formal models and computer simulations of scientific reasoning and interaction. Still, these models have tested mainly abstract hypothetical scenarios. The present thesis instead presents data-driven approaches in social epistemology of science. A data-driven approach requires data collection and curation for its further usage, which can include creating empirically calibrated models and simulations of scientific inquiry, performing statistical analyses, or employing datamining techniques and other procedures. We present and analyze in detail three co-authored research projects on which the thesis’ author was engaged during her PhD. The first project sought to identify optimal team composition in high energy physics laboratories using data-mining techniques. The results of this project are published in (Perovic et al. 2016), and indicate that projects with smaller numbers of teams and team members outperform bigger ones. In the second project, we attempted to determine whether there is an epistemic saturation point in experimentation in high energy physics. The initial results from this project are published in (Sikimic et al. 2018). In the thesis, we expand on this topic by using computer simulations to test for biases that could induce scientists to invest in projects 5 6 beyond their epistemic saturation point. Finally, in previous examples of data-driven analyses, citations are used as a measure of epistemic efficiency of projects in high energy physics. In order to additionally justify and analyze the usage of this parameter in their data-driven research, in the third project Perovic & Sikimic (under revision) analyzed and compared inductive patterns in experimental physics and biology with the reliability of citation records in these fields. They conclude that while citations are a relatively reliable measure of efficiency in high energy physics research, the same does not hold for the majority of research in experimental biology. Additionally, contributions of the author that are for the first time published in this theses are: (a) an empirically calibrated model of scientific interaction of research groups in biology, (b) a case study of irregular argumentation patterns in some pathogen discoveries, and (c) an introductory discussion of the benefits and limitations of datadriven approaches to the social epistemology of science. Using computer simulations of an empirically calibrated model, we demonstrate that having several levels of hierarchy and division into smaller research sub-teams is epistemically beneficial for researchers in experimental biology. We also show that argumentation analysis in biology represents a good starting point for further data-driven analyses in the field. Finally, we conclude that a data-driven approach is informative and useful for science policy, but requires careful considerations about data collection, curation, and interpretation
PB  - Univerzitet u Beogradu, Filozofski fakultet
T1  - Optimizacija zaključivanja u nauci : pristup zasnovan na podacima
T1  - Optimization of scientific reasoning : а data-driven approach
UR  - https://hdl.handle.net/21.15107/rcub_nardus_11794
ER  - 
@phdthesis{
author = "Sikimić, Vlasta",
year = "2019",
abstract = "Zakljucivanje u nauci ogleda se u složenim argumentativnim strukturama koje u krajnjoj instanci dovode do naucnih otkrica. Socijalna epistemologija nauke posmatra nauku iz perspektive celokupne naucne zajednice i bavi se kolektivnim sticanjem znanja. Razlicite tehnike su se primenjivale u cilju maksimizacije naucnog znanja na nivou grupe. Ove tehnike ukljucuju formalne modele i kompijuterske simulacije naucnog zakljucivanja i interakcije. Ipak, ovi modeli su uglavnom testirali hipoteticke scenarije. Sa druge strane, ova disertacija predstavlja pristupe u socijalnoj epistemologiji nauke koji se zasnivaju na podacima. Pristup zasnovan na podacima podrazumeva prikupljanje podataka i njihovo sistematizovanje za dalju upotrebu. Ova upotreba podrazumeva empirijski kalibrirane modele i simulacije naucnog procesa, statisticke analize, algoritme za obradu velikog broja podataka itd. U tekstu predstavljamo i detaljno analiziramo tri koautorska istraživanja u kojima je autorka disertacije ucestvovala tokom doktorskih studija. Prvo istraživanje imalo je za cilj da odredi optimalnu strukturu timova u laboratorijama fizike visokih energija koristeci algoritme za obradu velikog broja podataka. Rezultati ovog istraživanja su objavljeni u (Perovic et al. 2016) i ukazuju na to da su projekti u koje je ukljucen manji broj timova i istraživaca efikasniji od vecih. U drugom istraživanju smo pokušali da utvrdimo da li postoji tacka epistemickog zasicenja, kada su u pitanju eksperimenti u fizici visokih energija. Inicijalni rezultati ovog istraživanja objavljeni su u (Sikimic et al. 2018). U disertaciji produbljujemo ovu temu korišcenjem kompjuterskih simulacija da 7 8 bismo testirali mehanizme pristrasnosti koji navode naucnike da ulažu u projekte iznad tacke epistemickog zasicenja. Konacno, u prethodnim primerima analiza zasnovanih na podacima, citiranost je korišcena kao mera epistemicke efikasnosti pojekata u fizici visokih energija. Da bi dodatno opravdali upotrebu ovog parametra u svojim analizama, u trecem istraživanju Perovic & Sikimic (under revision) su razmatrali i upore ivali induktivne šematizme u eksperimentalnoj fizici i biologiji sa pouzdanošcu mere citiranosti u ovim oblastima. Zakljucili su da, iako su citati relativno pouzdana mera efikasnosti u fizici visokih energija, to nije slucaj u najvecem delu istraživanja u oblasti eksperimentalne biologije. Povrh toga, doprinosi autorke koji su prvi put objavljeni u ovoj disertaciji jesu: (a) empirijski kalibrirani model naucne komunikacije unutar istraživackih grupa u biologiji, (b) analiza neocekivanih argumentativnih struktura u otkricima nekih patogena i (c) uvodna diskusija u pogledu prednosti i ogranicenja pristupa zasnovanih na podacima u socijalnoj epistemologiji nauke. Korišcenjem kompjuterskih simulacija na empirijski kalibriranim modelima, pokazujemo da je raslojavanje i podela na manje istraživacke timove epistemicki korisno za istraživace u eksperimentalnoj biologiji. Tako e, pokazujemo da je analiza argumenata u biologiji dobra osnova za dalje analize zasnovane na podacima u ovoj oblasti. Na kraju, zakljucujemo da je pristup zasnovan na podacima informativan i koristan za kreiranje naucne politike, ali da zahteva pažljiva razmatranja u pogledu prikupljanja podataka, njihovog sortiranja i interpretiranja, Scientific reasoning represents complex argumentation patterns that eventually lead to scientific discoveries. Social epistemology of science provides a perspective on the scientific community as a whole and on its collective knowledge acquisition. Different techniques have been employed with the goal of maximization of scientific knowledge on the group level. These techniques include formal models and computer simulations of scientific reasoning and interaction. Still, these models have tested mainly abstract hypothetical scenarios. The present thesis instead presents data-driven approaches in social epistemology of science. A data-driven approach requires data collection and curation for its further usage, which can include creating empirically calibrated models and simulations of scientific inquiry, performing statistical analyses, or employing datamining techniques and other procedures. We present and analyze in detail three co-authored research projects on which the thesis’ author was engaged during her PhD. The first project sought to identify optimal team composition in high energy physics laboratories using data-mining techniques. The results of this project are published in (Perovic et al. 2016), and indicate that projects with smaller numbers of teams and team members outperform bigger ones. In the second project, we attempted to determine whether there is an epistemic saturation point in experimentation in high energy physics. The initial results from this project are published in (Sikimic et al. 2018). In the thesis, we expand on this topic by using computer simulations to test for biases that could induce scientists to invest in projects 5 6 beyond their epistemic saturation point. Finally, in previous examples of data-driven analyses, citations are used as a measure of epistemic efficiency of projects in high energy physics. In order to additionally justify and analyze the usage of this parameter in their data-driven research, in the third project Perovic & Sikimic (under revision) analyzed and compared inductive patterns in experimental physics and biology with the reliability of citation records in these fields. They conclude that while citations are a relatively reliable measure of efficiency in high energy physics research, the same does not hold for the majority of research in experimental biology. Additionally, contributions of the author that are for the first time published in this theses are: (a) an empirically calibrated model of scientific interaction of research groups in biology, (b) a case study of irregular argumentation patterns in some pathogen discoveries, and (c) an introductory discussion of the benefits and limitations of datadriven approaches to the social epistemology of science. Using computer simulations of an empirically calibrated model, we demonstrate that having several levels of hierarchy and division into smaller research sub-teams is epistemically beneficial for researchers in experimental biology. We also show that argumentation analysis in biology represents a good starting point for further data-driven analyses in the field. Finally, we conclude that a data-driven approach is informative and useful for science policy, but requires careful considerations about data collection, curation, and interpretation",
publisher = "Univerzitet u Beogradu, Filozofski fakultet",
title = "Optimizacija zaključivanja u nauci : pristup zasnovan na podacima, Optimization of scientific reasoning : а data-driven approach",
url = "https://hdl.handle.net/21.15107/rcub_nardus_11794"
}
Sikimić, V.. (2019). Optimizacija zaključivanja u nauci : pristup zasnovan na podacima. 
Univerzitet u Beogradu, Filozofski fakultet..
https://hdl.handle.net/21.15107/rcub_nardus_11794
Sikimić V. Optimizacija zaključivanja u nauci : pristup zasnovan na podacima. 2019;.
https://hdl.handle.net/21.15107/rcub_nardus_11794 .
Sikimić, Vlasta, "Optimizacija zaključivanja u nauci : pristup zasnovan na podacima" (2019),
https://hdl.handle.net/21.15107/rcub_nardus_11794 .

Multi-type display calculus for dynamic epistemic logic

Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta

(Oxford Univ Press, Oxford, 2016)

TY  - JOUR
AU  - Frittella, Sabine
AU  - Greco, Giuseppe
AU  - Kurz, Alexander
AU  - Palmigiano, Alessandra
AU  - Sikimić, Vlasta
PY  - 2016
UR  - http://reff.f.bg.ac.rs/handle/123456789/2196
AB  - 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 additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki's dynamic epistemic logic, and enjoys Belnap-style cut elimination.
PB  - Oxford Univ Press, Oxford
T2  - Journal of Logic and Computation
T1  - Multi-type display calculus for dynamic epistemic logic
EP  - 2065
IS  - 6
SP  - 2017
VL  - 26
DO  - 10.1093/logcom/exu068
ER  - 
@article{
author = "Frittella, Sabine and Greco, Giuseppe and Kurz, Alexander and Palmigiano, Alessandra and Sikimić, Vlasta",
year = "2016",
abstract = "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 additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki's dynamic epistemic logic, and enjoys Belnap-style cut elimination.",
publisher = "Oxford Univ Press, Oxford",
journal = "Journal of Logic and Computation",
title = "Multi-type display calculus for dynamic epistemic logic",
pages = "2065-2017",
number = "6",
volume = "26",
doi = "10.1093/logcom/exu068"
}
Frittella, S., Greco, G., Kurz, A., Palmigiano, A.,& Sikimić, V.. (2016). Multi-type display calculus for dynamic epistemic logic. in Journal of Logic and Computation
Oxford Univ Press, Oxford., 26(6), 2017-2065.
https://doi.org/10.1093/logcom/exu068
Frittella S, Greco G, Kurz A, Palmigiano A, Sikimić V. Multi-type display calculus for dynamic epistemic logic. in Journal of Logic and Computation. 2016;26(6):2017-2065.
doi:10.1093/logcom/exu068 .
Frittella, Sabine, Greco, Giuseppe, Kurz, Alexander, Palmigiano, Alessandra, Sikimić, Vlasta, "Multi-type display calculus for dynamic epistemic logic" in Journal of Logic and Computation, 26, no. 6 (2016):2017-2065,
https://doi.org/10.1093/logcom/exu068 . .
1
30
15
27

Optimal research team composition: data envelopment analysis of Fermilab experiments

Perović, Slobodan; Radovanović, Sandro; Sikimić, Vlasta; Berber, Andrea

(Springer, Dordrecht, 2016)

TY  - JOUR
AU  - Perović, Slobodan
AU  - Radovanović, Sandro
AU  - Sikimić, Vlasta
AU  - Berber, Andrea
PY  - 2016
UR  - http://reff.f.bg.ac.rs/handle/123456789/2149
AB  - 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 analyze them, focusing in particular on inherent connections between quantitative team composition and diversity, and discuss them in relation to other factors contributing to scientific production in a wider sense. Our results concur with the results of other studies across the sciences showing that smaller research teams are more productive, and with the conjecture on curvilinear dependence of team size and efficiency.
PB  - Springer, Dordrecht
T2  - Scientometrics
T1  - Optimal research team composition: data envelopment analysis of Fermilab experiments
EP  - 111
IS  - 1
SP  - 83
VL  - 108
DO  - 10.1007/s11192-016-1947-9
ER  - 
@article{
author = "Perović, Slobodan and Radovanović, Sandro and Sikimić, Vlasta and Berber, Andrea",
year = "2016",
abstract = "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 analyze them, focusing in particular on inherent connections between quantitative team composition and diversity, and discuss them in relation to other factors contributing to scientific production in a wider sense. Our results concur with the results of other studies across the sciences showing that smaller research teams are more productive, and with the conjecture on curvilinear dependence of team size and efficiency.",
publisher = "Springer, Dordrecht",
journal = "Scientometrics",
title = "Optimal research team composition: data envelopment analysis of Fermilab experiments",
pages = "111-83",
number = "1",
volume = "108",
doi = "10.1007/s11192-016-1947-9"
}
Perović, S., Radovanović, S., Sikimić, V.,& Berber, A.. (2016). Optimal research team composition: data envelopment analysis of Fermilab experiments. in Scientometrics
Springer, Dordrecht., 108(1), 83-111.
https://doi.org/10.1007/s11192-016-1947-9
Perović S, Radovanović S, Sikimić V, Berber A. Optimal research team composition: data envelopment analysis of Fermilab experiments. in Scientometrics. 2016;108(1):83-111.
doi:10.1007/s11192-016-1947-9 .
Perović, Slobodan, Radovanović, Sandro, Sikimić, Vlasta, Berber, Andrea, "Optimal research team composition: data envelopment analysis of Fermilab experiments" in Scientometrics, 108, no. 1 (2016):83-111,
https://doi.org/10.1007/s11192-016-1947-9 . .
2
16
9
17

A proof-theoretic semantic analysis of dynamic epistemic logic

Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta

(Oxford Univ Press, Oxford, 2016)

TY  - JOUR
AU  - Frittella, Sabine
AU  - Greco, Giuseppe
AU  - Kurz, Alexander
AU  - Palmigiano, Alessandra
AU  - Sikimić, Vlasta
PY  - 2016
UR  - http://reff.f.bg.ac.rs/handle/123456789/2187
AB  - 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 presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm that has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present article include a generalization of Belnap's cut-elimination metatheorem for display calculi, and a revised version of the display-style calculus D. EAK [30]. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut-elimination as a consequence of the generalized metatheorem.
PB  - Oxford Univ Press, Oxford
T2  - Journal of Logic and Computation
T1  - A proof-theoretic semantic analysis of dynamic epistemic logic
EP  - 2015
IS  - 6
SP  - 1961
VL  - 26
DO  - 10.1093/logcom/exu063
ER  - 
@article{
author = "Frittella, Sabine and Greco, Giuseppe and Kurz, Alexander and Palmigiano, Alessandra and Sikimić, Vlasta",
year = "2016",
abstract = "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 presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm that has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present article include a generalization of Belnap's cut-elimination metatheorem for display calculi, and a revised version of the display-style calculus D. EAK [30]. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut-elimination as a consequence of the generalized metatheorem.",
publisher = "Oxford Univ Press, Oxford",
journal = "Journal of Logic and Computation",
title = "A proof-theoretic semantic analysis of dynamic epistemic logic",
pages = "2015-1961",
number = "6",
volume = "26",
doi = "10.1093/logcom/exu063"
}
Frittella, S., Greco, G., Kurz, A., Palmigiano, A.,& Sikimić, V.. (2016). A proof-theoretic semantic analysis of dynamic epistemic logic. in Journal of Logic and Computation
Oxford Univ Press, Oxford., 26(6), 1961-2015.
https://doi.org/10.1093/logcom/exu063
Frittella S, Greco G, Kurz A, Palmigiano A, Sikimić V. A proof-theoretic semantic analysis of dynamic epistemic logic. in Journal of Logic and Computation. 2016;26(6):1961-2015.
doi:10.1093/logcom/exu063 .
Frittella, Sabine, Greco, Giuseppe, Kurz, Alexander, Palmigiano, Alessandra, Sikimić, Vlasta, "A proof-theoretic semantic analysis of dynamic epistemic logic" in Journal of Logic and Computation, 26, no. 6 (2016):1961-2015,
https://doi.org/10.1093/logcom/exu063 . .
1
24
14
19