Search results for "intuition"

showing 10 items of 65 documents

Untangling knowledge fields and knowledge dynamics within the decision-making process

2020

PurposeThe purpose of this paper is to analyse the influences of different types of knowledge and their inherent dynamics on the effectiveness of the decision-making (DM) process. Knowledge dynamics (KD) is envisioned through the lens of the knowledge fields theory while effective DM process is objectivised via organisational appreciation and reward, higher business performance, sustainable partnerships and managerial satisfaction with previous achievements.Design/methodology/approachA questionnaire-based survey was conducted with 275 middle managers from companies operating in the business consulting field. The conceptual and structural model was tested using the partial least squares stru…

Descriptive knowledgeKnowledge managementbusiness.industryRational knowledge05 social sciencesMiddle managementRationalityManagement Science and Operations ResearchGeneral Business Management and AccountingStructural equation modeling0502 economics and businessKnowledge fields Knowledge dynamics Decision-making Rationality Intuition Middle management050211 marketingDecision-makingbusinessPsychologySettore SECS-P/08 - Economia E Gestione Delle Imprese050203 business & managementIntuitionManagement Decision
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

Amount of Nonconstructivity in Finite Automata

2009

When D. Hilbert used nonconstructive methods in his famous paper on invariants (1888), P.Gordan tried to prevent the publication of this paper considering these methods as non-mathematical. L. E. J. Brouwer in the early twentieth century initiated intuitionist movement in mathematics. His slogan was "nonconstructive arguments have no value for mathematics". However, P. Erdos got many exciting results in discrete mathematics by nonconstructive methods. It is widely believed that these results either cannot be proved by constructive methods or the proofs would have been prohibitively complicated. R.Freivalds [7] showed that nonconstructive methods in coding theory are related to the notion of…

Discrete mathematicsProbabilistic methodDeterministic finite automatonKolmogorov complexityIntuitionismLimit (mathematics)Mathematical proofConstructiveMethod of conditional probabilitiesMathematics
researchProduct

Moral Neuroeducation from a Phylogenetic, Ontogenetic and Functional Perspective

2019

The aim of this chapter is to consider a series of key contributions to moral neuroeducation from a threefold phylogenetic, ontogenetic and functional perspective. I will argue that an individual’s transition from social to moral behaviour occurs through the concurrence of certain faculties with a specific degree of complexity. With regard to both phylogenesis and ontogenesis, certain kinds of prosocial behaviours become moral in certain specific conditions. The study of these conditions reveals which faculties are involved in moral behaviour, how they do so, and how they relate to one another. A third functional perspective thereby becomes necessary to explain how morality functions at bot…

Educational neuroscienceProsocial behaviorXenophobiamedia_common.quotation_subjectMoral reasoningPsychologyMoralityEpistemologyIntuitionmedia_common
researchProduct

Sensing and Generating New Opportunities for Value Innovation: How Team Behaviour Contributes to Success or to Failure?

2017

The behavioral side of the decision process inherent to strategy is an issue that is gaining attention from both academic and practitioners. At the same time, the Schumpeterian conception of innovation, returns to gain relevance in an environment where technology leads to process dematerialization and exponential paths of change. In this context, this paper analyses which decision processes, cognitive abilities and heuristics lead to sense and generate value innovation for customers. The analysis of 26 master student teams that ran the same strategy simulator show that the consideration and description of a wide range of alternatives and team agreement as a result of discussion of such alte…

EngineeringKnowledge managementbusiness.industryAnalogyValue innovationCognitionWork teamsDecision processHeuristicsMaster studentbusinessIntuition
researchProduct

Use without training: A case study of evidence-based software design for intuitive use

2019

This paper reviews intuitive software design and outlines the development of an instrument for analysts to evaluate the intuitiveness of software design. Current intuition research outlines three requirements for intuitive use: (a) existing experiential domain knowledge and skills, (b) an unexplainable perception that a novel situation is contextually familiar, and (c) successful application of users’ previously acquired experiential knowledge and skills. A case study illustrates how these requirements can be specified, implemented, and evaluated. Questions to evaluate the characteristics of intuitive design and use resulted in an intuitive use evaluation of 3.2 on a scale of 0–4, indicatin…

Evidence-based practiceintuitive designSocial PsychologyComputer sciencebusiness.industryCommunicationaffordancesinteraction designsystem analysisUsabilityInteraction designintuitionusabilityHuman-Computer InteractionUser experience designHuman–computer interactionuser experienceSoftware designbusinessAffordanceIntuitionHuman Technology
researchProduct

Inductive types in homotopy type theory

2012

Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…

FOS: Computer and information sciencesComputer Science - Logic in Computer Science03B15 03B70 03F500102 computer and information sciences01 natural sciencesComputer Science::Logic in Computer ScienceFOS: MathematicsA¹ homotopy theoryCategory Theory (math.CT)0101 mathematicsMathematicsHomotopy lifting propertyType theory inductive types homotopy-initial algebraHomotopy010102 general mathematicsMathematics - Category TheoryIntuitionistic type theoryMathematics - LogicSettore MAT/01 - Logica MatematicaLogic in Computer Science (cs.LO)Algebran-connectedType theoryTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematicsProof theoryTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSHomotopy type theoryComputer Science::Programming LanguagesLogic (math.LO)
researchProduct

A única intuição – o único pensamento: Sobre a questão do sistema em Fichte e em Schopenhauer

2007

In this paper, the theme “intuition” and “thought” is related to the problem, virulent in the German Idealism, of the philosophical systematic. After the conception of system sustained by Kant in the “Architectonic of reason” was criticized as formalist, and, at the same time, the criticism on the rationalist systems, formerly exerted by the empiricism, developed in the 18th century, it emerged a methodological crisis in the philosophy at the end of that century, maybe expressed in the most intense way in one “fragment” written by Friedrich Schlegel: “It is equally mortal to the spirit to have a system and to have none”. Fichte and Schopenhauer deal with the system issue in the light of the…

FichteSchopenhauerlcsh:Philosophy (General)Thoughtlcsh:B1-5802IntuitionDoisPontos
researchProduct

Measuring autonomy freedom

2006

In the measurement of autonomy freedom, the admissible potential preference relations are elicited by means of the concept of ‘reasonableness’. In this paper we argue for an alternative criterion based on information about the decision maker’s ‘awareness’ of his available opportunities. We argue that such an inter- pretation of autonomy fares better than that based on reasonableness. We then introduce some axioms that capture this intuition and study their logical impli- cations. In the process, a new measure of autonomy freedom is characterized, which generalizes some of the measures so far constructed in the literature.

FreedomEconomics and EconometricsComputer sciencemedia_common.quotation_subjectFreedom of choiceDecision makerrepublicanismInternational political economySocial psychologyMathematical economicsSocial Sciences (miscellaneous)AxiomAutonomyPhilip PettitPublic financeIntuitionmedia_commonSocial Choice and Welfare
researchProduct

Relation between Social Conservatism, Moral Competence, Moral Orientations, and the Importance of Moral Foundations

2017

AbstractThis paper examines the relation between moral competence, moral orientations, importance of moral foundations, and political orientation, by combining two theoretical approaches in moral psychology--the cognitive perspective and social-intuitionist perspective. The participants (Study 1 N=348, aged 18 to 67, and Study 2 N = 361, aged 16 to 74) completed the Moral Competence Test (formerly Moral Judgment Test, Lind, 1978, 2008), the 30-Item Full Version of the Moral Foundations Questionnaire (Graham, Haidt & Nosek, 2008), and measurements of political orientation (a seven-point self-evaluation scale in study 1 and an 8-item social conservatism scale in Study 2). There was a nega…

General Arts and Humanities05 social sciencesGeneral Social Sciences050109 social psychologySocial intuitionismMoral reasoningConservatism050105 experimental psychologySocial cognitive theory of moralityBiology and political orientationlcsh:Social Scienceslcsh:HMoral developmentMoral psychology0501 psychology and cognitive sciencesPsychologyGeneral Economics Econometrics and FinanceSocial psychologyMoral disengagementMediterranean Journal of Social Sciences
researchProduct