Mostrando recursos 61 - 80 de 10.534

  1. Superplurals in English

    Linnebo , Oystein; NICOLAS , David
    It is now widely believed among philosophers and logicians that ordinary English contains plural terms that may refer to several things at once. But are there terms that stand to ordinary plural terms the way ordinary plural terms stand to singular terms? Let's call such terms superplural. A superplural term would thus, loosely speaking, refer to several “pluralities” at once. It is reasonably straightforward to devise a formal logic of superplural terms, superplural predicates, and even superplural quantifiers (Rayo 2006). But does this formal logic reflect any features of natural languages? In particular, does ordinary English contain superplural terms and...

  2. The Nature of Belief

    Atran , Scott
    If religion is a special form of causal belief—immune to logic and evidence—about how things are in the world, then it is true that “science is basically in conflict with religion.” But if religion is primarily about what ought to be, including moral framing that convinces people to commit to others beyond the logic and evidence for advancing self-interest, then conflict is not inevitable. Understanding and manipulating causality, though key to science, is only one integral component of religion and other aspects of human brain development, knowledge, and belief that bind us to one another and the world.

  3. Knowledge of knots: shapes in action

    Casati , Roberto
    Logic is to natural language what knot theory is to natural knots. Logic is concerned with some cognitive performances; in particular, some natural language inferences are captured by various types of calculi (propositional, predicate, modal, deontic, quantum, probabilistic, etc.), which in turn may generate inferences that are arguably beyond natural logic abilities, or non-well synchronized therewith (eg. ex falso quodlibet, material implication). Mathematical knot theory accounts for some abilities - such as recognizing sameness or differences of some knots, and in turn generates a formalism for distinctions that common sense is blind to. Logic has proven useful in linguistics and...

  4. Strategic management in the context of Hoskin Kanri Forest

    Arbizu Sáez, Juan
    La industria manufacturera lleva tiempo siendo consciente de todos los beneficios que un sistema de organización y liderazgo bien implantado puede traer a la empresa. En este proyecto, va a estudiarse la introducción de un método Lean aplicado, y de todas las maneras en las que este fomentará una mejora continua tanto en cada trabajador como individuo, como en la organización como un todo. El objetivo principal es el de contribuir a esta necesidad mediante la creación de una versión simplificada de esta herramienta, demostrando que puede realizarse sobre un sistema real con resultados positivos. El principal problema que se...

  5. Control fuzzy de un robot social para navegación en presencia de humanos

    Alberca Sánchez, José Miguel
    El desarrollo de robots sociales es un sector de la robótica que gana importancia con el paso de los años gracias a los avances tecnológicos generados. Las funciones de los robots sociales están relacionadas con trabajos en los que existe interacción con gente de tal forma que dicha interacción sea consistente con la psicología social humana. Por tanto estos robots tienen aplicaciones basadas en el trabajo en espacios públicos, y usos domésticos. El desarrollo de este tipo de robots supone un esfuerzo en distintas áreas de la robótica como es el desarrollo de inteligencia artificial, la capacidad de interactuar a través...

  6. Estudio de aplicación de protecciones de pérdida de excitación con offset positivo en máquinas síncronas

    Crespo Ramírez, Sara
    El presente trabajo tiene como principal objetivo proponer un nuevo ajuste para un relé de protección frente a pérdidas de excitación con un offset positivo aplicable a máquinas síncronas. El uso más extendido de este tipo de máquinas es el de generador. El factor decisivo de su utilización en las grandes centrales es su capacidad de suministrar tanto potencia activa como potencia reactiva, regulables independientemente. Para ello, como ya se ha indicado, cuentan con un devanado de excitación que proporciona el flujo magnético a la máquina, con lo cual se puede controlar la potencia reactiva, absorbiéndola o cediéndola, pudiendo cubrir de...

  7. Integración y test de módulos de medición de partículas PM2.5 y PM10 para la valoración de la calidad del aire

    Pérez Maqueira, Francisco
    La contaminación atmosférica es un tema de importancia creciente en la actualidad. La sociedad ya conoce sus riesgos para la salud humana y toma medidas, en muchos casos insuficientes, para evitarla. Los ciclistas son uno de los grupos que más padecen sus efectos, especialmente cuando practican este deporte en núcleos urbanos. De aquí surge el objetivo del proyecto. Este no es más que ayudar a este colectivo a minimizar los efectos de la contaminación atmosférica, permitiéndoles conocer en tiempo real y a pequeña escala la cantidad de agentes contaminantes presentes en el entorno. Para ello, se propone la creación de...

  8. Contra el deterioro de los gestos y la mirada

    Perrin , Julie
    Mis investigaciones acerca de la percepción que tiene el espectador de la figura danzante y sobre la construcción de un modo de aparición escénica, me han llevado a interrogarme sobre lo espacial en la danza. Dicho de otro modo, a analizar el complejo entramado de espacios arquitectónicos, escénicos, sonoros, coreográficos y corporales. El edificio acoge el marco de la representaci ón y constituye un dispositivo óptico potente. Los espacios escénicos (la instalación escenográfica, pero también el dibujo coreográfico de los trayectos, el ritmo y su velocidad) son susceptibles de reconfigurar este primer marco. Por último, los espacios corporales (la orientación...

  9. Optimal tableaux-based decision procedure for testing satisfiability in the alternating-time temporal logic ATL+

    Cerrito , Serenella; David , Amélie; Goranko , Valentin
    International audience

  10. A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers

    Boldo , Sylvie; Faissole , Florian; Tourneur , Vincent
    International audience

  11. Drug law enforcement revisited: the “war” against the war on drugs

    Alexandris Polomarkakis, Konstantinos
    From the closure of London’s nightclub Fabric to Duterte’s drug war, law enforcement has become the policy choice par excellence for drug control by stakeholders around the globe, creating a rift between theory and practice, the former vehemently dismissing most of its alleged benefits. This article provides a fresh look on the said regime, through examining its implications in the key areas of illicit drug markets, public health, and broader society. Instead of adopting a critical stance from the start, as much of the literature does, the issue is evaluated from the perspective of a focus on the logic and...

  12. On fixed-point theorems in synthetic computability

    Bauer, Andrej
    Lawvere's fixed point theorem captures the essence of diagonalization arguments. Cantor's theorem, Gödel's incompleteness theorem, and Tarski's undefinability of truth are all instances of the contrapositive form of the theorem. It is harder to apply the theorem directly because non-trivial examples are not easily found, in fact, none exist if excluded middle holds. ¶ We study Lawvere's fixed-point theorem in synthetic computability, which is higher-order intuitionistic logic augmented with the Axiom of Countable Choice, Markov's principle, and the Enumeration axiom, which states that there are countably many countable subsets of $\mathbb{N}$. These extra-logical principles are valid in the effective topos, as...

  13. TrustyFeer: A Subjective Logic Trust Model for Smart City Peer-to-Peer Federated Clouds

    Alshayban, Bushra; Altoaimy, Lina; Alsalamah, Shada; Kurdi, Heba A.
    Cloud computing plays a major role in smart cities development by facilitating the delivery of various services in an efficient and effective manner. In a Peer-to-Peer (P2P) federated clouds ecosystem, multiple Cloud Service Providers (CSPs) collaborate and share services among them when experiencing a shortage in certain resources. Hence, incoming service requests to this specific resource can be delegated to other members. Nevertheless, the lack of preexisting trust relationship among CSPs in this distributed environment can affect the quality of service (QoS). Therefore, a trust management system is required to assist trustworthy peers in seeking reliable communication partners. We address...

  14. Neoliberalism and its subjects

    Dencik , Lina; Redden , Joanna; Conor , Bridget; Lekakis , Eleftheria
    This paper presents an overview of a new monograph entitled Neoliberalism and its Subjects. It focuses on how neoliberalism operates as 'a mode of governance' (Brown 2005) and functions to produce subjects, citizens, and new modes of social organization. The monograph traces the role of media and communication in the various extensions of neoliberalism into public and private life. It also pays particular attention to the role of culture, media and communications in neoliberal extensions, and in normalizing market logic as the basis for decision making and working practices. In this way an attempt is made to map how neoliberalism...

  15. A Logic of Privacy

    Barker , Steve; Genovese , Valerio
    International audience

  16. Poder Naval chinês no apoio à política externa - String of Pearls

    Janicas, João Paulo Vinagre Pedro
    A presente dissertação de mestrado pretende responder à questão principal: Em que medida o string of pearls representa a principal modalidade de ação estratégica da China no que respeita ao Oceano Índico? Para responder a esta pergunta, foram elencados os seguintes objetivos: identificar as principais prioridades da política externa chinesa; identificar os principais desafios internacionais que estão a ser colocados à China; analisar a implantação da estratégia do string of pearls no Oceano Índico; identificar as principais tendências da modernização naval chinesa; e validar o string of pearls como principal modalidade de ação estratégica da China, no Oceano Índico. Na prossecução destes objetivos, utilizou-se uma lógica dedutiva com...

  17. Prevenção de queda no idoso institucionalizado

    Ferreira , Ariana Manuela Martinho
    Este relatório surge no âmbito do estágio realizado no 7º Curso de Mestrado em Enfermagem, na área de Especialização Médico-Cirúrgica, vertente Enfermagem à Pessoa Idosa, desenvolvido na Escola Superior de Enfermagem de Lisboa (ESEL) e subjacente ao tema a “A Prevenção de Queda no Idoso Institucionalizado.” As quedas constituem um grave problema de Saúde Pública pelas consequências físicas, psicológicas, sociais e económicas que acarretam. São uma das síndromes geriátricas mais comuns que ameaçam a independência dos idosos, principalmente residentes em instituições de longa permanência, onde a sua prevalência é superior face aos números achados na comunidade (Baixinho & Dixe, 2015; Rubenstein,...

  18. Virtual Band, Actual Reality: The Actualizaton of the Virtual by the Gorillaz

    Brown, Isabelle
    A recent and growing branch of media studies would be a critical approach to video games. Advancing technologies have fostered the developments of 3D virtual worlds, and within those worlds, virtual selves. People began to cultivate a presence on the internet over a spectrum of mediums. What is hard about the virtual self is there doesn't seem to be one consensus on how to define it in relation to our actualized selves. Is it an extension of our identity? Is it a form of self-expression? Is it a new identity entirely? I plan to examine the virtual self in the...

  19. Intencionalidad y alteridad. Génesis del concepto de alteridad en la obra de Emmanuel Lévinas

    Camacho Galván, Leopoldo
    La filosofía de Levinas guarda una gran cercanía con la fenomenología de Husserl, en algunas obras se tratan temas claves de aquella, como son las obras reunidas en EDE, THI, TI, o se discuten y contraponen algunas de sus tesis (DE y EE). Levinas realiza a lo largo de su obra una revisión y un dialogo constante con los postulados básicos de la fenomenología y la filosofía que ella inaugura. En AE se presupone una superación de la ontología y la fenomenología, ahí se dejan atrás categorías e incluso la necesidad de la articulación del análisis y las descripciones que...

  20. A evolução histórica dos direitos dos apátridas no cenário internacional e nacional e a sua situação atual segundo a lei 13.445/2017 no ordenamento jurídico brasileiro

    Seganfredo, Paula Bueno
    Esta monografia consiste em uma análise crítica a respeito do fenômeno da apatridia no Brasil e no mundo. A metodologia empregada foi o lógico dedutivo, segundo fontes secundárias do Direito. Para isso, foram consultados livros, artigos científicos e informações extraídas do site da ACNUR, ONU, a fim de elucidar as questões e pontos relevantes sobre apatridia, sua condição jurídica, conceitos, panorama histórico, jurisprudência internacional e nacional, relatórios e, por fim, uma análise à nova lei de migração no Brasil, bem como uma comparação ao Estatuto do Estrangeiro, oriundo do período ditatorial militar. O ponto central do trabalho é justamente descobrir...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.