Deberes de solidaridad y posición de garante: examen del problema en la legítima defensa

La legítima defensa, com a causa de justificació que permet l’ús de la violència entre individus per la defensa de la pròpia vida i béns, és el reflex de la conceptualització filosòfica de la societat i dels principis en el cuals es funda. Partint de la premissa que la societat és una exigència natural dels individus, els principis que s'adeqüen a ella, així com a una correcta fonamentació de la legítima defensa, són els de responsabilitat i solidaritat. El primer com a contrapartida de la llibertat individual per a organitzar la pròpia esfera, el segon com a conseqüència dels vincles que existeixen entre els individus i que fan possible l'existència objectiva de la comunitat. Ambdós principis fonamenten, ordenen i limiten els conflictes propis de la legítima defensa. La seva estructura típica és la d'un subjecte que agredeix il•legítimament a un altre, originant-se per a aquest últim un dret a la defensa que, d'una banda, està limitada per deures de solidaritat i, per una altra, ha de ser tolerada per l'agressor en la mesura de la seva responsabilitat. Les variacions en aquesta estructura tenen el seu origen en raons institucionals, com és la pertinença a un vincle familiar, i també a raons organitzatives, per la qual s'imposa un deure de respondre per la pròpia conducta quan es lesionen interessos aliens. Partint d'aquest esquema, la mesura que cadascun dels subjectes pot actuar en la defensa dels seus interessos ve determinada per la confluència relativa dels següents factors: en primer lloc, el grau de responsabilitat de l'agressor (tipus subjectiu/culpabilitat) pel conflicte li imposa diferents nivells de tolerància respecte a l'acció defensiva, al mateix temps que influïx en el tipus de solidaritat (mínima o reforçada) que se li exigeix a l'agredit en l'exercici de la seva defensa; d'altra banda, l'existència de deures de solidaritat reforçats o posicions de garantia amb rellevància en el conflicte introduïx noves conseqüències en l'estructura. Per tant, les diferents tipologies del conflicte defensiu es solucionen mitjançant l'aplicació d'ambdós principis i amb la següent lògica: a major responsabilitat de l'agressor pel conflicte, menor serà la solidaritat exigida a l'agredit en la defensa dels seus interessos. L'objectiu és, en definitiva, garantir la defensa dels béns atacats al mateix temps que es tracta de retornar a la situació conforme a dret a uns subjectes que, excepcionalment, resolen un conflicte jurídic mitjançant la violència privada.

Un aspecte semàntic dels termes generals : la rigidesa

L'objectiu de la recerca és determinar quina és la noció de rigidesa més adient per als termes generals. Els termes generals són els que, per oposició als termes singulars, es poden aplicar a més d'un individu o exemplar, com per exemple 'tigre', 'aigua', 'bolígraf'. Des de Kripke es considera que alguns termes singulars, com els noms propis, són rígids. Un terme singular és rígid quan designa el mateix individu o objecte en tot món possible. Així 'Sòcrates' és un terme rígid perquè designa el mateix individu, Sòcrates, en tota circumstància contrafàctica. Kripke va proposar que alguns termes generals, com els termes de gènere natural, tals com 'aigua', 'calor' o 'tigre' també són rígids, però no va donar cap formulació precisa de la rigidesa per a termes generals. Des de llavors s'han proposat bàsicament dues concepcions de la rigidesa per a aquests termes: la que els considera designadors rígids i la que els considera aplicadors rígids. L'anàlisi de les dues concepcions pretén determinar quina és la millor comprensió de la rigidesa per a aquests termes, resultant la concepció dels aplicadors rígids indesitjable fonamentalment pels seus compromisos metafísics i allunyats de la semàntica.

L'aprenentatge basat en problemes (PBL) en la regulació del metabolisme. Desenvolupament del portal per a l'intercanvi d'experiències en PBL en ciències biomèdiques

L’aprenentatge basat en problemes està en fase experimental en tot el món i és objecte d’anàlisi i reflexió en moltes reunions internacionals. Tanmateix, no hi ha massa feina feta en aquesta direcció en el nostre camp més proper. Hem elaborat problemes per l’aprenentatge de la Regulació del Metabolisme i els hem incorporat a un porta virtual (http://www.ub.edu/GID-BBM). La finalitat d’aquesta estratègia és que mitjançant l’aprenentatge basat en problemes reals o simulacions de problemes reals s’aconsegueixi motivar l’alumnat a treballar de forma continuada durant tot el curs. La millora dels resultats acadèmics haurà de ser la conseqüència lògica d’aquest treball. La finalitat última del projecte que hem desenvolupat és preparar l’alumnat per la seva futura activitat professional a on serà molt important i valorat la seva capacitat de resposta davant de diferents problemes

L'aprenentatge basat en problemes en models híbrids de docència-aprenentatge

La Facultat de Ciències de la Salut i de la Vida ha utilitzat des de 2004 la metodologia d'aprenentatge basat en problemes (en endavant ABP) com a mètode docent en els seus estudis de Biologia. En aquest període hem après algunes de les claus de l'aplicació del mètode en els nostres estudis. En primer lloc, cal disposar d'elements formatius que afavoreixin la formació dels tutors que participin en el projecte. Per assolir aquest objectiu hem dissenyat un portal on els nostres professors poden disposar de materials útils per a la seva activitat, així com de documents que permetin entendre millor el que suposa l'ABP. En segon lloc, el projecte tenia l'objectiu de dissenyar i avaluar activitats que permetessin integrar les pràctiques de laboratori en la lògica de la resolució de problemes pròpia de l'ABP. En aquest sentit vam dissenyar dues activitats en el tercer curs de la llicenciatura que anomenaren aprenentatge basat en el laboratori (ABL). Per aquest motiu es van dissenyar problemes que tinguessin una primera part de resolució a l'aula en grup de tutoria i una segona que obligués els estudiants a realitzar experiments de laboratori dirigits a entendre i resoldre les qüestions plantejades al grup de tutoria. L'ABL-1 fou un projecte de biologia cel·lular i destinat a aprofundir en els mecanismes implicats en els fenòmens de diferenciació dels miòcits. L'ABL-2 era un projecte conjunt dels professors de Fisiologia vegetal, Bioestadística i Microbiologia. En aquest cas es desitjava que els estudiants plantegessin la resolució a un problema que suposava la manipulació genètica de cèl·lules vegetals per fer possible que produïssin una substància específica, l'escopolamina. Finalment els estudiants havien d'escriure un article original com a projecte final de cada ABL. Els resultats dels dos anys d'experimentació han esta altament satisfactoris, d'acord amb les enquestes completades per alumnes i professors.

Les communautés bulu contre la plantation industrielle HEVECAM au Cameroun

In 1975 the Kribi region (Southern Cameroon) became host of the rubber plantation HEVECAM, the third largest employer in Cameroon. The establishment of the plantation has been preceded by the expropriation of customary land and by the destruction of the rainforest used by local populations. As a result, conflicts – mostly latent – pitting neighbouring Bulu communities against the plantation have occurred, especially during the last few years. Drawing on fieldwork data as well as on anthropological, economic and historical materials, I try to explore a new way of looking at such environmental conflicts by arguing that they reflect the struggle between two distinct institutional logics with different impacts on the environment, i.e. the logic of property versus the one of possession. In short, the logic of possession corresponds to a multi-functional community-based forest management, while the logic of property gave birth to the commercial monoculture model, the highest stage of the transformation of an ecosystem in order to match the requirements of property. It is argued that the conflict between the logic of possession and the logic of property is at the heart of many cases of “environmentalisms of the poor” that arise in reaction to “development”.

Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

On absoluteness of categoricity in abstract elementary classes

"Vegeu el resum a l'inici del document del fitxer adjunt"

Isomorphism relations on computable structures

"Vegeu el resum a l'inici del document del fitxer adjunt"

Generalized descriptive set theory and classification theory

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

Potential isomorphism of elementary substructures of a strictly stable homogeneous model

"Vegeu el resum a l'inici del document del fitxer adjunt."

Strong isomorphism reductions in complexity theory

We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in both classes. Furthermore, in a more general setting we address the question of the existence of a maximal element in the partial ordering of the degrees.

The non-absoluteness of model existence in uncountable cardinals for Lw1,w

"Vegeu el resum a l'inici del document del fitxer adjunt"

On Borel equivalence relations in generalized Baire space

"Vegeu el resum a l'inici del document del fitxer adjunt."

Registre d'entrades i eixides per a l'administració pública

Aquesta memòria representa la definició del meu projecte final de carrera amb una aplicació destinada al registre d'entrades i eixides de l'Administració pública. He emprat eines de plataformes lliures i obertes per al desenvolupament del projecte, amb tecnologia J2EE. A més, hi ha l'objectiu de fer servir i provar arquitectures d'última generació com Enterprise JavaBeans Preview_2 (EJB) 3.0 (5/11/04) per a la lògica de negoci, Hibernate 3.0 alpha (actualment hi ha la beta 1.0 publicada el 20/12/04) com a