Jekyll2019-12-13T15:03:03+00:00https://asamonek.github.io/feed.xmlAleksandra SamonekAleksandra SamonekIntroduction to Complex Predicate Calculus for Databases2019-12-13T00:00:00+00:002019-12-13T00:00:00+00:00https://asamonek.github.io/events/2019/12/13/introduction-cpc-talk<p>On December 19, 2019, <a href="https://www.researchgate.net/profile/Olga_Poller">Olga Poller</a> and me will give a talk about our joint research at the Departamental Seminar of the <a href="https://filozofia.uj.edu.pl/en_GB/department-of-logical-rethorics">Section of Logical Rhetoric</a>.</p>
<h3 id="venue-and-time">Venue and time</h3>
<p>19:00 - 20:30 <br />
Room 28, I floor, Collegium Broscianum <br />
Institute of Philosophy, Jagiellonian University<br />
ul. Grodzka 52, Kraków, Poland</p>
<h3 id="introduction-to-complex-predicate-calculus-for-databases">Introduction to Complex Predicate Calculus for databases</h3>
<p>CPC (Complex Predicate Calculus) represents the process of creating complex predicates in the natural language in a such a way that the result of this process (which we will call a <em>query</em>) constitutes information included in a database. Initially, CPC was designed to represent prepositions, but it soon turned out that the rules of CPC can be applied much more universally, to a much wider class of phrases. The goal of this talk it to introduce the philosophical motivation behind CPC and also its theoretical foundations, such as the language, syntax and the CPC model. We will also discuss some preliminary results concerning compositionality and the rules of CPC.</p>
<h3 id="pl-wprowadzenie-do-rachunku-złożonych-predykatów-dla-baz-danych">(PL) Wprowadzenie do rachunku złożonych predykatów dla baz danych</h3>
<p>Rachunek złożonych predykatów CPC (Complex Predicate Calculus) pozwala na reprezentację procesu tworzenia złożonych predykatów w języku naturalnym w taki sposób, że wynik tego procesu można zapisać w postaci bazy danych. W pierwotnym założeniu CPC miał służyć do reprezentacji wyrażeń przyimkowych, jednak wkrótce okazało się, że reguły CPC pozwalają na reprezentację o wiele szerszej klasy wyrażeń. Celem tego wystąpienia będzie przestawienie motywacji filozoficznej oraz podstaw teoretycznych CPC, w szczególności podstawowych definicji, takich jak język, zasady syntaktyczne oraz model CPC. Przedstawimy także wstępne wyniki dotyczące kompozycjonalności oraz reguł CPC.</p>Aleksandra SamonekOn December 19, 2019, Olga Poller and me will give a talk about our joint research at the Departamental Seminar of the Section of Logical Rhetoric.Reading Group in ‘Probabilistic logics and probabilistic networks’ at UCLouvain2019-10-29T00:00:00+00:002019-10-29T00:00:00+00:00https://asamonek.github.io/events/2019/10/29/progic<p>At UCLouvain we are opening a reading group focused on the following book:</p>
<p>Haenni, R., Romeijn, J. W., Wheeler, G., & Williamson, J. (2010). <em>Probabilistic logics and probabilistic networks</em> (Vol. 350). Springer Science & Business Media.</p>
<p>The book concerns the results of a research project conducted by Haenni, Romeijn, Wheeler and Williamson between 2006 and 2008. (View the project page <a href="https://blogs.kent.ac.uk/jonw/projects/progicnet-probabilistic-logic-and-probabilistic-networks/">here</a>.)</p>
<p>Throughout the semester I will update this page to include the date and time of our meetings, as well as handouts and links. All interested persons are invited to join in.</p>
<h2 id="updates">Updates</h2>
<p><u>Meeting 1: Chapters 1 and 2</u><br />
Date and time (preliminary): TBA<br />
Venue: Collège Mercier, Place du Cardinal Mercier, Louvain-la-Neuve, Belgium<br />
<a href="/handouts/progicnet/ASamonekProgicAndNetworksReadingGroup-Handout01Chapters01-ver1.0.pdf"> [Download Handout no 1.] </a></p>Aleksandra SamonekAt UCLouvain we are opening a reading group focused on the following book:Can intended models of mathematical theories change over time? Work In Progress talk at UCLouvain on October 16, 20192019-10-11T00:00:00+00:002019-10-11T00:00:00+00:00https://asamonek.github.io/events/2019/10/11/wip-seminar<p>On October 16, 2019, <a href="https://cris.vub.be/en/persons/colin-jakob-rittberg(b0bc2ff1-4b71-47a2-941b-bd97d9cf4144).html">Colin Rittberg</a> and myself will give a joint talk about our upcoming paper on intended models in mathematical practice at the Work In Progress seminar of the CEFISES at UCLouvain, Louvain-la-Neuve.</p>
<p>The seminar is open and all interested are invited to join.</p>
<h3 id="venue-and-time">Venue and time</h3>
<p>15:00 - 17:00 <br />
Salle Ladrière (a.124 - 1st floor), Collège Mercier <br />
Place du Cardinal Mercier, Louvain-la-Neuve, Belgium</p>
<h3 id="can-intended-models-of-mathematical-theories-change-over-time">Can intended models of mathematical theories change over time?</h3>
<p>The work of philosophers of mathematical practice has challenged our understanding of various concepts in mathematics. For example, observing how mathematical proofs develop over time and how they relate to our understanding of mathematical objects and phenomena, led Hanna (1989, 2002); Mancosu (2008); Macbeth (2012); Van Bendegem (2014) and others, to a conclusion that the adequate description of the notion of mathematical proof relies on processes that are much more complex than syntactic constructs and manipulations. In our paper we challenge another concept which has been highly idealised in classical philosophy of mathematics, namely the concept of an intended model. We will contest the widely accepted understanding of an intended model as simply one guaranteed to be found among all the models of a theory.</p>
<p>We will discuss the notion of the intended model in the context of the distinction between what we call <em>content-driven practices</em> and <em>content-creating practices</em>, borrowing from Lakatos’ notion of the informal (<em>inhaltliche</em>) mathematics (<em>cf.</em> Krause and Arenhart (2016, p. 63)). Content-driven mathematical practices aim to explicate in terms of a mathematical theory some content or structure, or the so-called <em>intended model</em>, which is assumed to be given in advance: content first, theory later. We intentionally use the term <em>mathematical theory</em> instead of <em>axiomatic theory</em>, as we aim highlight the order in which mathematical concepts emerge. For example, number theory had featured an intended model of natural numbers long before the development of PA. Another case is geometry trying to capture the realities of space.</p>
<p>In content-creating mathematical practices no such content is given in advance. Instead, an axiomatic theory defines a class of structures, its own object of study. The order is reversed compared to content-creating practices, that is we obtain theory first and content later. Classic examples of content-creating practices include algebra and graph theory, where the axiomatic theory is not meant to explicate any intended structure, but rather serves as a starting point of the process of discovering a class of structures which are presumed to be of mathematical interest.</p>
<p>Assuming that some mathematical practices are content-driven, where does their content come from? A plausible answer to this question has been proposed by Ferreirós, namely the content of mathematical theories arises from the historical development of “technical practices” (Ferreirós, 2016, p.40). We will supplement Ferreirós’ case with an example from contemporary set theory, where in the current axiom selection debate, the theory has caught up to the content in ways that require (and have produced) new ways of understanding the intended model of set theory. Our principal case study to show this is H. Woodin’s Ultimate L argument (Woodin, 2017). We will also touch upon other proposals by Steel and Magidor.</p>
<p>We will further argue that the understanding of an intended model for a given discipline of mathematics has the potential to change over time and even erode, so that the practice no longer aims at explicating an intended model at all. In this, within the same mathematical theory we can observe a shift from content-driven to content-creating practice. Starting with von Neumann, we will introduce the notion of epistemic pluralism and touch upon Väänänen’s work to formalise the notion. Epistemic pluralism already erodes, but does not discard, the idea of an intended model for a content-driven practice. We then report on how Hamkins shifts pluralism from the epistemic to metaphysical. We argue that with this shift, Hamkins places theory before content in the sense of our paper, and thereby suggests to transform set theory from a content-driven to a content-creating practice.</p>Aleksandra SamonekOn October 16, 2019, Colin Rittberg and myself will give a joint talk about our upcoming paper on intended models in mathematical practice at the Work In Progress seminar of the CEFISES at UCLouvain, Louvain-la-Neuve.Fighting Fake News: our winning project at Hack Belgium 20192019-03-30T00:00:00+00:002019-03-30T00:00:00+00:00https://asamonek.github.io/programming/2019/03/30/hack-belgium-2019<p>Last weekend (March 28 - 30, 2019) our team took first place at <a href="https://www.hackbelgium.be">HACK BELGIUM 2019</a> in the <em>CREDIBLE, ENGAGING MEDIA</em> category (<em>Creating new experiences and new sources of trust</em>).<br />
We were especially interested in the problem of <a href="https://www.hackbelgium.be/experiencing-true-media/">CREATING SMARTER MEDIA CONSUMERS</a>.</p>
<p>Our app, called <em>Jamnik</em>, adds a “credibility layer” to links shared in feeds and private conversations on Facebook, Twitter, WhatsApp, <em>etc.</em>, by visualising the level of reliability of the news source in the link preview and under a thumbnail of a published link. The analysis of credibility focuses on targeting automatically generated content, forged images and videos, and sources related to known fake news generators.</p>
<p>Our priorities were neutrality, transparency of the evaluation process and user-friendliness, including intuitive representation of the evaluation, fast delivery and eliminating the need of case-by-case evaluation assistance from the user. You can read the upshot of our idea in <a href="https://prezi.com/p/ybpjfpb7guto/hack-belgium-2019/">the presentation delivered during Hack Belgium 2019</a>.</p>
<p><img src="https://raw.githubusercontent.com/asamonek/asamonek.github.io/master/images/2019-03-30-hbteam.jpg" alt="Our team" title="Our team" /></p>
<p>I would like to thank the members of my team, <a href="https://www.linkedin.com/in/danny-moeuthwil-057417100/">Danny Moeuthwil</a>, <a href="https://www.linkedin.com/in/ben-bornemann-b5898377/">Ben Bornemann</a>, <a href="https://www.linkedin.com/in/gaetan-henry-8ba778132/">Gaetan Henry</a>, <a href="https://www.linkedin.com/in/stephanie-michaux/">Stéphanie Michaux</a> and <a href="https://www.linkedin.com/in/abali-essende-59355129/">Abali Essende</a>, for the three days of fruitful work and excellent company.<br />
I also thank our mentors and workshop facilitators, particularly <a href="https://twitter.com/florisdaelemans">Floris Daelemans</a> of VRT for his invaluable feedback during critical moments of the project development.</p>
<p>Stay tuned for news about project <em>Jamnik</em>!</p>Aleksandra SamonekLast weekend (March 28 - 30, 2019) our team took first place at HACK BELGIUM 2019 in the CREDIBLE, ENGAGING MEDIA category (Creating new experiences and new sources of trust). We were especially interested in the problem of CREATING SMARTER MEDIA CONSUMERS.[Extended deadline] CfP ExLog 2019: Explaining explanation using new developments in logic and formal semantics (UCLouvain, 6-8 May 2019)2019-03-13T00:00:00+00:002019-03-13T00:00:00+00:00https://asamonek.github.io/events/2019/03/13/cfp-exlog<p>On 6-8 May 2019 we are organising a conference at UCLouvain in Louvain-la-Neuve, Belgium. The full topic of the conference is the following: <em>Explaining explanation using new developments in logic and formal semantics. Hyperintensionality, relevance, counterfactuals, grounding and truth-maker semantics</em>. You can find more information about the scope on <a href="https://sites.google.com/view/exlog2019">the conference website</a>.</p>
<p>The list of invited speakers includes Hannes Leitgeb, Francesca Poggiolesi, Friederike Moltmann, Raymundo Morado, Joke Meheus, Kit Fine and J. Michael Dunn.</p>
<p><a href="https://easychair.org/conferences/?conf=exlog2019">Go directly to the submission page.</a></p>
<p>Currently the deadline for submissions is <strong>23 March 2019</strong>.</p>Aleksandra SamonekOn 6-8 May 2019 we are organising a conference at UCLouvain in Louvain-la-Neuve, Belgium. The full topic of the conference is the following: Explaining explanation using new developments in logic and formal semantics. Hyperintensionality, relevance, counterfactuals, grounding and truth-maker semantics. You can find more information about the scope on the conference website.