6 research outputs found
Sobre disjunções, confluências e o centro de gravidade da lógica filosófica
No dizer de Burgess [B2009], o centro de gravidade da Lógica Filosófica é, hoje em dia, a área científica que, em Inglês, se designa por Theoretical Computer Science. Não sei bem como traduzir esta designação, mas, se assim é, a área científica assim designada parece ser relevante num painel sobre Matemática e Ciências da Computação, integrado num colóquio sobre as disjunções e confluências entre Humanidades e Ciências. O pequeno trabalho técnico sobre o qual vou aqui escrever pertence à Teoria da Demonstração – pertence, portanto, a um dos compartimentos principais da Lógica Matemática, dos mais próximos da Theoretical Computer Science; e é relativo às distinções entre lógicas clássicas e não-clássicas – ora o estudo das lógicas não-clássicas é outra definição da Lógica Filosófica.
O referido trabalho técnico ocupa a segunda parte deste artigo e debruça-se (curiosamente) sobre a operação lógica de disjunção, no contexto da lógica clássica. O objectivo do exercício não é tanto o de publicitar o resultado final, mas antes o de ilustrar como, através de exercícios técnicos deste género, que constituem o dia-a-dia de alguns lógicos, se tocam indirectamente questões que talvez possam ser do interesse de alguns colegas das Humanidades. Esta tentativa de confluência ocupará a terceira parte deste artigo.
Depois de explicitado o objectivo do artigo, é evidente qual será o seu tom: o cientista tentará, numa linguagem que não é a sua, falar ao humanista em problemas estranhos a este, sem perder a esperança de ser transparente. A ver vamos.Fundação para a Ciência e a Tecnologia (FCT
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions in normal form have the subformula property
Advances in Proof-Theoretic Semantics
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Language
As humanidades e as ciências: disjunções e confluências
The present volume offers a selection of the essays presented at the XV
Colóquio de Outono organized by the research unit Centro de Estudos Humanísticos
(Universidade do Minho) in November 2013, under the global topic
Humanities and Sciences: Disjunctions and Confluences.
It has been the main objective of CEHUM, throughout the various Autumn
Colloquia organized since 1998, to listen carefully to the “noise of the world”
and attempt a global interpretation of the signs of the times issuing from the
world around us, as vibrant echoes of many social and cultural pressing issues.
This volume gathers the majority of the texts presented in the XV Colóquio de
Outono, which the authors generously submitted for publication, and which
will certainly testify of the important debate around the vast topic proposed
for this year’s analysis and discussion. We hope that this new volume may give
evidence of our concern, as a Research Centre within the Humanities which
operates in a transdisciplinary structure, of the crucial role played by the
Humanities in today’s world and the benefits of engaging in this challenging
multidisciplinary dialogue. Throughout the three days of this XV Colóquio
de Outono we had the privilege to listen to and debate the propositions of a
vast number of national and international specialists in the manifold fields of
inquiry here represented, engaging keynote speakers, project advisors, members
of the different research teams and external researchers attached to the
various research projects currently running in CEHUM in the fields of lit-
erature, linguistics, philosophy, ethics, visual arts, cultural studies, music and
performance. Our objective in this Colloquium was that each specific field of
studies here represented never performed per se, but rather substantiated at
a crossroads of disciplines, across borders, gaining form within the dialogue
with researchers operating in a wide variety of fields, from Computer Science
to Mathematics, Medicine and Psychology, Bioarts, Ecology and Ethics. For
we believe that the Humanities is a plural territory which only achieves its
maximum potential when engaging in a solid and permanent dialogue with
other fields of research. Hence, it was not the disjunction between Humanities
and Sciences we aimed to highlight throughout this Colloquium, but
rather the confluence of research methods, queries, critical reflection and
problematization pertaining both to Humanities and Sciences, despite the
necessary expertise that identifies each field and the specificity of its target
objects of research.
For these lively and thought-provoking three days of the conference we
wish to thank each and every one of the colleagues present, our distinct guests,
as well as the research members of CEHUM, who so enthusiastically joined in
the debate on the proposed topics of analysis. Special thanks to the Board of
Directors and the research team leaders of CEHUM for the precious help provided
towards the organization and the setting up of this international event.
Last but not least, we wish to thank the Instituto de Letras e Ciências Humanas,
as well as the research assistants and staff of CEHUM for all the precious logistic
support.
Finally, our gratitude to our main sponsor, Fundação para a Ciênca e a Tecnologia
(FCT), for encouraging and financially supporting this yearly event and
the present publication.Fundação para a Ciência e a Tecnologia, UE, COMPETE, QRE