Search results for "meaning"

showing 10 items of 756 documents

Co-occurrence of discourse markers in English : from juxtaposition to composition

2019

Abstract In this paper, we report on a qualitative analysis of co-occurring discourse markers, that is, sequences of adjacent discourse markers that belong to the same unit but may express different functions. We examine several formal and functional features of these co-occurring strings on the basis of corpus examples extracted from conversational data in English. In particular, we focus on scope, meaning-in-context (or functions), syntactic category and position. Our analysis reveals several degrees of integration: differences in scope allow us to differentiate juxtaposition and combination of markers. In the case of combination, difference in meaning integration allows us to distinguish…

Discourse markers050101 languages & linguisticsLinguistics and LanguageComputer scienceScope05 social sciencesCo-occurrenceDM co-occurrenceCorpus050105 experimental psychologyLanguage and LinguisticsLinguisticsLanguages and LiteraturesFocus (linguistics)AnnotationSyntactic categoryArtificial IntelligenceEnglishPragmatic functions0501 psychology and cognitive sciencesComposition (language)Scope (computer science)Discourse markerMeaning (linguistics)
researchProduct

Minimal forbidden words and symbolic dynamics

1996

We introduce a new complexity measure of a factorial formal language L: the growth rate of the set of minimal forbidden words. We prove some combinatorial properties of minimal forbidden words. As main result we prove that the growth rate of the set of minimal forbidden words for L is a topological invariant of the dynamical system defined by L.

Discrete mathematicsFactorial010102 general mathematics[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Symbolic dynamicsComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]0102 computer and information sciencesInvariant (physics)16. Peace & justice01 natural sciencesCombinatorics010201 computation theory & mathematicsTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSInformation complexityFormal language0101 mathematicsComputer Science::Formal Languages and Automata TheoryComputingMilieux_MISCELLANEOUSMathematicsofComputing_DISCRETEMATHEMATICSMathematics
researchProduct

Collection Principles in Dependent Type Theory

2002

We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.

Discrete mathematicsInterpretation (logic)Dependent type theory constructive set theory propositions-as-typesComputer scienceConstructive set theoryIntuitionistic logicIntuitionistic type theoryDependent typeAlgebraMathematics::LogicTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESDependent type theoryType theoryTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSComputer Science::Logic in Computer ScienceDouble negationSet theoryRule of inferenceAxiom
researchProduct

A probabilistic meaning of certain quasinormal subgroups

2007

The role of the cyclic quasinormal subgroups has been recently described in groups both finite and infinite by S.Stonehewer and G.Zacher. This role can be better analyzed in the class of compact groups, obtaining restrictions for the probability that two randomly chosen elements commute. Mathematcs Subject Classification: 20D60, 20P05, 20D08

Discrete mathematicsSettore MAT/02 - AlgebraClass (set theory)Mutually commuting pairs commutativity degree compact groups quasinormal subgroupsProbabilistic logicSettore MAT/03 - GeometriaMeaning (existential)MathematicsInternational Journal of Algebra
researchProduct

Counting in the Two Variable Guarded Logic with Transitivity

2005

We show that the extension of the two-variable guarded fragment with transitive guards (GF+TG) by functionality statements is undecidable. This gives immediately undecidability of the extension of GF+TG by counting quantifiers. The result is optimal, since both the three-variable fragment of the guarded fragment with counting quantifiers and the two-variable guarded fragment with transitivity are undecidable. We also show that the extension of GF+TG with functionality, where functional predicate letters appear in guards only, is decidable and of the same complexity as GF+TG. This fragment captures many expressive modal and description logics.

Discrete mathematicsTransitive relationGuarded logicTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESFragment (logic)Description logicFunctional predicateTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSExtension (predicate logic)Undecidable problemMathematicsDecidability
researchProduct

Más allá del museo. Nuevos escenarios para la exposición

2018

[EN] Exhibition's stage has become a changing exercise over time, linked to a way of thinking historically the work. There are new museographic responses born of the participation of artists, architects and designers, and the role of the curator who, at times, transforms his role as theoretician in artist. Following this evolutionary dynamic, the exhibition has thus forged an almost independent identity of the museum itself. The meaning of the work in the place develops a new grammar that turns the exhibition into a work of art and also opens a debate around its current role

DiseñoDesignGrammarCuratormedia_common.quotation_subjectIdentity (social science)Art historyArtMeaning (non-linguistic)ComisarioExposición temporalMuseoExhibitionWork of artTemporary exhibitionScenographyMuseumEscenografíamedia_common
researchProduct

Dios y el coito: entre la misoginia y el feminismo

1970

El objetivo de este trabajo es señalar que para la reflexión filosófica sobre los sexos hay dos cuestiones de vital importancia que están íntimamente relacionadas: el significado que atribuimos al coito y cómo entendemos la relación del ser humano con lo absoluto (o con Dios). Para ello, recurriremos a las filosofías de dos autores que representan opciones antagónicas en esta materia: Otto Weinigner, un autor indudablemente misógino, y Simone de Beauvoir, precursora del feminismo. Dado que sus discursos coinciden en muchos aspectos relevantes —pues ambos identifican los valores masculinos con los valores humanos, creen que las mujeres han sido víctimas de un engaño y defienden la desaparici…

Divergence (linguistics)media_common.quotation_subjectPhilosophyHuman valuesFemininityHuman beingFeminismEpistemologyPhilosophyHistory and Philosophy of ScienceAbsolute (philosophy)DivinityMeaning (existential)media_commonAnales del Seminario de Historia de la Filosofía
researchProduct

Under Our Eye: Margaret Atwood's Variation on the Panopticon in "The Heart Goes Last"

2020

In her dystopian dark comedy The Heart Goes Last (2015), Margaret Atwood openly refers to Jeremy Bentham’s concept of the Panopticon. The future world depicted in her novel is filled with violence and deprived of both human bonds and hope. Hence, being contained, monitored and — after Foucault — disciplined and punished appears to be the characters’ last resort. Surveillance tempts both sexes as it is politically correct and universal, and it does not privilege one group of people over the other. The article discusses the dystopian vision of the near future as created by Atwood in her 2015 novel, with direct references to the conception of the Panopticon, both in its original meaning propos…

DystopiaPsychoanalysisMetaphorPhilosophymedia_common.quotation_subjectthe PanopticonComedyMichel FoucaultSocial groupOriginal meaningMargaret AtwoodReading (process)surveillancePanopticonJeremy BenthamPrivilege (social inequality)dystopian fictionmedia_commonZagadnienia Rodzajow Literackich/ Problems of Literary Genres
researchProduct

Traits and emotions

2000

This paper reviews literature on traits and emotions focusing on both structure and management, or 'having' and 'doing'. The cognitive perspective of this paper implies that traits and emotions are viewed as provisions to frame people and their behaviours in situations in meaningful ways. The focus on the structure of traits thus implies considering the now broadly acknowledged Big Five model as a dimensional framework by which traits of people can be meaningfully organized. A similar position is taken with respect to emotions, given the recurrent finding of a two-dimensional model of emotions with Positive Affect and Negative Affect (PA and NA). Maintaining relevant distinctions between tr…

EXPRESSIONExtraversion and introversionSocial PsychologyPerspective (graphical)CognitionNeuroticismALEXITHYMIACULTURESELF-REGULATIONExpression (architecture)REGULATION STRATEGIES5-FACTOR MODELEXPERIENCEPERSONALITY-TRAITSMeaning (existential)AFFECT RECOGNITIONBig Five personality traitsSituational ethicsPsychologySocial psychologyNEGATIVE MOOD REGULATIONEuropean Journal of Personality
researchProduct

Rola Tradycji w Kościele. Między „archeologizmem” a „entuzjazmem”

2020

The article is an attempt to answer the question about the relation between tradition and the development of theological cognition. The church from the first centuries was aware that allegiance to the council tenets exceeds a technical repetition of council`s formulas. It is clear that a belief in dogma assumes openness to both the past and the future.In the article two approaches to tradition are criticized: archeological and enthusiastic. The first one is linked with attempt to end the possibility of adding to a developing tradition further at any point in history; the second one is a result of conviction that currents form of doctrine and church are exactly what is wanted by God.In refer…

EcologyRepetition (rhetorical device)Philosophymedia_common.quotation_subjectDoctrineAllegianceRevelationInsect ScienceConvictionMeaning (existential)History of ChristianityTheologyEcology Evolution Behavior and SystematicsPeriod (music)media_commonTheological Research. The Journal of Systematic Theology
researchProduct