The post Logic Seminar talk: A Free Logic for Fictionalism II first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: A Free Logic for Fictionalism II appeared first on Institute for Logic and Data Science.

]]>**Title**: A Free Logic for Fictionalism II

**Abstract**:

In *Reference without Referents*, Mark Sainsbury aims to provide an account of reference that honors the common-sense view that sentences containing empty names like “Vulcan” and “Santa Claus” are entirely intelligible, and that many such sentences — “Vulcan doesn’t exist”, “Many children believe that Santa Claus will give them presents at Christmas”, etc.— are literally true. Sainsbury’s account endorses the Davidsonian program in the theory of meaning and combines this with a commitment to Negative Free Logic, which holds that all simple sentences containing empty names are false. In this paper, I pose several problems for this account. In particular, I question the ability of Negative Free Logic to make appropriate sense of the truth of familiar sentences containing empty names, including negative existential claims like “Vulcan doesn’t exist”.

The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.

The post Logic Seminar talk: A Free Logic for Fictionalism II first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: A Free Logic for Fictionalism II appeared first on Institute for Logic and Data Science.

]]>The post NEC-TeCH, a research group in partnership with the New Europe College first appeared on Institute for Logic and Data Science.

The post NEC-TeCH, a research group in partnership with the New Europe College appeared first on Institute for Logic and Data Science.

]]>The group is open to a large variety of perspectives from different disciplines (engineering, data science, anthropology, sociology, philosophy) with the aim to foster dialogue, reflection, and research on the fast-evolving technologies of our times, including social media, smart devices, and artificial intelligence. We evaluate aspects, perspectives, and impact(s) of such technologies in our lives, in our communities, and more generally in our world-views.

Currently, the group functions as a reading group with weekly or bimonthly meetings, in which the members of the group and guests discuss relevant texts (books, articles, and research papers).

The group also welcomes presentations of original research papers and work in progress from its members or from guests.

The post NEC-TeCH, a research group in partnership with the New Europe College first appeared on Institute for Logic and Data Science.

The post NEC-TeCH, a research group in partnership with the New Europe College appeared first on Institute for Logic and Data Science.

]]>The post Project in collaboration with BRD: LLM for Romanian first appeared on Institute for Logic and Data Science.

The post Project in collaboration with BRD: LLM for Romanian appeared first on Institute for Logic and Data Science.

]]>For more information, see the project page.

The post Project in collaboration with BRD: LLM for Romanian first appeared on Institute for Logic and Data Science.

The post Project in collaboration with BRD: LLM for Romanian appeared first on Institute for Logic and Data Science.

]]>The post Update on project in collaboration with UiPath: AI for Robotic Process Automation first appeared on Institute for Logic and Data Science.

The post Update on project in collaboration with UiPath: AI for Robotic Process Automation appeared first on Institute for Logic and Data Science.

]]>For more information, see the project page.

The post Update on project in collaboration with UiPath: AI for Robotic Process Automation first appeared on Institute for Logic and Data Science.

The post Update on project in collaboration with UiPath: AI for Robotic Process Automation appeared first on Institute for Logic and Data Science.

]]>The post Logic Seminar talk: (Post-)Quantum Cryptography first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: (Post-)Quantum Cryptography appeared first on Institute for Logic and Data Science.

]]>**Title**: (Post-)Quantum Cryptography

**Abstract**:

In this talk, we are going to discuss two areas of cryptography in full development, namely quantum and post-quantum cryptography. The main purpose is to clearly explain the algorithms that are the basis of the threat to the security of communication as we know it now, as well as those that can be used as substitutes for the widely used cryptosystems. Another purpose of this talk is to draw attention to the fact that modern cryptography is under the light of a high threat from the quantum universe if a computer that obeys the principles of quantum mechanics becomes truly functional.

The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.

The post Logic Seminar talk: (Post-)Quantum Cryptography first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: (Post-)Quantum Cryptography appeared first on Institute for Logic and Data Science.

]]>The post Logic Seminar talk: The logic of gradable adjectives II first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: The logic of gradable adjectives II appeared first on Institute for Logic and Data Science.

]]>**Title**: The logic of gradable adjectives: a layered supervaluationism and parametrized degree-theory II

**Abstract**:

The adjective ‘Heavy’ is unidimensional, since it depends only on weight, while ‘clever’ is multidimensional, depending on various factors. The logic of unidimensional comparatives has been studied extensively, in two traditions: the delination approach started by Hans Kamp and Sally McConnell-Ginet and the degree-theoretical approach championed by Chris Kennedy. To add multidimensionality to the former, I propose and study a layered supervaluationism based on a hierarchy of relations by arity. For the latter, I use \((m,n)\)-Ferrers properties (Öztürk 2008, Carpentiere, Giarlotta and Watson 2018) to weaken transitivity and define an aggregation function over dimensions.

The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.

The post Logic Seminar talk: The logic of gradable adjectives II first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: The logic of gradable adjectives II appeared first on Institute for Logic and Data Science.

]]>The post Logic Seminar talk: The logic of gradable adjectives first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: The logic of gradable adjectives appeared first on Institute for Logic and Data Science.

]]>**Title**: The logic of gradable adjectives: a layered supervaluationism and parametrized degree-theory

**Abstract**:

The adjective ‘Heavy’ is unidimensional, since it depends only on weight, while ‘clever’ is multidimensional, depending on various factors. The logic of unidimensional comparatives has been studied extensively, in two traditions: the delination approach started by Hans Kamp and Sally McConnell-Ginet and the degree-theoretical approach championed by Chris Kennedy. To add multidimensionality to the former, I propose and study a layered supervaluationism based on a hierarchy of relations by arity. For the latter, I use \((m,n)\)-Ferrers properties (Öztürk 2008, Carpentiere, Giarlotta and Watson 2018) to weaken transitivity and define an aggregation function over dimensions.

The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.

The post Logic Seminar talk: The logic of gradable adjectives first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: The logic of gradable adjectives appeared first on Institute for Logic and Data Science.

]]>The post Logic Seminar talk: Formalizing Hybrid Modal Logic in Lean first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: Formalizing Hybrid Modal Logic in Lean appeared first on Institute for Logic and Data Science.

]]>**Title**: Formalizing Hybrid Modal Logic in Lean

**Abstract**:

Following a paper by Blackburn and Tzakova (1998), I formalized a variant of hybrid modal logic in Lean 4, together with a proof of soundness and a (work-in-progress, but close-to-finished) proof of completeness. I will focus on the practical challenges that this effort entailed and my proposed solutions; for example, regarding some properties of infinite sets to which I could devise no immediate Lean counterpart.

The code is available here. The implementation is more closely explained in my B.Sc. thesis, available here.

The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.

The post Logic Seminar talk: Formalizing Hybrid Modal Logic in Lean first appeared on Institute for Logic and Data Science.

The post Logic Seminar talk: Formalizing Hybrid Modal Logic in Lean appeared first on Institute for Logic and Data Science.

]]>The post Short talks at the Data Science seminar: Language-Agnostic Causality Trees on Argumentative Texts and Raman spectroscopy for tumor detection first appeared on Institute for Logic and Data Science.

The post Short talks at the Data Science seminar: Language-Agnostic Causality Trees on Argumentative Texts and Raman spectroscopy for tumor detection appeared first on Institute for Logic and Data Science.

]]>Miruna Zăvelcă (PhD student at the University of Bucharest)

Establishing Language-Agnostic Causality Trees on Argumentative Texts

**Abstract**:

In recent years, argumentation mining has been receiving increasing attention in the research world. With recent research trends focusing on the correlation between causality and emotions, it is important to understand the background on the grammatical particularities of arguments, argumentative essays and stance detection, especially considering the strong link between sentiment, opinion, and argumentative structure (Hogenboom et al., 2010). In this seminar I explain these concepts, then use them to create a prototype for a data processing pipeline that takes an essay as input and identifies and builds a causality tree based on the argumentative components in it. Everything is designed to be language-agnostic to help fill the gap that the field of Natural Language Processing has in non-English languages, including Romanian.

*and*

Eduard Szmeteanca (PhD student at the University of Bucharest)

Raman spectroscopy for tumor detection

**Abstract**:

Thanks to technological progress, Raman spectroscopy is increasingly used in biological studies, and more than that, it can be used to detect tumors, thus shortening the time required for diagnosis and at the same time increasing the possibilities of treatment. In addition, with the help of Raman spectroscopy, the boundaries of a tumor can be identified so that, during surgery, decisions can be made about its removal. This is especially beneficial in the case of tumors where operating a larger portion than necessary may mean restricting the patient’s capabilities as happens for example in brain cancer. This seminar will provide an introduction to research in this field.

The post Short talks at the Data Science seminar: Language-Agnostic Causality Trees on Argumentative Texts and Raman spectroscopy for tumor detection first appeared on Institute for Logic and Data Science.

The post Short talks at the Data Science seminar: Language-Agnostic Causality Trees on Argumentative Texts and Raman spectroscopy for tumor detection appeared first on Institute for Logic and Data Science.

]]>The post Special seminar – AI for Chemistry first appeared on Institute for Logic and Data Science.

The post Special seminar – AI for Chemistry appeared first on Institute for Logic and Data Science.

]]>**Title**: Overview of the literature data for CO_{2} hydrogenation to methanol

**Authors**: Florentina Neațu, Stefan Neațu, Mihaela Florea (speaker)

**Abstract**:

In the context of the worldwide energy crisis overlapping with a major environmental pollution problem, the catalytic reduction of CO_{2} to added-value products is of major importance nowadays. This is not an easy task; this process has a high degree of difficulty due to several constraints (i.e. temperature, pressure, catalyst), but, if successful, it has a huge impact on the environment, economy, and society. Therefore, there is an urgent need to find proper catalysts and optimal conditions to enhance the selectivity toward added-value products (e.g. methanol) from CO_{2} hydrogenation. During this seminar will be presented the main identified issues from the literature survey, such as low conversion values, low selectivity, the occurrence of side reactions, and the sintering of the active phase. The variation of the experimental data collected from the literature for the catalytic hydrogenation of CO_{2} to methanol will be highlighted.

The post Special seminar – AI for Chemistry first appeared on Institute for Logic and Data Science.

The post Special seminar – AI for Chemistry appeared first on Institute for Logic and Data Science.

]]>