Switch to: References

Citations of:

Logic and formal ontology

Manuscrito 23 (2):275-323 (2000)

Add citations

You must login to add citations.
  1. Truthmakers, Truthbearers and the Objectivity of Truth.Artur Rojszczak & Barry Smith - 2003 - In Jaako Hintikka (ed.), Philosophy and Logic: In Search of the Polish Tradition. Kluwer Academic Publishers. pp. 229-268.
    The aim of this paper is to show that the account of objective truth taken for granted by logicians at least since the publication in 1933 of Tarski’s “The Concept of Truth in Formalized Languages” arose out of a tradition of philosophical thinking initiated by Bolzano and Brentano. The paper shows more specifically that certain investigations of states of affairs and other objectual correlates of judging acts, investigations carried out by Austrian and Polish philosophers around the turn of the century, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Basic concepts of formal ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity and contact. These (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (1 other version)Towards a History of Speech Act Theory.Barry Smith - 1990 - In Armin Burkhardt (ed.), Speech acts, meaning, and intentions: critical approaches to the philosophy of John R. Searle. New York: W. de Gruyter. pp. 29--61.
    That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of language which (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Austrian Philosophy: The Legacy of Franz Brentano.Barry Smith - 1994 - Chicago: Open Court.
    This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...)
    Download  
     
    Export citation  
     
    Bookmark   114 citations  
  • Publications by Barry Smith.Barry Smith - 2017 - Cosmos + Taxis 4 (4):67-104.
    Download  
     
    Export citation  
     
    Bookmark  
  • Barry Smith an sich.Gerald J. Erion & Gloria Zúñiga Y. Postigo (eds.) - 2017 - Cosmos + Taxis.
    Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Toward a Phenomenological Epistemology of Mathematical Logic.Manuel Gustavo Isaac - 2018 - Synthèse: An International Journal for Epistemology, Methodology and Philosophy of Science 195 (2):863-874.
    This paper deals with Husserl’s idea of pure logic as it is coined in the Logical Investigations. First, it exposes the formation of pure logic around a conception of completeness ; then, it presents intentionality as the keystone of such a structuring ; and finally, it provides a systematic reconstruction of pure logic from the semiotic standpoint of intentionality. In this way, it establishes Husserlian pure logic as a phenomenological epistemology of mathematical logic.
    Download  
     
    Export citation  
     
    Bookmark