Results for 'M. Pra Baldi'

987 found
Order:
  1.  8
    Logics of Left Variable Inclusion and Płonka Sums of Matrices.S. Bonzio, T. Moraschini & M. Pra Baldi - 2020 - Archive for Mathematical Logic (1-2):49-76.
    The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic \. We prove that the description of the algebraic counterpart of the left variable inclusion companion of a given logic \ is related to the construction of Płonka sums of the matrix models of \. This observation allows to obtain a Hilbert-style axiomatization of the logics of left variable inclusion, to describe the structure of their reduced models, and to locate (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  3
    On a Logico-Algebraic Approach to AGM Belief Contraction Theory.D. Fazio & M. Pra Baldi - forthcoming - Journal of Philosophical Logic:1-28.
    In this paper we investigate AGM belief contraction operators by using the tools of algebraic logic. We generalize the notion of contraction to arbitrary finitary propositional logics, and we show how to switch from a syntactic-based approach to a semantic one. This allows to build a solid bridge between the validity of AGM postulates in a propositional logic and specific algebraic properties of its intended algebraic counterpart. Such a connection deserves particular attention when we deal with maxichoice contractions, as studied (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  15
    Algebraic Analysis of Demodalised Analytic Implication.Antonio Ledda, Francesco Paoli & Michele Pra Baldi - 2019 - Journal of Philosophical Logic 48 (6):957-979.
    The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn as a variation on a time-honoured logical system by C.I. Lewis’ student W.T. Parry. The main tenet underlying this logic is that no implication can be valid unless its consequent is “analytically contained” in its antecedent. DAI has been investigated both proof-theoretically and model-theoretically, but no study so far has focussed on DAI from the viewpoint of abstract algebraic logic. We provide several different algebraic semantics for DAI, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  4.  4
    Logics of Variable Inclusion and the Lattice of Consequence Relations.Michele Pra Baldi - 2020 - Journal of Applied Non-Classical Logics 30 (4):367-381.
    In this paper, first, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic ⊢ with a composition term. Then, we investigate their position into the lattice of co...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  7
    Extensions of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - forthcoming - Logic Journal of the IGPL.
    Paraconsistent weak Kleene logic is the $3$-valued logic based on the weak Kleene matrices and with two designated values. In this paper, we investigate the poset of prevarieties of generalized involutive bisemilattices, focussing in particular on the order ideal generated by Α$\textrm{lg} $. Applying to this poset a general result by Alexej Pynko, we prove that, exactly like Priest’s logic of paradox, $\textrm{PWK}$ has only one proper nontrivial extension apart from classical logic: $\textrm{PWK}_{\textrm{E}}\textrm{,}$ PWK logic plus explosion. This $6$-valued logic, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - 2020 - Studia Logica 108 (4):779-802.
    Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  7.  2
    Containment Logics: Algebraic Completeness and Axiomatization.Stefano Bonzio & Michele Pra Baldi - forthcoming - Studia Logica:1-26.
    The paper studies the containment companion of a logic \. This consists of the consequence relation \ which satisfies all the inferences of \, where the variables of the conclusion are contained into those of the set of premises, in case this is not inconsistent. In accordance with the work started in [10], we show that a different generalization of the Płonka sum construction, adapted from algebras to logical matrices, allows to provide a matrix-based semantics for containment logics. In particular, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. A Fourth Version of Girolamo Cardano's' De Libris Propriis'-Introductory Remarks and Edition of the Latin Text.M. Baldi & G. Canziani - 1998 - Rivista di Storia Della Filosofia 53 (4):767-798.
  9.  23
    Amstrong, J., Il potere segreto della bellezza. Una guida al Bello di ogni epoca, Parma, Guanda, 2007. Angelini, E., Le idee e le cose. La teoria della percezione di Descar-tes, Pisa, ETS, 2007. Aristotele, Metaphysics. Book Y, a cura di S. Makin, Oxford, Cla. [REVIEW]M. Baldi, B. Faes De Mottoni, G. Barberis, F. Belfiore, B. Biagiotti, F. Bonicali, F. Bonicalzi, Jaca Milano, A. Brancacci & G. Gigliotti - 2007 - Rivista di Filosofia 98 (3).
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. A Refutation of Spinoza and Pyrrhonism-Ramsay, Andrew, Michael Pathway to Common-Sense.M. Baldi - 1994 - Rivista di Storia Della Filosofia 49 (2):215-261.
     
    Export citation  
     
    Bookmark  
  11. B. Ochino, Laberinti Del Libero Arbitrio.M. Baldi - 2005 - Rivista di Storia Della Filosofia 21 (3):569-573.
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Chevalier Andrew Michael Ramsay," Les Voyages de Cyrus";" Les Principes Philosophiques".M. Baldi - 2004 - Rivista di Storia Della Filosofia 2004 (3):837-839.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  9
    Contribution of the Terahertz Vibrations to the High-Temperature Thermal Conductivity of Vitreous Silica.G. Baldi, E. Fabiani, A. Fontana, V. M. Giordano, G. Monaco, G. Ruocco & F. Sette - 2008 - Philosophical Magazine 88 (33-35):3915-3923.
  14. Events and Publications Honoring the 500th Anniversary of the Birth of Girolamo Cardano.M. Baldi - 2002 - Rivista di Storia Della Filosofia 57 (1):91-93.
    No categories
     
    Export citation  
     
    Bookmark  
  15. Editions and Translations of Philosophical Texts. Experience of Work and Reflections.M. Baldi & B. F. de Mottoni - 2005 - Rivista di Storia Della Filosofia 60 (3):569-573.
     
    Export citation  
     
    Bookmark  
  16. Edizioni e traduzioni di testi filosofici. Cronaca.M. Baldi & B. Faes - 2005 - Rivista di Storia Della Filosofia 2005 (3):569-573.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. F. Tomasoni," Christian Thomasius". Brescia: Editrice Morcelliana, 2005.M. Baldi - 2006 - British Journal for the History of Philosophy 14 (3):531-534.
     
    Export citation  
     
    Bookmark  
  18.  13
    Low-Temperature Phonon Damping in Vitreous Silica Explored by UV Brillouin Spectroscopy.G. Baldi, S. Caponi, A. Fontana, P. Benassi, A. Giugni, M. Nardone & M. Sampoli - 2007 - Philosophical Magazine 87 (3-5):603-612.
  19. Platonism and Scholastic Philosophy in the Theory of the Intelligible World Formulated by John Norris of Bemerton.M. Baldi - 1997 - Rivista di Storia Della Filosofia 52 (3):457-494.
  20. Ramsay, Andrew, Michael, Cyclicity and Progress in Ancient Theology Up to the Beginnings of the Enlightenment.M. Baldi - 1989 - Rivista di Storia Della Filosofia 44 (3):443-476.
    No categories
     
    Export citation  
     
    Bookmark  
  21. Women, Religion and Morality in the'Dictionnaire'of Pierre Bayle.M. Baldi - 1997 - Rivista di Storia Della Filosofia 52 (4):763-784.
     
    Export citation  
     
    Bookmark  
  22.  24
    Essays on dio Chrysostom L. baldi, G. Caiazza, M. di florido, A. Ricciardi, R. scannapieco: Ricerche su dione di prusa (introduzione di P. Volpe E f. ferrari). Pp. 177. Naples: Luciano editore, 2001. Paper, L. 12,480. [REVIEW]M. B. Trapp - 2004 - The Classical Review 54 (01):53-.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  16
    Confutazione di Spinoza e pirronismo. La via al senso comune di A.M. Ramsay.Marialuisa Baldi - 1994 - Rivista di Storia Della Filosofia 49 (2):215.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Economic Regulations and Moral Consciousness (A Lecture Given at the Reale-Istituto-di-Studi-Filosofici in Perugia, May 2, 1943). [REVIEW]M. Dal Pra - 2000 - Rivista di Storia Della Filosofia 55 (4):645-664.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Notes on the Development of My Thought (a Previously Unpublished Essay).M. Dal Pra - 2000 - Rivista di Storia Della Filosofia 55 (4):665-670.
     
    Export citation  
     
    Bookmark  
  26. Dal Pra , La storiografica filosofica antica. [REVIEW]M. Guéroult - 1959 - Revue Philosophique de la France Et de l'Etranger 149:116.
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Storia della filosofia.M. D. Pra - 2001 - Revue de Métaphysique et de Morale 3:130-131.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  28.  3
    The Vibrational Dynamics of GeO2at the Glass Transition: A Raman and Brillouin Scattering Study.F. Rossi, G. Baldi, S. Caponi, R. Dal Maschio, A. Fontana, L. Orsingher & M. Zanatta - 2011 - Philosophical Magazine 91 (13-15):1910-1916.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Mario dal pra, "Hume". [REVIEW]M. T. Antonelli - 1950 - Giornale di Metafisica 5 (5):652.
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. De Methodo, Ed Opuscoli by Giacomo Aconcio, Ed. By G. Radetti Stratagematum Satanae by Giacomo Aconcio, Ed. By G. Radetti La Disputa Delle Arti Nel Quattrocento by G. Baldi, L. Bruni, P. Bracciolini, Etc., Ed. By E. Garin. [REVIEW]M. M. Rossi - 1950 - Mind 59:124.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  18
    AA. VV., Filosofia della medicina. La malattia che si cura da sé, Roma, manifestolibri, 2001. Agazzi, E.–Viesca, C.(a cura di), Le cause della malattia. Un'ana-lisi storica e concettuale, Genova, Erga, 1999. [REVIEW]P. Amodio, Gian Napoli, Rr–Oncina F. Aramayo, M. Baldi, W. Beermann, P. Belpassi, F. Biasutti, N. Boccara, F. Bonichi & D. Breschi - 2002 - Rivista di Filosofia 93 (3).
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  9
    Attitudes Towards and Practice of Sexuality Among University Students in Lebanon.P. Salameh, R. Zeenny, J. Salamé, M. Waked, B. Barbour, N. Zeidan & I. Baldi - 2016 - Journal of Biosocial Science 48 (2):233-248.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Abelard, Peter: 1919--33, Philosophische Schrifien, Ed. Bernhard Geyer, in Beitriige Zur Geschichte der Philosophie Und Theologie des Mittelalters 21, Aschendorff, M/Inster. Abelard, Peter: 1969a, Scritti di Logica, Ed. Mario Dal Pra, Pubblica-Zioni dell'Instituto di Storia Della Filosofia dell'Universit~ T Degli. [REVIEW]Turnholt Brepols - 1992 - Topoi 11:187-190.
     
    Export citation  
     
    Bookmark  
  34.  10
    Coup d'œil sur la philosophie italienne contemporaine: Le «trascendentalismo della prassi» et la philosophie critique de M. Dal Pra.Laura Rizzerio - 1992 - Revue Philosophique De Louvain 90 (88):539-556.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  8
    Non Men Che Saper Dubbiar M'aggrada. Mario Dal Pra E Giancarlo Carabelli Lettori di Hume.Emanuele Ronchetti - 2016 - Rivista di Storia Della Filosofia 71 (4):615-627.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Il permanere della formazione cristiana nel percorso di Dal Pra da Gentile a Preti.E. I. Rambaldi Feldmann - 2005 - Doctor Virtualis 4:51-57.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Il permanere della formazione cristiana nel percorso di Dal Pra da Gentile a Preti.Enrico Isacco Rambaldi Feldmann - 2005 - Doctor Virtualis 4:51-57.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  17
    Scritti di Logica. [REVIEW]M. P. L. - 1971 - Review of Metaphysics 24 (4):739-740.
    Of Peter Abelard's logical writings, the fruit of thirty-five years of his activity as a teacher and dialectician, there have been to date only four editions worthy of note: that of Cousin in 1836, of Geyer in 1919 and 1936, of Dal Pra in 1954, and lastly the critical reconstruction of Abelard's literal glosses by L. M. Rijk in 1956. With this handsome second edition of minor but relevant glosses of Abelard, Dal Pra aims to fill the gap still existing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  5
    De la alienación imitativa a la potencia mimética: Platón y Adorno, Aristóteles y Benjamin.Castor M. M. Bartolomé Ruiz - 2018 - Universitas Philosophica 35 (71):145-173.
    En este ensayo se sostiene la tesis de que la mímesis es una práctica humana atravesada por una condición agonística que la torna paradójica. Las visiones divergentes sobre la mímesis de Platón y Aristóteles, así como las de Adorno y Benjamin son el reflejo filosófico de la tensión agonística de la mímesis humana. Esta tensión no se resuelve en la verdad exclusiva de una de las posiciones, sino que se mantiene como potencia creadora que permite crear disyuntivas históricas.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  61
    Kvaszova filosofie matematiky mezi platonismem a naturalismem.Jaroslav Peregrin - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (1):71-80.
    Ve svém článku Matematika a skúsenosť (2009) předkládá Ladislav Kvasz pohled na matematiku, který je do jisté míry 'pragmatistický' či 'naturalistický' a mně osobně je velmi sympatický. Jenom si myslím, že je škoda, že je naturalistický právě jenom "do jité míry".
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  41.  38
    An Application of Graphical Enumeration to PA.Andreas Weiermann - 2003 - Journal of Symbolic Logic 68 (1):5-16.
    For α less than ε0 let $N\alpha$ be the number of occurrences of ω in the Cantor normal form of α. Further let $\mid n \mid$ denote the binary length of a natural number n, let $\mid n\mid_h$ denote the h-times iterated binary length of n and let inv(n) be the least h such that $\mid n\mid_h \leq 2$ . We show that for any natural number h first order Peano arithmetic, PA, does not prove the following sentence: For all (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42.  22
    Bimodal Logics for Extensions of Arithmetical Theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
    We characterize the bimodal provability logics for certain natural (classes of) pairs of recursively enumerable theories, mostly related to fragments of arithmetic. For example, we shall give axiomatizations, decision procedures, and introduce natural Kripke semantics for the provability logics of (IΔ 0 + EXP, PRA); (PRA, IΣ 1 ); (IΣ m , IΣ n ) for $1 \leq m etc. For the case of finitely axiomatized extensions of theories these results are extended to modal logics with propositional constants.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  11
    On the Difficulty of Writing Out Formal Proofs in Arithmetic.Ryo Kashima & Takeshi Yamaguchi - 1997 - Mathematical Logic Quarterly 43 (3):328-332.
    Let ℸ be the set of Gödel numbers Gn of function symbols f such that PRA ⊢ and let γ be the function such that equation imageWe prove: The r. e. set ℸ is m-complete; the function γ is not primitive recursive in any class of functions {f1, f2, ⃛} so long as each fi has a recursive upper bound. This implies that γ is not primitive recursive in ℸ although it is recursive in ℸ.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  21
    Skeptomai. Il problema dello scetticismo antico in Mario Dal Pra.Mario Dal Pra - 2016 - Rivista di Storia Della Filosofia 71 (4):395-417.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  42
    Predikce Kvaszovy Formální Epistemologie Ve Světle Historické Metody Michela Foucaulta.Markéta Patáková - 2014 - Teorie Vědy / Theory of Science 36 (3):283-308.
    Cílem článku je podat kritický rozbor predikcí týkajících se budoucnosti sociálních věd, jak je formuluje Ladislav Kvasz pod záštitou svého projektu „formální epistemologie". Modelem dynamiky vztahů mezi obory na vědeckém poli nabízí Kvasz v otázce střídání paradigmat alternativu ke Kuhnově teorii vědeckých revolucí. Text zkoumá, na jakých základech je mechanismus změn u Kvasze vystavěn a co z toho plyne pro relevanci předpovědí z tohoto modelu vyvozených - především těch o sociálních vědách. K tomu slouží souběžné představení historické metody Michela Foucaulta, (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46.  42
    Věda Jako „Forma Života“: Kritérium Demarkace Jako Praktický Problém.Libor Benda - 2015 - Teorie Vědy / Theory of Science 37 (4):429-452.
    Larry Laudan v článku z roku 1983 označil problém demarkace, tj. rozlišení „vědy" a „pseudovědy", za filosofický pseudoproblém, kterým není třeba se zabývat, a slova „vědecké" a „pseudovědecké" za prázdné pojmy, které můžeme z našeho slovníku zcela vyškrtnout. V předkládané studii zpochybňuji toto Laudanovo stanovisko a předkládám argumenty ve prospěch tvrzení, že 1) rozlišení vědy a pseudovědy představuje důležitý a aktuální problém, kterým je třeba se zabývat, a že 2) možný způsob řešení tohoto problému nabízejí současná sociální studia vědy. Jejich (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  34
    Je feministická filosofie vědy politicky korektní?Ondřej Beran - 2015 - Teorie Vědy / Theory of Science 37 (1):29-50.
    Článek se zabývá problematickou politické korektnosti ve vztahu k feministické filosofii vědy. Zaměřuje pozornost na užší pojem politické korektnosti - hodnotově motivovanou nekorektní práci s fakty. Konstatuje, že navzdory explicitnímu soustředění feministických autorek a autorů na význam hodnot v projektu vědy nelze chápat feministickou filosofii vědy jako politicky korektní nebo jako vybízení k politicky korektní vědě. Naopak se politicky korektní argumentace v tomto užším smyslu mohou dopouštět i práce vystupující proti feministické či politicky korektní agendě ve vědě.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  52
    Život a Práce Alchymisty V Obrazech.Magda Dostálová - 2015 - Teorie Vědy / Theory of Science 37 (1):51-76.
    Tato studie se zabývá zobrazováním alchymie v malbách, knižních ilustracích i v architektuře v období raného novověku. Na jednotlivých příkladech obrazů či ilustrací prezentuje různé aspekty alchymistova života i jeho práce. Nezabývá se symbolickou alchymickou ikonografií, ale zaměří se především na zobrazování prostředí a vybavení alchymických dílen i osobností samotných alchymistů. Soustředí se zejména na vyobrazení zařízení alchymických laboratorií, s nimiž se lze setkat jak u renesančních malířů, tak v ilustracích alchymických rukopisů a poměrně ojediněle i v české architektuře. Poskytuje (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  45
    Složila Finanční Krize „Labutí Píseň“ Pozitivistické Ekonomii?Lukáš Kovanda - 2014 - Teorie Vědy / Theory of Science 36 (4):421-436.
    V rámci filosofie věd panuje široká shoda na tom, že druhá polovina 20. století složila „labutí píseň" pozitivismu. Milton Friedman a Paul Samuelson, dva klíčoví autoři k metodologii ekonomie v daném časovém období, přitom tento vývoj ve filosofii vědy prý nikdy nereflektovali. Pozitivistická východiska - v prvé řadě v podobě redukcioni- stického přístupu - jsou tudíž stále přítomna ve vlivných teoretických konceptech rozvinutých ekonomy hlavního proudu. Značný počet autorů však v současnosti sdílí náhled, že tyto koncepty v nezanedbatelné míře přispěly (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  44
    Sociologie Jako Cesta Ke Štěstí: Česká Verze.Zdeněk R. Nešpor - 2013 - Teorie Vědy / Theory of Science 35 (4):481-497.
    Zájem současné sociologie a dalších společenských věd o výzkumy spokojenosti a štěstí zatemňuje skutečnost, že původně právě sociologie chtěla „štěstí" poskytovat a nahrazovat tak náboženské přístupy ke světu. Tento implicitně nábo- ženský charakter je patrný i v rané české sociologii v dílech prvních propagátorů sociologie, jako byl především Emanuel Makovička, a později u některých následovníků a epigonů T. G. Masaryka, v meziválečném období zejména u Ladislava Kunteho, R. I. Malého, Alexandra Sommera-Batěka, Jindřicha Fleischnera a Jana Duška. Z hlediska vývoje české (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 987