The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules (...) from rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguish it from Francez's. (shrink)

După sfârşitul celei de a doua mari conflagraţii mondiale, Europa se afla în ruină şi dezastru economico-social. Ajutorul dat de Statele Unite ale Americii în reconstrucţia statelor europene a fost vital pentru supravieţuirea Occidentului european. În anul 1948, cinci state (Franţa, Marea Britanie, Belgia, Ţările de Jos şi Luxemburg) semnează Tratatul de Cooperare Culturală, Socială, Economică şi Apărare Colectivă, pe scurt Tratatul de la Bruxelles . După numirea generalului Dwight Eisenhower în funcţia de comandant suprem aliat în Europa, acest tratat (...) va deveni parte a documentelor NATO. Nevoia de apărare împotriva ameninţării sovietice se face şi mai vizibilă în propunerea ministrului de externe francez Réne Pléven. Planul Pléven, propus în anul 1952, viza constituirea unei Comunităţii Europene a Apărării, dar şi a unei Comunităţi Politice Europene. Planul nu a fost votat de către Adunare Franceză în anul 1954. Eşecul acestei comunităţi se datorează lipsei de viziune a liderilor europeni. O altă piedică în adoptarea acestui plan a fost teama statelor naţionale de posibila federalizare a Europei. (shrink)

Beall (2016) proposes to read the middle-value of Weak Kleene logic as off-topic. This interpretation has recently drawn some attention: for instance, Francez has pointed out that Beall's interpretation does not meet some important requirements to count as a truth value. Moreover, Beall is silent about what a topic (or a subject matter) is. But arguably, what is a topic? is a crucial question, and an answer is really important to fully understand his proposal. Thus, our goal here is (...) to help to remedy this deficiency, and show how Beall's interpretation of Weak Kleene truth-values interacts with the notion of topic. To do that, we formalize his motivating ideas and draw some consequences from them. (shrink)

Cuprins CONTUR Re-Introducere sau: Dincolo de „teoria şi practica” informării şi documentării – Spre o hermeneutică posibilă şi necesară Proiectul şi Programul PHILOBIBLON( în noua formulare) FOCUS Dana Stana, Omonimia şi paronimia în bibliologie Victoria Frâncu, Profesia de bibliotecar la graniţa dintre spaţiul bibliotecii şi ciberspaţiu Olimpia Curta, Laboratorul de informatică şi profesioniştii săi Ionel Enache, Fundamentele teoretice ale marketingului de bibliotecă Maria Petrescu, Bibliotecile digitale şi impactul lor asupra tinerilor Adriana Szekely, Liana Grigore, Bibliorev – în continuă schimbare István (...) Király V., Proiect în vederea Acreditării ISI al revistei PHILOBIBLON Valeria Salánki, Cultura organizaţională. Propunere de studiu asupra culturii organizaţionale – octombrie 2008 Marian Petcu, Originile faptului divers în presa română Tudor-George Pereverza Expresia bibliografică a Iconografiei eminesciene (Fotografie şi artă plastică, 1939-1989) Vlad A. Codrea, Gabriela-Rodica Morărescu, Forray Erzsébet, Catalogus Raritatum et Benefactorum, un manuscris reprezentativ din perioada de început a Muzeului de Ştiinţele Naturii din Aiud 4 Alin Mihai Gherman, Pornind de la o Bucoavnă necunoscută Roxana Bălăucă, Tipărituri franceze în colecţiile BCU „Lucian Blaga”: secolul al XVIII-lea Maria-Stela Constantinescu-Matiţa, Szabó Károly – bibliotecar, bibliograf şi istoric Roxana Bălăucă, Theodor Aman în Donaţia Sion Margareta Berchez, Îmbogăţirea colecţiilor Bibliotecii Universităţii de Ştiinţe Agricole şi Medicină Veterinară Cluj-Napoca prin schimbul de publicaţii de-a lungul timpului Ioana Rotund, O oază francofonă la Cluj Ilona Okos-Rigó, Biblioteca şi Grădina Botanică Clujeană Gabriela Pop, Institutul de Iudaistică şi Istorie Evreiască „Dr. Moshe Carmilly” şi Biblioteca de Studii Iudaice Mariana Falup, Împrumutul interbibliotecar intern şi internaţional şi livrarea de documente la B.C.U. Cluj-Napoca ORIZONTURI Doru Radosav, Viaţa ca alterego. Petrea Icoanei: travesti şi clandestinitate în mişcarea de rezistenţă anticomunistă Ionuţ Costea, Mitbiografia între propagandă şi memorie Gabriela Morărescu ;Vlad Codrea, Preocupări pentru cunoaşterea şi protecţia naturii în scrierile unui entuziast naturalist al secolului XIX: Basiliu Basiota Alin Mihai Gherman, Vechi lexic bibliotecăresc Raluca Betea, Influenţa artei Renaşterii asupra decoraţiei icoanelor din secolele XVI-XVIII din Transilvania şi Maramureş 5 Monica Mureşan, Căsătoria civilă ca aspect al modernizării societăţii transilvănene la sfârşitul secolului al XIX –lea. – Discurs oficial şi receptare socială reflectate în presa vremii Ancuţa-Lăcrimioara Chiş, Diferenţa şi discriminarea socio-politică a femeii Irina Petraş, Casa, locul vieţii (fragmente) Monica Mureşan Pentru o istorie a morţii în peisajul istoriografic românesc - prezentarea unor contribuţii colective recente: Religiozitate şi atitudini în faţa morţii în spaţiul transilvan din premodernitate până în secolul XX, coord. Mihaela Grancea, 2005 şi Discursuri despre moarte în Transilvania secolelor XVI-XX, coord Mihaela Grancea şi Ana Dumitran, 2006. REFLEXII Olimpia Curta, Reviste electronice. Baze şi perspective de Alice Keller – Recenzie Adrian Grănescu, Arhitectura Clinicilor Universitare din Cluj 1886-1903 Dorina Buia, Itinerar de suflet la Tăul Muced Raluca Soare, De la teoriile ataşamentului la tehnicile de intervenţie în psihoterapie. (Školka Enikő – Teorii explicative, Modele şi Tehnici de intervenţie în psihologie clinică şi psihoterapie) Sidonia Nedeianu Grama, Mitbiografia politică în istoria orală Raluca Soare, Opera bibliothecariorum 1990-2007 – Recenzie Ionuţ Costea, Kovács Mária, A kolozsvári „Lucian Blaga” Központi Egyetemi Könyvtár 19. századi magyar nyelvű kéziratainak katalógusa. Első kötet: történelmi és földrajzi kéziratok/ Catalogul manuscriselor maghiare din secolul al 19-lea din colecţiile Bibliotecii Centrale Universitare „Lucian Blaga” Volumul I: Manuscrise de istorie şi geografie, Editura Argonaut, Cluj-Napoca, 2007, 218 p. – Recenzie 6 Ana Maria Căpâlneanu, Lola Maria Petrescu – Biblioteca şi provocările secolului XXI, Cluj-Napoca: Risoprint, 2007 István Király V, Bibliografia ca instrument al clarificării de sine Kinga Tamás, Viorica Sâncrăian - un coleg şi un bibliotecar de excepţie În colecţia BIBLIOTHECA BIBLIOLOGICA au apărut Revista PHILOBIBLON – Volumele apărute. (shrink)

This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.