Skip to main content

Posts

Not a Knot II

This post belongs to LoPSE popularization (#pop) series written both in English and in Polish. ENGLISH VERSION [POLISH VERSION BELOW] In a previous post we presented the background needed to follow  Paula Teijeiro  in her Not a knot.  Now we're ready to move to the paper discussed during the seminar, which raises two key points. First, it is possible to provide a syntactic characterization of  Knot . This is done in a proof system which is a bit different from what one might see in an intro to logic class, but there are no clear reasons not to call this a proof-theoretic characterization. Since the notion of a conservative extension doesn't help here, the question arises as to whether there is a similar criterion in the vicinity that would allow to establish that  Knot  in some sense hasn't been properly introduced. One strategy, that Teijeiro investigates, is to define a new notion: that of a preservative extension. Roughly speaking, the idea ...

Not a Knot I

This post belongs to LoPSE popularization (#pop) series written both in English and in Polish.   ENGLISH VERSION [POLISH VERSION BELOW] On June 28, 2019 in our seminar we connected with Paula Teijeiro  to discuss her recent draft, Not a Knot . Before we get to the actual content of the paper, some background is needed. It will be provided in this post, and a discussion of Paula's own contribution will follow in another post. Most logicians don't think they merely play syntactic games when they do logic. They claim that the enterprise is meaningful and goes beyond pure manipulation of sequences of symbols. Yet, it turns out to be quite hard to say what exactly this meaning is. Let's take a seemingly simple example of the meaning of a logical connective, such as and . It will turn out that all methods of adding a meaningful connective to a formal language seem appears a bit problematic. It seems that there are two ways of introducing a new connective to a f...

Mismeasuring algorithmic fairness #pop

This post belongs to LoPSE popularization (#pop) series written both in English and in Polish.  ENGLISH VERSION [POLISH VERSION BELOW] Say we want to treat people equally - what does it even mean? This question pops up quite often in political science, economics, policy considerations, or local government decisions. Since AI is often involved in the decision-making process, a puzzle for a mathematical philosopher arises: how do you define fairness so that the definition is precise enough to be applicable to predictive algorithms and so that philosophically it still seems plausible? It turns out the task is non-trivial. Three attempts of such explications are discussed in The Measure and Mismeasure of Fairness: A Critical Review of Fair Machine Learning   by Sam Corbett-Davies and Sharad Goel: anti-classification is the requirement to exclude protected attributes such as gender or race in the decision process. classification parity  requires that common ...

Assistant professorship in formal philosophy (UGdansk)

CALL FOR APPLICATIONS Assistant Professorship (“adiunkt” in Polish terminology) in the Chair of Logic, Philosophy of Science and Epistemology is available at the Department of Philosophy, Sociology and Journalism, University of Gdansk, Poland. The position is to start on February 1, 2019 at the earliest and on October 1, 2019 at the latest. The position is for a fixed number of years (most likely, 2) with the possibility of further extensions (up to a permanent position). The successful candidate will be expected to do research in mathematical philosophy, philosophical logic or philosophy of science, teach about 240 academic hrs (each is 45 minutes) per academic year, apply for external research funding, participate in the research activities of the Chair, in the life of the department, and in the administrative work as necessary. Applications will be considered on a rolling basis until the position is filled or until November 23, 2018, whichever comes first. No knowledge o...

Postdoc position in formal epistemology & law

A postdoc position ( 3 years , fixed term “adiunkt” position in Polish terminology) in the Chair of Logic, Philosophy of Science and Epistemology is available at the Department of Philosophy,  Sociology and Journalism, University of Gdansk , Poland. The position is to start between October 1, 2018 and November 30, 2018 (decision will be based on practical considerations). The contract will be first signed for 12 months, and will be extended by two more years, given appropriate progress. The application deadline is September 15, 2018. The successful candidate will be required to pursue their research within the ongoing  research project titled Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools funded by the Polish National Science Centre, participate in the research activities of the Chair, in the life of the department, and in the administrative work as necessary. An opportunity of acquiring teaching experience might...

Yet another assistant professorship in formal philosophy @ University of Gdansk

Some time ago  the Chair of Logic, Philosophy of Science and Epistemology had an opening in formal philosophy that since then has been filled. Now, another position (leading to a permanent position upon second renewal) is available (so, there'll be three tenure-track faculty members working on formal philosophy). Here are the details: CALL FOR APPLICATIONS  Assistant Professorship (“adiunkt” in Polish terminology) in the Chair of Logic, Philosophy of Science and Epistemology is available at the Department of Philosophy, Sociology and Journalism, University of Gdansk, Poland. The position is to start on October 1, 2018, for a fixed number of years with the possibility of further extensions (up to a permanent position upon second renewal). Decisions about the exact beginning date of the contract and the number of initial years (most likely 2 or 3) will be made during the hiring process.  The successful candidate will be expected to do research in mathematical ph...

Entia et Nomina 2018 CFP (Gdansk 28-29 August 2018)

This is the seventh conference in the Entia et NominA series (previous editions took place in Poland, Belgium and India), which  features workshops for researchers in formally and analytically oriented philosophy, in particular in epistemology, logic, and philosophy of science .  The distinctive format of the workshop requires participants to distribute extended abstracts or full papers a couple of weeks before the workshop and to prepare extended comments on another participant's paper. Invited speakers - Zalan Gyenis (Jagiellonian University, Poland) - Masashi Kasaki (Nagoya University, Japan) - Martin Smith (University of Edinburgh, Scotland) Dates:  - Submission deadline: July 20 - Decisions: August 1 - Workshop: August 28-29 For more details on the workshop and submission, consult the pdf file with full CFP: Entia et Nomina FULL CFP

One PhD position in formal epistemology & law

UPDATE: Deadline extended to September 7, 2018 [POLSKOJĘZYCZNA WERSJA PONIŻEJ] PHD POSITION IN FORMAL PHILOSOPHY AT THE UNIVERSITY OF GDAŃSK The Institute of Philosophy, Sociology and Journalism at the University of Gdańsk invites applications for one doctoral position. First 12 months of funding start with October 2018, with the possibility of subsequent year-long extensions (conditional upon satisfactory progress) up to 36 months total. The candidate will be required to pursue their research and their PhD program at the University of Gdańsk (Poland) under the supervision of prof. Rafal Urbaniak within the research project titled Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools funded by the Polish National Science Centre. No knowledge of Polish is required to complete the PhD. Applicants should hold an MA in philosophy or in another relevant discipline (law, AI, statistics, cognitive science, criminology, etc....

Two PhD positions in probability & law

EDIT: DEADLINE EXTENDED TO OCTOBER 8, 2017. [ POLSKOJĘZYCZNA WERSJA PONIŻEJ/ POLISH VERSION BELOW] TWO PHD POSITIONS IN FORMAL PHILOSOPHY AT THE UNIVERSITY OF GDAŃSK The Institute of Philosophy, Sociology and Journalism at the University of Gdańsk invites applications for two doctoral positions, both starting with the beginning of October 2017: One position whose funding starts in October 2017. The funding will be granted for 12 months, with the possibility of subsequent year-long extensions (conditional upon satisfactory progress) up to 48 months total.   One position which starts in October 2017, but it is  not funded during the first year . The funding starts with October 2018, with the possibility of subsequent year-long extensions (conditional upon satisfactory progress) up to 36 months total. (The candidate, however, is free to apply for the Faculty doctoral scholarship for the first year.) Candidates will be required to pursue their research under t...