Potential infinity, abstraction principles and arithmetic (Leniewski Style)

This paper starts with an explanation of how the logicist research program can be approached within the framework of Leśniewski’s systems. One nice feature of the system is that Hume’s Principle is derivable in it from an explicit definition of natural numbers. I generalize this result to show that all predicative abstraction principles corresponding to second-level relations, which are provably equivalence relations, are provable. However, the system fails, despite being much neater than the construction of Principia Mathematica (PM). One of the key reasons is that, just as in the case of the system of PM, without the assumption that infinitely many objects exist, (renderings of) most of the standard axioms of Peano Arithmetic are not derivable in the system. I prove that introducing modal quantifiers meant to capture the intuitions behind potential infinity results in the (renderings of) axioms of Peano Arithmetic (PA) being valid in all relational models (i.e. Kripke-style models, to be defined later on) of the extended language. The second, historical part of the paper contains a user-friendly description of Leśniewski’s own arithmetic and a brief investigation into its properties

Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding

Legal probabilism (LP) claims the degrees of conviction in juridical fact-finding are to be modeled exactly the way degrees of beliefs are modeled in standard bayesian epistemology. Classical legal probabilism (CLP) adds that the conviction is justified if the credence in guilt given the evidence is above an appropriate guilt probability threshold. The views are challenged on various counts, especially by the proponents of the so-called narrative approach, on which the fact-finders' decision is the result of a dynamic interplay between competing narratives of what happened. I develop a way a bayesian epistemologist can make sense of the narrative approach. I do so by formulating a probabilistic framework for evaluating competing narrations in terms of formal explications of the informal evaluation criteria used in the narrative approach.Comment: In Proceedings TARK 2017, arXiv:1707.0825

Wzory aktywności krakowskich młodych emerytów w środowisku wielkomiejskim (przykład zastosowania analizy skupień)

Population ageing has drawn increasingly more attention to the question of retirement. On the one hand, the number of retirees increases and retirement becomes a more prominent part of life. As a result, people at present have developed a distinct retirement lifestyle and retirees become more diverse. This study presents how the choices of young retirees (individuals that are retired for no longer than 10 years) in urban environment differ. The empirical material used for this study consisted of 206 interviews conducted with inhabitants of Cracow. Interviews were conducted from June to December 2014. Hierarchical cluster analysis enabled to differ two type of time usage models (traditional and open) and 3 types of young retirees (active retirees residing in districts that have a wide offer dedicated to senior citizens, passive retirees with limited funds and moderately active older young retirees).Tekst prezentuje analizę 206 wywiadów z mieszkańcami Krakowa, którzy przebywają na emeryturze nie dłużej niż 10 lat. Dzięki zastosowaniu hierarchicznej analizy skupień, wyodrębniono dwa modele spędzania czasu przez młodych emerytów w przestrzeni wielkomiejskiej (tradycyjny i otwarty) oraz trzy typy emerytów, które zidentyfikowano w Krakowie (aktywnych młodych emerytów z dzielnic z bogatą ofertą dla osób starszych, biernych emerytów z ograniczonymi możliwościami finansowymi oraz umiarkowanie aktywnych starszych młodych emerytów)

Support for Economic Activity of People Aged 50+ in Poland: The Best Solutions of the Government’s Programme Solidarity of Generations

The article aims to assess some selected solutions of the Polish government’s programme “Solidarity of generations” [SG] designed to support economic activity among people aged 50+. It presents the results of a national survey conducted in the first half of 2012, mainly the outcomes of questionnaire interviews carried out with representative samples of people aged 45+ and employers. Studies under the name ‘Diagnosis of the current situation of females and males 50+ on the labour market in Poland [D50+]’ were conducted within the project “Equal Opportunities in the Labour Market for People Aged 50+”. In addition to standard methods of descriptive analysis and the assessment of relations, factor analysis is also used to identify the main types of activities advancing opportunities for people aged 45+. Some solutions of the government’s programme, such as the protection of employees from dismissal during the last four years before their retirement, were sometimes evaluated very differently by employers and people aged 45+. At the same time, both employers and people aged 45+ were favourable about free training and public subsidies to set up jobs for an unemployed persons aged 50+. According to the factor analysis results, the most important activities for people aged 45+ to have equal opportunities in the labour market are those activities that directly improve their qualifications. Although this finding is endorsed by both employers and people aged 45+, the insufficient systemic support for life-long learning limits the number of opportunities they could use to increase their employment activity. The variety of evaluations presented by the beneficiaries of the government programme should be taken into account in planning its modification.Celem artykułu jest ocena skuteczności wybranych rozwiązań zaproponowanych w rządowym programie Solidarność pokoleń [SG] dedykowanym wsparciu aktywności zawodowej osób 50+. W artykule zaprezentowano wyniki ogólnokrajowych badań przeprowadzonych w I poł. 2012 r., w tym przede wszystkim badań kwestionariuszowych przeprowadzonych na reprezentatywnych próbach osób w wieku 45+ oraz pracodawców. Badania pt. Diagnoza obecnej sytuacji kobiet i mężczyzn 50+ na rynku pracy w Polsce [D50+] zostały zrealizowane w ramach projektu Wyrównywanie szans na rynku pracy dla osób 50+. Poza standardowymi metodami analizy deskryptywnej i oceny współzależności, zastosowano analizę czynnikową celem wskazania głównych kierunków działań sprzyjających wyrównywaniu szans osób w wieku 45/50+ na rynku pracy w Polsce. Rozwiązania ujęte w programie rządowym, jak np. wprowadzenie okresów ochronnych przez zwolnieniem z pracy pracowników na 4 lata przed nabyciem praw do emerytury, spotykały się niekiedy z krańcowo różną oceną przez pracodawców i osoby 50+. Zarówno pracodawcy, jak i osoby w wieku 45+ wysoko oceniają bezpłatne szkolenia czy dofinansowanie ze środków publicznych wyposażenia miejsca pracy dla bezrobotnego 50+. W świetle analizy czynnikowej, dla wyrównywania szans osób w wieku 45/50+ na rynku pracy zasadnicze znaczenie odgrywają te działania, które bezpośrednio przyczyniają się do zwiększenia kwalifikacji osób w wieku 45/50+. Pracodawcy i osoby w niemobilnym wieku produkcyjnym są zgodni w tym zakresie, lecz niedostatek systemowego wsparcia edukacji ustawicznej dla osób w wieku 50+ osłabia możliwości wzrostu ich aktywności zawodowej. Zróżnicowane oceny mogą być wzięte pod uwagę przy modyfikacji programów wsparcia aktywności zawodowej 50+

Determinants Of Healthy Ageing For Older People In European Countries – A Spatio-Temporal Approach

The article aims to investigate the relationship between the length of the further life in healthy for men and women aged 65 years and selected factors in European countries in the period 2005-2012. For this purpose, following methods were used: 1/ spatial distribution of characteristics - rates of change in selected periods: 2005 and 2012, 2/ tests for dependencies using correlograms and Spearman’s rank correlation coefficients, 3/ cluster analysis: on the basis of Ward’s methods spatial similarities (among countries) were indicated. As the source of data the Eurostat database were used

Attracting FDI to the Region of Lodz by Its Local Government

This paper evaluates the financial and non-financial incentives used by local authorities in the Province of Lodz to promote the inflow of FDI. Conclusions are based on a questionnaire study conducted in the second half of 2010 among 188 companies with foreign capital (CFC) which invested in the region, and 87 local government units hosting the majority of the CFCs included in the study. The obtained results indicate that support offered by local authorities had only a minor impact on the location decision for the investment project, and this conclusion is consistent with results of studies which assessed the role of incentives in Poland at macro, regional and sectoral levels.Głównym celem artykułu jest ocena wykorzystania finansowych i pozafinansowych zachęt dla inwestorów zagranicznych stosowanych przez władze lokalne w województwie łódzkim. Podstawę do wyciągania wniosków stanowią wyniki badania kwestionariuszowego przeprowadzonego w II połowie 2010 r. wśród 188 przedsiębiorstw z kapitałem zagranicznym (PKZ), które zainwestowały w regionie oraz wśród 87 jednostek samorządu terytorialnego, które gościły większość w nim obecnych PKZ. Uzyskane wyniki wskazują, że wsparcie oferowane przez władze lokalne w niewielkim stopniu wpłynęło na wybór miejsca do inwestowania, i są zgodne z wynikami badań, które oceniały rolę zachęt w Polsce na poziomie makro, regionalnym i sektorowym

The Use Of EU Structural Funds By Enterprises In The Lodz Region

The direct study was conducted in 2011. It focused on micro-economic projects supported by EU funds in the Lodz region. Interviews were conducted with representatives of 80 enterprises, which had completed at least one such a project. We conclude that the subsidies from structural funds have positively stimulated the modernization of the companies, albeit on a limited scale.Z przeprowadzonych analiz wynika, że dla wielu badanych przedsiębiorstw fundusze unijne stanowiły ważne źródło finansowania inwestycji i walki o rynkowe sukcesy. Tym niemniej, ze względu na bardzo ograniczoną liczbę i małą wartość projektów nie da się nimi ułatwić rozwoju przedsiębiorstw i regionu w szerszej skali

Fragment screening reveals salicylic hydroxamic acid as an inhibitor of <em>Trypanosoma brucei</em> GPI GlcNAc-PI de-N-acetylase

The zinc-metalloenzyme GlcNAc-PI de-N-acetylase is essential for the biosynthesis of mature GPI anchors and has been genetically validated in the bloodstream form of Trypanosoma brucei, which causes African sleeping sickness. We screened a focused library of zinc-binding fragments and identified salicylic hydroxamic acid as a GlcNAc-PI de-N-acetylase inhibitor with high ligand efficiency. This is the first small molecule inhibitor reported for the trypanosome GPI pathway. Investigating the structure activity relationship revealed that hydroxamic acid and 2-OH are essential for potency, and that substitution is tolerated at the 4- and 5-positions