Uso de softwares para o gerenciamento de bibliotecas: um estudo de caso da migração do sistema Aleph para o sistema Pergamum na Universidade de Santa Cruz do Sul

Apresenta um dos primeiros processos de migração ocorrido entre os principais softwares pagos disponíveis atualmente no mercado brasileiro. Estão descritas as etapas da conversão do sistema Aleph para o sistema Pergamum, bem como as principais dificuldades enfrentadas e as soluções encontradas. O processo de transferência ora apresentado mostra-se um case que poderá servir como base para futuras conversões.

Implementação do Banco de Dados DEDALUS, do Sistema Integrado de Bibliotecas da Universidade de São Paulo

Apresenta a experiência do SIBi/USP no desenvolvimento do seu Projeto de Modernização, com ênfase na automação de acervos e serviços, para concretizar a interconectividade com outras instituições, ampliando a abrangência de acesso à informação e otimizando o atendimento das demandas dos usuários. A base principal do trabalho é o aperfeiçoamento da qualidade do seu Banco de Dados Bibliográficos DEDALUS, com a instalação de software de funções integradas (Aleph) e de equipamentos adequados ao seu funcionamento, permitindo, assim, a expansão do formato de intercâmbio (MARC) e a conversão retrospectiva dos registros armazenados no Banco. São incluídos tópicos de gerenciamento do Sistema relativos à manutenção de coleções, à capacitação de recursos humanos, ao trabalho cooperativo e compartilhado, preparando-o para atender as exigências atuais de acesso e intercâmbio da informação, dentro das normas técnicas e políticas tecnológicas internacionais vigentes.

THE FORMAL AND THE FORMALIZED: THE CASES OF SYLLOGISTIC AND SUPPOSITION THEORY

As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied (i.e. theories of formalization). Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments (i.e. the second sub-project). In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize.