Nel corso degli ultimi anni si è assistito ad un ampio dibattito sull’uso della valutazione della ricerca nelle università e nelle strutture di ricerca. Nell’ambito di tale dibattito, nella presente tesi, vengono analizzate le più importanti metodologie per la valutazione della ricerca presenti a livello internazionale, i principali strumenti qualitativi di valutazione della ricerca (in particolare la peer review), gli strumenti quantitativi, quali la bibliometria, e le caratteristiche dei più importanti archivi bibliografici citazionali (es. Scopus, Web of Science), approfondendo i principali indicatori citazionali utilizzati nelle scienze umane e sociali (es. Indice H). Inoltre la tesi affronta il tema dell’impatto socio-economico della ricerca e le principali criticità di questo innovativo strumento, attraverso uno studio di caso realizzato nel Regno Unito. Una successiva analisi empirica riguarda le principali liste di riviste realizzate a livello internazionale e nazionale, nel settore scientifico di Storia e Filosofia della scienza. I risultati degli studi mostrano che le liste internazionali di riviste possono rappresentare, un punto di partenza a cui devono necessariamente essere affiancati altri strumenti di valutazione (peer review, analisi citazionali, etc); mentre le liste nazionali rischiano, invece, di essere uno strumento poco utile ed in alcuni casi inadeguato al fine di una corretta valutazione della ricerca, a causa della scarsa internazionalizzazione dei repertori e dei giudizi generalmente troppo elevati attribuiti alle riviste. Un ulteriore risultato raggiunto nella presente tesi riguarda la valutazione della ricerca nelle diverse discipline scientifiche: nelle Scienze umane e sociali risulta esserci uno scarso grado di presenza di pubblicazioni scientifiche nei principali archivi bibliografici e citazionali internazionali. Questa situazione limita fortemente l’attendibilità delle analisi statistiche basate su indici e indicatori quantitativi, per valutare la produttività scientifica di un ricercatore, oppure di una istituzione di ricerca. / Over the last few years there has been an extensive debate on the use of evaluation of research in universities and research facilities. As part of this debate, in this thesis, we analyze the most important methods for the assessment of research on an international level, the main qualitative tools for the evaluation of research, in particular the peer review, and quantitative tools, such as bibliometrics, and the characteristics of the main bibliographic archives (eg, Scopus, Web of Science), deepening the main indicators used in human and social sciences (eg H Index). In addition, the thesis is connected with the socio-economic impact of research and the main problems of this innovative tool, through a case study conducted in the United Kingdom. A subsequent empirical analysis covers the main lists of journals at international and national levels, in the scientific field of History and Philosophy of Science. The results of the studies show that the lists of international journals can be, a starting point which must necessarily be joined by other instruments of assessment (peer review, citation analysis, etc.), while the national lists, however, can’t be an instrument, which is in some cases inadequate in order to a proper evaluation of the research, due to the low internationalization of repertoires and judgments generally too high attributed to the journals. A further result is that the evaluation of research in different scientific disciplines shows that in the humanities and social sciences there is a low presence of scientific publications in major international citation and bibliographic databases (Web of Science, Scopus). This situation limits the reliability of the statistical analysis based on indices and quantitative indicators (first Impact Factor and Index H), to evaluate the scientific productivity of a researcher or an institution research.

We introduce labelled sequent calculi for indexed modal logics. We prove that the structural rules of weakening and contraction are height-preserving admissible, that all rules are invertible, and that cut is admissible. Then we prove that each calculus introduced is sound and complete with respect to the appropriate class of transition frames.

Proefschrift Universiteit van Amsterdam. / Auteursnaam op omslag: Jaap Kamps. Met index, lit. opg. - Met samenvatting in het Nederlands.

Proefschrift Rijksuniversiteit Limburg, Maastricht. / Met index, lit. opg. - Met samenvatting in het Nederlands.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T22:17:08Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T18:33:48Z : No. of bitstreams: 1 174263.pdf: 2439492 bytes, checksum: 51f63bd8ee75c3b2ed541e3404bb97c4 (MD5)

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. / Made available in DSpace on 2012-10-17T04:38:35Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T00:45:51Z : No. of bitstreams: 1 143908.pdf: 1998221 bytes, checksum: ddaab0728daedc3c80fa028949549193 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-23T06:44:37Z (GMT). No. of bitstreams: 1 247160.pdf: 935971 bytes, checksum: 3be79a9c89f8cf419503feef85d5261e (MD5) / Descritores são operadores que formam termos a partir de variáveis e fórmulas de sistemas lógicos. Diversas teorias introduzem descritores para representar, em linguagens formais, o artigo definido (o/a) e o artigo indefinido (um/uma) das linguagens naturais. Entretanto, as abordagens mais conhecidas não oferecem um tratamento para termos ambíguos. A lógica LAR (Logic of Ambiguous Reference), originalmente apresentada em Buchsbaum(2002), foi proposta para representar adequadamente estas situações, bastante comuns na matemática e na linguagem cotidiana. LAR apresenta um modo diferenciado de tratar descrições, através da associação de cada termo a uma coleção de objetos do universo de discurso, em oposição às semânticas usuais, as quais associam cada termo a um único objeto. Dessa forma, pode-se tratar uniformemente descrições unívocas, vácuas ou ambíguas. Outra característica de destaque é o conceito de abrangência, o qual opera como uma igualdade unidirecional. Essas duas características, descrição e abrangência, permitem uma representação de conhecimento mais próxima da prática lingüística usual. Este trabalho apresenta um detalhamento de LAR, incluindo provas dos resultados originais e algumas correções, além da apresentação de diversos exemplos. Por fim, LAR é comparada às lógicas descritivas de Bertrand Russell, de John Barkley Rosser e de David Hilbert.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, FLorianópolis, 2008. / Made available in DSpace on 2012-10-23T16:35:48Z (GMT). No. of bitstreams: 1 267021.pdf: 710904 bytes, checksum: 21a75fdda0199a672dc41329a3ddc9aa (MD5) / Esta dissertacao tem como objetivo principal a apresentacao e discussao dos problemas apontados por Gettier em relacao a concepcao classica do conhecimento como crenca verdadeira e justificada. Gettier apresenta em seu artigos justified true belief knowledge?. dois casos onde o sujeito do conhecimento possui uma crenca verdadeira e justificada, mas nao possui conhecimento em relacao a mesma, colocando assim a nocao tradicional de conhecimento em xeque. O artigo de Gettier provocou uma grande discussao na filosofia contemporanea principalmente sobre as nocoes de conhecimento e justificacao. Parte desta discussao e abordada nesta dissertacao ao apresentarmos possiveis solucoes aos problemas de Gettier e ao considerarmos quais principios epistemicos devem ser aceitos como legitimos no ambito da logica epistemica. Pretendo com este trabalho apresentar uma concepcao do conhecimento humano que evite os problemas apresentados por Gettier. Para que a concepcao de conhecimento supere os problemas que sao sugeridos pelos exemplos de Gettier, basear-me-ei nas ideias de Russell e Goldman sobre o tema. Russell apresenta uma forma de solucionar tais problemas aceitando a existencia de um conjunto fundamental de conhecimentos a partir do qual, por meio de inferencias, estariamos justificados em acreditar em outras proposicoes que seriam, entao, novos casos de conhecimento, ja Goldman defende que para que uma crenca seja considerada justificada a mesma tenha que ser produzida por um processo de producao de crencas confiavel. Mas tais conhecimentos fundamentais sao reais? Podemos estar totalmente seguros que sao de fato conhecimentos e nao meras crencas? As bases de nossos conhecimentos sao infaliveis? A resposta dos ceticos e dizer que nao, nao podemos ter conhecimentos genuinos a cerca do mundo ou do que quer que seja. Mas entao, o que sao aquelas coisas que dizemos ser conhecimentos? Tratarei neste trabalho do conhecimento humano. Nao do conhecimento do mundo como ele e, pois nao temos um acesso direto ao mundo, mas do conhecimento humano relativo a um contexto. Buscarei apresentar uma teoria que determine sob quais condicoes as pessoas tem conhecimento em um determinado contexto. Nao pretendo que a concepcao de conhecimento aqui apresentada represente o conhecimento que de fato corresponde ao mundo, o que Russell desejava alcancar com sua nocao de conhecimento apresentada em seu livro Os Problemas da Filosofia. Pretendo sim, esbocar uma nocao de conhecimento que capture a estrutura por tras da concepcao de conhecimento como crenca verdadeira e justificada de Russell, utilizando a ideia dos Fundacionalistas de que existe um conjunto de conhecimentos basicos e o que a partir deste conjunto puder ser inferido tambem possa ser considerado conhecimento, sendo que, o conjunto basico de conhecimentos possa diferir conforme o contexto epistemico, isto e, conforme o que e aceito em um contexto como podendo ser diretamente conhecido. O contexto epistemico, ao qual me refiro, determina o que e aceito por um individuo ou comunidade de individuos como sendo diretamente justificavel, e o que e tomado como sendo regras de inferencias aceitaveis pelo mesmo, portanto, determina o que e conhecimento. / The aim of this dissertation is to present and discuss the problems pointed out by Gettier in relation to the classical definition of knowledge as justified true belief. Gettier presents in his paper #\Is justified true belief knowledge?. two cases where the subject of knowledge has justified true belief, but doesn#et have knowledge putting therefore, the traditional knowledge notion in check. Gettier#es paper provoked a great discussion in contemporary philosophy, mostly about the notions of knowledge and justification. This dissertation deals with a part of this discussion, presents possible solutions to Gettier#es problems and consider which epistemic principles should be accepted in the scope of epistemic logic. This work intends to present a conception of human knowledge that avoids Gettier#es problems. In order to overcome the problems raised by Gettier#es examples, this conception of knowledge will be based on Russell and Goldman#Ls ideas about the subject. Russell presents a way to solve these problems by accepting the existence of a fundamental set of known propositions, from which, by means of inferences, we should be justified in believing other propositions (which would be then new instances of knowledge). Goldman defends that, in order for a belief to be considered justified, it has to be produced by a reliable process. But, do those fundamental known propositions constitute real knowledge? Can we be totally sure that they in fact are knowledge and not mere beliefs? Are the bases of our knowledge infallible? The sceptic#es answer is no, we cannot have authentic knowledge about the world or anything else. But if this is so, what are those things that we say to be knowledge? This work deals with human knowledge; not the knowledge of the world as it is, because we don#et have direct access to the world, but it deals with the human knowledge in relation to a context. I present a theory to establishing under which conditions people get knowledge in a specific context. I don#et intend this knowledge conception here presented to represent knowledge that in fact corresponds to the world, which is what Russell desired to obtain with his notion of knowledge presented in his book The Problems of Philosophy. I intend to outline a notion of knowledge that captures the structure behind the Russell#es conception of knowledge as justified true belief, using the foundationalist idea that there is a basic set of knowledge and whatever we could infer from this set of knowledge will be consider knowledge too. However, the basic set of knowledge may differ according the epistemic context, for example, according to which is accepted in a context as being directly known. The epistemic context, to which I refer, establishes what is accepted by an individual, or a community of individuals, as being directly justifiable. That which is considered by them to be reliable inference rules, therefore, determines what is knowledge.

A escolha do sistema de terminação de suínos e controle de dejetos, que melhor contemple os valores sociais atuais, implica considerar, simultaneamente, pelo menos dois aspectos disciplinarmente distintos - o econômico e o ambiental - o que eleva a complexidade da escolha. Conjuntos fuzzy, por traduzir ordenadamente a percepção expressa pela linguagem, o entendimento relevante porém impreciso da realidade, é uma ferramenta conveniente para o estudo desta situação, a respeito da qual diversos especialistas possuem apreciável conhecimento parcial. Analisa-se o custo de produção de terminadores de suínos da encosta do Vale do Caí, utilizando-se conjuntos fuzzy para identificar causas necessárias e/ou suficientes para o alcance de um baixo custo de produção. Posteriormente, é apresentado um modelo fuzzy para a combinação dos custos de produção com as percepções de suinocultores e de agrônomos quanto ao impacto ambiental da suinocultura.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas. Programa de Pós-graduação em Matemática e Computação Científica / Made available in DSpace on 2013-07-16T03:17:28Z (GMT). No. of bitstreams: 1 249345.pdf: 549746 bytes, checksum: 80707003881d2f9985fa1dcb815b3918 (MD5) / Seja K um corpo algebricamente fechado. Dizemos que um subconjunto de Kn, onde n é um número natural positivo, é construtível se for uma combinação booleana de conjuntos Zariski fechados. Na teoria dos modelos, um subconjunto de Kn é dito ser definível se todos os elementos desse conjunto, e somente estes, satisfizerem uma determinada propriedade definida por uma fórmula da linguagem de primeira ordem dos anéis. Um dos nossos principais objetivos será mostrar, na teoria dos corpos algebricamente fechados, a equivalência entre os conjuntos construtíveis e os conjuntos definíveis. Como conseqüência disso vamos demonstrar alguns resultados algébricos, como o Nullstellensatz de Hilbert, utilizando técnicas da teoria dos modelos.