1000 resultados para Lògica de primer ordre
Resumo:
This paper has three sections. In the first one, I expose and discuss Davidson's semantic account of adverbial sentences: the basic idea is that these sentences involve quantification over events, and I defend that view from opposing perspectives like the theory of adverbs as predicate modifiers. In the second section I defend the claim that in english constructions following the scheme: ¿X did V by T-ings¿, we are referring to the same action of X; what is sometimes called ¿The Anscombe Thesis¿. Again I discuss competing theories only to conclude that the Anscombe Thesis is true. In the third section, however, it is shown that to assume as premisses these two theses -Davidson's account and the Anscombe Thesis- leads to a serious conflict. Alternative solutions are worked out and rejected. It is also argued that the only tenable solution depends on certain metaphysical assumptions. Finally, however, I will cast doubt on this solution.
Resumo:
Este articulo pretende mostrar los avances e investigaciones màs recientes sobre el estudio del entorno en la formación del oído humano, entendiéndolo como una primera configuración pre-musical. Un breve repaso a los textos sagrados y míticos de los más variados tiempos y lugares nos permitirá reflexionar acerca de la enorme importancia del sonido en nuestra educación, tanto en el ámbito físico como emocional e intelectual. Se da un repaso a los efectos más clásicos del sonido sobre el cuerpo y la mente, a fin de entender la importancia de tomar conciencia de nuestro paisaje sonoro cotidiano. Posteriormente se explicita la evolución del oído humano en crecimiento del niño hasta llegar a la educación musical, haciendo especial hincapié en las relaciones entre la música y el lenguaje a partir de la audición y los primeros pasos en el aprendizaje del habla.
Resumo:
Resumen de la revista
Resumo:
Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.
Resumo:
Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.
Resumo:
La intrusió de les plantes exòtiques invasores en els espais naturals protegits de Catalunya s’ha convertit en un problema de primer ordre. En alguns d’aquests espais fa temps que s’han començat a gestionar aquestes espècies exòtiques. No és el cas del PNAP, que degut a la seva recent creació, encara no ha pogut tractar a fons aquesta problemàtica. Per tant, amb el present estudi s’ha treballat en conèixer la distribució d’aquetes espècies en el Parc i en crear una base de referència. La major part de les plantes trobades estan situades en llocs on la pressió humana es molt forta. Un cop establertes prop de les àrees més antropitzades, aquestes espècies es disseminen pel territori aprofitant-se de les zones degradades per establir-se. Per aquesta raó, també es proposen les mesures d’actuació més adients per a gestionar aquestes espècies en el territori de l’Alt Pirineu, prenent com a referent les actuacions que es duen a terme avui arreu del món.
Resumo:
Malgrat que el debat de l’Estat del Benestar està en el bell mig de l’actualitat política i econòmica des de fa uns quants anys amb graus ben diversos i aproximacions diferents, la darrera gran crisi ha disparat com mai la seva actualitat. Fins el present moment, amb algunes notables excepcions, totes les tendències han conduit a desenvolupar l’Estat del Benestar fins a extrems insostenibles. Això té explicacions múltiples i variades com les que s’aborden al llarg del present text. Aquestes tendències tenen una dinàmica econòmica i social pròpia que s’ha constatat amb força durant els darrers anys. Fa unes dues dècades que aquest debat va ser encetat amb profunditat per pocs països, però amb conclusions estimulants. Suècia és l’exemple més reeixit. La reforma duta a terme en el país nòrdics és una referència de primer ordre per molts estudiosos del tema i hauria de ser font d’inspiració per a la resta de països. Seguidament, hem volgut descriure, de forma complementària i des d’una perspectiva econòmica i jurídica, un fenomen estrictament lligat al desenvolupament imparable de l’Estat del Benestar, el de la burocratització. La reflexió d’acadèmics d’escoles en diferents i, en particular, els de la Public Choice proporcionen una visió rica i complexa, que entenem fonamental per avaluar els problemes que se’n deriven. Finalment, dins el marc de la Hisenda Pública i entrant en l’estudi concret del cas català, hem volgut endinsar-nos en l’anàlisi del pressupost. Essent com és una eina indispensable per avaluar el conjunt de polítiques econòmiques i socials d’un país. Aquesta anàlisi es duu a terme des d’una doble perspectiva: la primera, mitjançant un estudi comparatiu de l’evolució del Pressupost de la Generalitat dels darrers anys i, en segon terme, el canvi que el Pressupost 2011 materialitza aquest any, prefigura el de l’any 2012 i les principals crítiques de l’oposició. Queden oberts els camins envers els possibles canvis. De fet, res està definitivament escrit, però la pretensió d’aquest treball és modesta i, alhora, clara. Sense embuts, si volem mantenir un grau de benestar sostenible, és fonamental deixar de banda l’actual concepció de l’Estat del Benestar i començar a treballar per implementar els profunds canvis necessaris que donin pas a l’únic model que, a parer nostre, aconseguirà que això sigui possible: la Societat del Benestar. Una concepció actual del paper que ha de tenir l’Estat, de caràcter liberal i, alhora, social.
Resumo:
En aquest treball s'analitza la contribució estèrica de les molècules a les seves propietats químiques i físiques, mitjançant l'avaluació del seu volum i de la seva mesura de semblança, a partir d'ara definits com a descriptors moleculars de primer ordre. La difeèsncia entre aquests dos conceptes ha estat aclarida: mentre que el volum és la magnitud de l'espai que ocupa la molècula com a entitat global, la mesura de semblança ens dóna una idea de com està distribuïda la densitat electrònica al llarg d'aquest volum, i reflecteix més les diferències locals existents. L'ús de diverses aproximacions per a l'obtenció d'ambdós valors ha estat analitzat sobre diferents classes d'isòmers
Resumo:
Aquest projecte es centra principalment en el detector no coherent d’un GPS. Per tal de caracteritzar el procés de detecció d’un receptor, es necessita conèixer l’estadística implicada. Pel cas dels detectors no coherents convencionals, l’estadística de segon ordre intervé plenament. Les prestacions que ens dóna l’estadística de segon ordre, plasmada en la ROC, són prou bons tot i que en diferents situacions poden no ser els millors. Aquest projecte intenta reproduir el procés de detecció mitjançant l’estadística de primer ordre com a alternativa a la ja coneguda i implementada estadística de segon ordre. Per tal d’aconseguir-ho, s’usen expressions basades en el Teorema Central del Límit i de les sèries Edgeworth com a bones aproximacions. Finalment, tant l’estadística convencional com l’estadística proposada són comparades, en termes de la ROC, per tal de determinar quin detector no coherent ofereix millor prestacions en cada situació.
Resumo:
Un dels corrents polítics que ha estat sotmès a un contrast més polèmic i aspre amb l'esdevenir dels fets, ha estat el liberalisme. A diferència d'altres tendències polítiques encara contemporànies, el liberalisme gaudeix d'una esplèndida salut 300 anys després, encara que els seus inicis puguin rastrejar-se en ple Segle d'Or espanyol. Són poques les filosofies polítiques que han superat amb alts i baixos, amb canvis, amb avanços i retrocessos gairebé tres segles d'existència. Pot avui detectar-se en el liberalisme polític el pensament de filòsofs espanyols, anglesos i escocesos que van conformar amb la seva reflexió i els seus escrits un cos doctrinal que conforma i enriqueix, encara avui, la vida política de les societats plurals modernes i més avançades del planeta. Quan algunes filosofies i/o religions polítiques han pràcticament desaparegut de l'horitzó en progrés dels homes del segle XXI, el liberalisme de Locke, Juan de Mariana, Tomás de Mercado, Hume, Ferguson, Hutcheson, Smith i tants altres, mostra inequívocs signes de vitalitat. La preocupació per l'individu lliure, responsable i ètic i el seu esforç titànic per desprendre's de l'opressió i l'asfíxia governativa i burocràtica, encoratgen la resposta de major abast que ens és possible encara contemplar en les dues primeres dècades del segle XXI. Homes i dones lliures, autònoms, independents, amb capacitat creativa, amb voluntat i disposats a enfrontar problemes, dificultats i traves per defensar la seva llibertat. Aquesta és avui una herència de primer ordre del pensament humanista que arrenca al món hel•lènic i dura fins als nostres dies. La concepció de la funció de l'Estat i la seva extensió, l’acceptació major o menor de la seva grandària, el paper de la burocràcia, els mecanismes de submissió, control i opressió, són avui una assignatura encara pendent per a milions de ciutadans a tot el món que intueixen encara, a palpentes, que la llibertat és el valor més preuat de la humanitat, la seva pedra angular. Liberals, anarquistes i llibertaris discrepen en moltes qüestions i en el treball present, donem complerta compte d'algunes de les diferències més significatives, però coincideixen en l'anhel infrangible de l'home lliure. No tots els camins condueixen a la llibertat, no totes les solucions garanteixen la llibertat, però l'esperit que anima a aquests tres corrents polítics nascuts del pensament dels filòsofs, historiadors i polítics més lliures i compromesos, justifica que abordem les seves dimensions –acords i diferències- amb la seguretat que hi ha moltes coses que aprendre de la seva història i tantes altres que preservar de la seva memòria.
Resumo:
Amb l’objectiu d’analitzar i comprendre d’una manera més adequada els mecanismes pels quals els potencials turistes que venen d’Anglaterra prenen la decisió de viatjar fins la Costa Daurada, en el context de la introducció de les línies aèries de baix cost a Espanya i la creació de noves rutes, s’ha dut a terme una enquesta a l’aeroport de Reus a un total de 445 turistes que estaven a punt de tornar de les seves vacances cap a Anglaterra tenint l'aeroport d'East Midlands (EMA) com a destinació i viatjant amb la companyia aèria de baix cost RyanAir. Amb el mètode utilitzat en aquest projecte s'ha mesurat, per mitjà de l'enquesta esmentada, el pes de la causalitat entre la presència de vols barats des de EMA fins a Reus amb la decisió dels turistes de passar les seves vacances en una regió turística de primer ordre a Catalunya com és la Costa Daurada. Segons els resultats de les dues preguntes causals que formen part de l’enquesta (pregunta 18 i pregunta 19), gairebé un 30% de l'impacte econòmic turístic total és degut a la disponibilitat de vols barats mitjançant RyanAir. Tanmateix, al voltant d’un 60% de l'impacte estaria relacionat amb el fet que els turistes visitarien la Costa Daurada independentment de la disponibilitat de vols de RyanAir. Això indicaria que tot i que els vols de Ryanair són innegablement atractius pels turistes, hi ha un desig important de visitar la Costa Daurada que podria ser satisfet per altres mitjans.
Resumo:
Des de l’itinerari professionalitzador del Màster en Educació Inclusiva es realitzen 6 mòduls dels quals el 6 consisteix en fer un període de pràctiques (100 hores – 9 crèdits) i el Treball Final de Màster (6 crèdits). Jo he realitzat les pràctiques a l’Associació Tapís de Vic, una entitat sense ànim de lucre que treballa per donar resposta a les dificultats derivades de l’exclusió sociolaboral que afecten a molts ciutadans i ciutadanes de la ciutat de Vic i de la comarca d’Osona. Concretament, he realitzat el seguiment i l’anàlisi d’un nou projecte impulsat per l’Associació i en el qual hi ha una important participació activa de voluntariat, anomenat “Parelles per a la Inserció”. Per a aquest nou projecte, l’acompanyament emocional o la motivació davant l’adversitat són elements de primer ordre davant les dificultats per trobar feina. Després d’haver conegut el projecte, he dissenyat i planificat una proposta de millora amb la finalitat de donar resposta a algunes de les necessitats detectades. La proposta de millora, com es podrà observar en aquest treball, està relacionada amb la formació i dinamització de les persones voluntàries.