The new techniques and ideas in quantum interferometry with neutrons, photons, atoms, electrons, and Bose condensates that fluorished in the last two decades have influenced in a decisive way the thinking and the research in the foundations and interpretation of quantum mechanics. The controversies existing among different schools on the reality of matter waves of quantum theory, the postulates of quantum measurement theory, and the (in)completeness of quantum mechanics have to be approached now in a new way. Our argumentation follows (...) the spirit of the Paris school. (shrink)

A compatible statistical interpretation of a wave packet is proposed. De Broglian probabilities which unite wave and particle features of quantons are evaluated for free wave packets and Jor a superposition of wave packets. The obtained expressions provide a very plausible and physically appealing explanation of coherence in apparently incoherent beams and of the characteristic modulation of the momentum distribution, found recently in neutron interferometry combined with spectral filtering. Certain conclusions about dualism and objectivity in quantum domain are also derived.

Using the time-dependent wave function we have studied the properties of the atomic transverse motion in an interferometer, and the cause of the non-classical behavior of atoms reported by Kurtsiefer, Pfau, and Mlynek [Nature 386, 150 (1997)]. The transverse wave function is derived from the solution of the two-dimensional Schrödinger's equation, written in the form of the Fresnel–Kirchhoff diffraction integral. It is assumed that the longitudinal motion is classical. Comparing data of the space distribution and of the transverse momentum distribution (...) in interferometers with one and two open slits, it follows that the atomic motion is influenced by the atomic matter wave and violates the laws of classical mechanics. However, the negative values of Wigner's function should not be taken as evidence that the atoms in an interferometer violate the classical statistical law of the addition of positive probabilities. This inference follows from the comparison of properties of Wigner's function and of the de Broglian probability density in phase space. (shrink)

Referential gaze has been shown to benefit language processing in situated communication in terms of shifting visual attention and leading to shorter reaction times on subsequent tasks. The present study simultaneously assessed both visual attention and, importantly, the immediate cognitive load induced at different stages of sentence processing. We aimed to examine the dynamics of combining visual and linguistic information in creating anticipation for a specific object and the effect this has on language processing. We report evidence from three visual‐world (...) eye‐tracking experiments, showing that referential gaze leads to a shift in visual attention toward the cued object, which consequently lowers the effort required for processing the linguistic reference. Importantly, perceiving and following the gaze cue did not prove costly in terms of cognitive effort, unless the cued object did not fit the verb selectional preferences. (shrink)

This paper discusses the classification of antifeminism presented in the book The High Forehead by the philosopher Gordana Bosanac. In this book, which is entirely dedicated to antifeminism, Gordana Bosanac points out the connection between feminism and antifeminism, where antifeminism is determined by the conservative reception of feminist values and the reaction of basically primitive consciousness. Bosanac determines feminism to be a humanistic and the broadest democratic movement based on tolerance but also on broader world ideas aiming at peace and (...) nature’s right to live. The classification of antifeminism in this paper is contextualized with regard to the emergence of new types of antifeminism and its forms in modern societies, especially in the world of the Internet. The paper concludes that the classification is an extremely valuable and stimulating framework for further research, both theoretical and empirical. Reality did not deny the classification; it remained open to new phenomena of antifeminism and the connection that antifeminism has with the new right and right-wing social movements. (shrink)

Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given for analogues of the modal systemK based on Heyting's prepositional logic. It is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddings in modal systems with several modal operators, based on classical propositional logic, are also considered. This paper lays the ground for (...) an investigation of intuitionistic analogues of systems stronger thanK. A brief survey is given of the existing literature on intuitionistic modal logic. (shrink)

The connection between the rules and derivations of Gentzen’s calculiNJandLJwill be explained by several steps (i.e., systems), and an analysis of the well-known problems of the connection between reduction steps of normalization and cut elimination, from Zucker (1974) and Urban (2014), will be given.

We investigate intuitionistic propositional modal logics in which a modal operator is equivalent to intuitionistic double negation. Whereas ¬¬ is divisible into two negations, is a single indivisible operator. We shall first consider an axiomatization of the Heyting propositional calculus H, with the connectives →,∧,∨ and ¬, extended with . This system will be called Hdn . Next, we shall consider an axiomatization of the fragment of H without ¬ extended with . This system will be called Hdn + . (...) We shall show that these systems are sound and complete with respect to specific classes of Kripke-style models with two accessibility relations, one intuitionistic and the other modal. This type of models is investigated in [2] and [3], and here we try to apply the techniques of these papers to an intuitionistic modal operator with a natural interpretation. The full results of our investigation will be published in [4] and [1]. (shrink)

In derivations of a sequent system, $\mathcal{L}\mathcal{J}$, and a natural deduction system, $\mathcal{N}\mathcal{J}$, the trails of formulae and the subformula property based on these trails will be defined. The derivations of $\mathcal{N}\mathcal{J}$ and $\mathcal{L}\mathcal{J}$ will be connected by the map $g$, and it will be proved the following: an $\mathcal{N}\mathcal{J}$-derivation is normal $\Longleftrightarrow $ it has the subformula property based on trails $\Longleftrightarrow $ its $g$-image in $\mathcal{L}\mathcal{J}$ is without maximum cuts $\Longrightarrow $ that $g$-image has the subformula property based (...) on trails. In $\mathcal{L}\mathcal{J}$-derivations, another type of cuts, sub-cuts, will be introduced, and it will be proved the following: all cuts of an $\mathcal{L}\mathcal{J}$-derivation are sub-cuts $\Longleftrightarrow $ it has the subformula property based on trails. (shrink)

This paper presents a cut-elimination procedure for classical and intuitionistic logic, in which cut is eliminated directly, without introducing the mix rule. The well-known problem of cut eliminations, when in the derivation the contractions of the cut-formulae are above the premisses of the cut, will be solved by new transformations of the derivation.

This paper presents a sequent calculus for the positive relevant logic with necessity and a proof that it admits the elimination of cut.

A new set of conversions for derivations in the system of sequents for intuitionistic predicate logic will be defined. These conversions will be some modifications of Zucker's conversions from the system of sequents from [11], which will have the following characteristics: (1) these conversions will be sufficient for transforming a derivation into a cut-free one, and (2) in the natural deduction the image of each of these conversions will be either in the set of conversions for normalization procedure, or an (...) identity of derivations. This will be used to give a new proof of the normalization theorem for natural deduction, as a consequence of the cut-elimination theorem for the system of sequents. (shrink)

In this paper we give a new proof of cut elimination in Gentzen's sequent system for intuitionistic first-order predicate logic. The point of this proof is that the elimination procedure eliminates the cut rule itself, rather than the mix rule.

The well-known picture that sequent derivations without cuts and normal derivations “are the same” will be changed. Sequent derivations without maximum cuts (i.e. special cuts which correspond to maximum segments from natural deduction) will be considered. It will be shown that the natural deduction image of a sequent derivation without maximum cuts is a normal derivation, and the sequent image of a normal derivation is a derivation without maximum cuts. The main consequence of that property will be that sequent derivations (...) without maximum cuts and normal derivations “are the same”. (shrink)

A new probability interpretation of interference phenomena in the double-slit experiment is proposed. It differs from the standard interpretation (based on elementary events happening in complementary, mutually exclusive setups—arrivals of waves to the screen when one of the slits is closed) which encounters the “paradox” that the law of total probability is violated. This new interpretation is free of such difficulties and paradoxes since it is based on compatible elementary events (events happening in the same setup in which happenall events (...) considered—arrivals of quantons to the screen when both slits are open). Quantum objects—quantons—possess simultaneously particle and wave properties. Compatible statistical interpretation synthesizes in a consistent way the superposition principle for waves and the law of total probability applied to compatible events. Such synthesis is a theoretical expression of de Broglie's observation, now fully confirmed by experiments, that the interference fringes obtained on a photographic plate result from an infinite number of tiny local spots which display arrival of quantons, while the set of fringes is a statistical effect of the wave aspect. (shrink)

The end of the bi-polar world and the collapse of communist regimes triggered an unprecedented mobility of people and heralded a new phase in European migrations. Eastern Europeans were now not only ‘free to leave’ to the West but more exactly ‘free to leave and to come back’. In this text I will focus on gendered transnational, cross-border practices and capabilities of Central and Eastern Europeans on the move, who use their spatial mobility to adapt to the new context of (...) post-communist transition. We are dealing here with practices that are very different from those which the literature on ‘immigrant transnationalism’ is mostly about. Rather than relying on transnational networking for improving their condition in the country of their settlement, they tend to ‘settle within mobility,’ staying mobile ‘as long as they can’ in order to improve or maintain the quality of life at home. Their experience of migration thus becomes their lifestyle, their leaving home and going away, paradoxically, a strategy of staying at home, and, thus, an alternative to what migration is usually considered to be — emigration/immigration. Access to and management of mobility is gendered and dependent on institutional context. Mobility as a strategy can be empowering, a resource, a tool for social innovation and agency and an important dimension of social capital — if under the migrants’ own control. However, mobility may reflect increased dependencies, proliferation of precarious jobs and, as in the case of trafficking in women, lack of mobility and freedom. (shrink)

The study of the motion of the magnetic top—a classical spherical top which carries magnetic moment proportional to its angular momentum, is motivated and inspired by the quantum mechanical relation between spin angular momentum and spin magnetic moment. Inversely, the magnetic top, taken to be the classical model of quantum spin, implies the description of spin states by probability amplitudes of the top orientation angles, instead of by Pauli spinors. This opens new possibilities for the interpretation of many interesting spin (...) experiments which serve as tests of basic principles of quantum mechanics and of the postulates of the quantum theory of measurement. (shrink)

How did the notion of civic participation change throughout history, and how were these changes reflected in the foundations of political thought? In what forms of expression did it surface in various written and visual media of the Middle Ages and the Early Modern period? These questions will be the focus of the summer university course.

Toward concordia: Dialogue and Poetry. – The question whether the governance and autonomy of medieval and early modern cities and the participation of their citizens in communal affairs may gesture toward a form of communal self-governance or it is yet another form of the rule of the privileged has re-emerged with new answers in recent scholarship. It was also one of the topics of the lecture series, Urban Governance and Civic Participation in Words and Stone, as part of which Prof. (...) Ferenc Hörcher also gave a talk. Although the following interview is based primarily on Prof. Hörcher’s lecture, the discussion joyfully meandered through a number of other, fascinating topics, like the value of philosophical dialogue vis-a-vis debate, the literary figure of the flaneur, the political ideas of Dante and the philosophical potential of poetry. (shrink)

Ko sem prenočeval v predmestju Vicenze, sem se domislil nove snovi za pisanje. Naneslo je namreč, da sem po opoldanskem odhodu iz Padove vrata tvojega mesta dosegel, ko se je sonce že nagibalo k zahodu. Preudarjal sem, ali naj prenočim tam ali naj nadaljujem pot – kajti mudilo se mi je, hkrati pa mi je zaradi dolžine dneva ostal še dobršen del svetlih ur – in ko sem se tako obotavljal, – glej – kdo bi se mogel skriti pred prijatelji? (...) – si mi s svojim predragim prihodom v družbi imenitnih mož, kakršnih je to drobno mestece rodilo na pretek, odgnal vsak dvom. Kot bi mi z nitjo prijetno pestrega pogovora pričvrstil omahujočega duha, sem kljub misli na odhod ostal in šele ko se je spustila noč, sem zapazil, da je dan spolzel mimo. Kot že mnogokrat poprej sem tudi tistega dne spoznal, da nam nič drugega ne izmika časa tako neopazno kot prav pogovori s prijatelji. Prijatelji so spretni tatovi časa, čeprav nobenega časa – razen tistega, ki ga posvetimo Bogu – ne bi smeli šteti za manj ukradenega, za manj izgubljenega, kot tistega, ki ga preživimo s prijatelji. (shrink)

This article explores ‘the politics of sentimentality’ with specific reference to the documentary film Sick, which represents the narrative of a young lesbian woman, Ana, who was confined in a psychiatric hospital in Croatia and ‘treated’ for her homosexuality. We consider the ways our most intimate emotional relationships and states, such as pain and suffering, articulate with a wider context of familial citizenship and critically examine the political limits of compassion within the sentimentalised public sphere. In this analysis, we problematise (...) the film’s emotional logic, which presents an individualised narrative resolution at the expense of dwelling on the political question of institutional violence. We examine the role that politics of sentimentality plays in neutralising the film’s political critique of the state apparatuses that enforce heterosexual norms. (shrink)

Članek obravnava literarno ustvarjanje dr. Joža Lovrenčiča (1890–1952), slovenskega pesnika, pisatelja, prevajalca in klasičnega filologa. Prinaša nekatere življenjepisne informacije in na njihovi podlagi obravnava zlasti njegovo afiniteto do rimske in grške antike. S tem v zvezi se posveča njegovi mladostni povesti Med Scilo in Karibdo in epski pesnitvi Sholar iz Trente (1939). Še posebej pri slednji je najti vrsto navezav in citatov iz klasičnega sveta, hkrati pa pesnitev na več mestih s slovenščino meša latinske besede ali v latinščino celo povsem (...) preide. Te odlomke je tudi vsebinsko mogoče povezati z literarnim slogom makaronske latinščine. (shrink)

A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back.

In Ilić and Boričić, the right-handed cut-free sequent calculus $GRW$ for the contraction-less relevant logic $RW$ is defined. In this paper, we show that the enlargement of the system $GRW$ with the structural rule of intensional contraction presents the sequent system for the principal relevant logic $R$ but the rule of cut cannot be eliminated in $GRW+$.

In our paper [3], a sequent system for the contraction‐less positive relevant logic with co‐tenability,, is considered. Its sequent system with the rule of cut, which does not involve the truth constant t, is presented, and the proof that it admits the elimination of cut is given. However, in the proof of the cut‐elimination theorem some forms of proofs, which may cause difficulties for the cut‐elimination argument, are not considered. The purpose of this paper is to present them and to (...) re‐prove that admits the elimination of cut. (shrink)

In the text the author considers politics of interpretation of South-Slavic peoples' recent past, which was demonstrated by the most prominent activists of Serbian non-governmental organizations. By summarizing the interpretation in a few points, the author attempts to identify its key features: arrogance and extremism as a style, counter factuality as a strategy and anti-Serbian nationalism and racism as an ideological strongpoint. In the final section of the text, what is pleaded is a precise legal regulation of that delicate area (...) of civil activism, which in the last decade has presented a malignant protuberance on destroyed social tissue of Serbia and serious threat to the rest of its considerably lost national interests. U tekstu se razmatra politika interpretiranja novije jugoslovenske proslosti, kakvu je u protekloj deceniji praktikovalo nekoliko najprominentnijih aktivista srbijanskih nevladinih organizacija, nominalno usmerenih zastiti i unapredjenju ljudskih prava, promociji vrednosti mira i nenasilja, multikulturalizma i tolerancije. Sazimajuci njihovu interpretaciju nedavne proslosti jugoslovenskih naroda u nekoliko tacaka, autorka identifikuje kljucne karakteristike jedne nove i vulgarne - interpretatorske politicnosti, kakvu su ove nevladine organizacije demonstrirale u proteklom desetlecu svoga delovanja na srbijanskoj javnoj sceni: arogantnost i ekstremizam kao stil, falsifikatorstvo i kontrafaktualnost kao strategiju i antisrpski nacionalizam i rasizam kao ideolosko uporiste. U zakljucnom delu teksta autorka pledira za precizno zakonsko regulisanje ove delikatne oblasti civilnog delovanja, koje bi jasno definisalo sve njegove vaznije aspekte. (shrink)

U tekstu se razmatra priroda medjunarodnih odnosa i medjunarodne politike kakva se uoblicava nakon kraja Hladnog rata, politike ciji pravac u preteznoj meri odredjuju SAD kao jedina preostala super-sila. Namera autora je da ukaze na kljucne tacke divergencije moralno-vrednosne retorike i spoljno-politicke pragmatike ove mega-drzave. U tom smislu, razmatraju se slucajevi americkog stava, odnosno aktivnog tretmana dva dogadjaja koji su u politicko-bezbednosnom pogledu obelezili proteklu deceniju u svetsko-istorijskim razmerama - raspad/razbijanje Jugoslavije i kriza u Persijskom zalivu. Zakljucak autorke je da (...) spoljna politika aktualne super-sile jos uvek usmeravana real-politickim, odnosno interesnim, pre nego moralno-vrednosnim motivima. U zavrsnom delu rada razmatraju se antropoloski argumenti za vaspostavljanje narusenog "balansa moci" na globalnom nivou kao jedinog garanta mira i stabilnosti u svetu.. (shrink)

U radu na ovom individualnom projektu bice razmatran odnos interesa i morala u politici s posebnim osvrtom na proces razbijanja Jugoslavije i projekat globalizacije. Osnovna istrazivacka hipoteza koja se u radu nastoji potvrditi jeste da je remoralizacija svetske politike kojom su se na retorickom nivou legitimisali pomenuti procesi ostala na nivou na kojem se i zacela, odnosno da su u odnosima politickih aktera na globalnom, bas kao i na lokalnom nivou, i dalje na snazi moderni principi real-politike sa interesom kao (...) centralnom kategorijom politickog zivota i moci kao vrhovnom politickom vrednoscu. U tom kontekstu posebna paznja bice posvecena razmatranju kljucnih elemenata spoljnopoliticke tehnologije SAD kao glavnog aktera pomenutih procesa. U zakljucnom delu rada obrazlaze se potreba za jednim novim konceptom i praksom globalne politike koja bi uspesnije resavala krupne probleme pred kojima se covecanstvo naslo na razmedju dva veka i dva milenijuma. (shrink)

A special kind of maximum cuts in sequent derivations, actual maximum cuts, is defined. It is shown that (1) each actual maximum cut of a sequent derivation makes maximum segments in its natural deduction image, and (2) each maximum segment of a natural deduction derivation makes an actual maximum cut in its sequent image.

In the sequent systems for exponential-free linear logic and BCK logic a procedure of elimination of maximum cuts, cuts which correspond to maximum segments from natural deduction derivations, will be presented.

Predmet ovog rada su eticki aspekti agresije NATO na SRJ, odnosno Srbiju, sprovodjene od marta do juna 1999. godine. Rad je koncipiran kao svojevrstan kriticki dijalog sa J. Habermasom, odnosno njegovim stavovima iznesenim u tekstu?Bestijalnost i humanost - rat na granici prava i morala?. Nakon kraceg prikaza Habermasovog stanovista, u uvodnom delu rada autorka razmatra moralne implikacije njegovog stava o hirurskoj preciznosti bombardovanja i principu postede civilnog stanovnistva kao karakteristikama ove agresije od, kako tvrdi ovaj autor, visokog legitimirajuceg znacaja. Potom (...) se usredsredjuje na kljucni, deklarativno moralni argument kojim se agresija opravdavala - zastita ugrozenih ljudskih prava kosmetskih Albanaca i sprecavanje humanitarne katastrofe kojoj su, kako se tvrdilo, bili izlozeni. Temeljnom analizom ovog argumenta, koju autorka sprovodi u nekoliko koraka, ona zakljucuje da agresija nije bila, kako je Habermas tvrdio, rat na granici prava i morala, vec s onu stranu i prava i morala, situirana duboko u domen interesno motivisanih oruzanih akata americke spoljne politike. PR Projekat Ministarstva nauke Republike Srbije, br. 43007. (shrink)