05344nam 2200373 450 991013158110332120240207193908.01-4123-5021-2(CKB)3680000000168352(NjHacI)993680000000168352(EXLCZ)99368000000016835220240207d2006 uy 0freur|||||||||||txtrdacontentcrdamediacrrdacarrierDes valeurs pour une société nouvelle /Fernand HarveyChicoutimi :J.-M. Tremblay,2006.1 online resourceClassiques des sciences socialesCollection « Les sciences sociales contemporaines » -- " Des valeurs pour une société nouvelle. " (1990) -- Table des matières -- Une édition électronique réalisée à partir de l'article de Fernand Harvey, "Des valeurs pour une société nouvelle". Un article publié dans la revue L'Action Nationale, Montréal, vol. 80, no 7, septembre 1990, pp. 938-952. [Autorisation accordée par l'auteur le 19 mars 2004.] -- Table des matières -- Résumé -- Les valeurs d'autrefois -- La remise en cause des valeurs traditionnelles -- L'impact de la Révolution tranquille. -- Les valeurs qui subsistent -- L'individualisme et la collectivité -- L'internationalisme, le cosmopolitisme et l'identité nationale -- La protection de l'environnement et l'aménagement régional -- Les relations hommes-femmes et la famille -- Valeurs et conscience historique.Le sociologue Harvey réfléchit depuis longtemps au phénomène de la transformation des valeurs traditionnelles. Il nous rappelle les valeurs d'autrefois et l'impact de la Révolution tranquille. Peu d'anciennes valeurs sont demeurées intactes. La défense de la langue demeure l'un des grands points de référence. Elle se conjugue avec l'élargissement de la démocratie. Mais des valeurs nouvelles apparaissent. La réussite économique s'arrime maintenant à la société québécoise et à sa culture. La valorisation de l'action individuelle se manifeste dans la vie privée et dans l'ensemble de notre vie collective qui avait été fortement influencée par le nationalisme, le syndicalisme et le féminisme au cours des années 1960 et 1970. Il semble toutefois que la participation des Canadiens-Français au grand courant de l'humanité est en train de renforcer notre identité nationale. De nouvelles prises de conscience naissent à l'égard de l'environnement, de la qualité de vie, des relations entre les hommes et les femmes. Existe-t-il des valeurs nouvelles qu'il conviendrait de promouvoir au sein de la société d'ici? Poser cette question, c'est engager le débat sur la capacité des individus de se donner des normes de conduite communes sur un certain nombre d'aspects jugés essentiels au développement de leur identité collective et de leur culture. Est-il encore possible de prétendre qu'il puisse exister au Québec des valeurs communes, alors que les anciennes prétentions à cet égard ont été emportées depuis longtemps dans les remous de la Révolution tranquille? On l'a souvent répété, nous vivons dans une société éclatée où le relativisme culturel, associé au néo-libéralisme, a tendance à renvoyer au niveau de la vie privée toute référence aux valeurs. En somme, nous aurions atteint un stade de développement social où l'éthique serait devenue l'affaire de chacun plutôt qu'être l'affaire de tous. L'impasse actuelle autour de la question de l'avortement illustre bien l'impossibilité d'établir un consensus autour de certaines valeurs communes. On pourrait ainsi multiplier les exemples de tensions engendrées par le conflit des valeurs. Est-ce à dire qu'une société peut se passer de valeurs collectives et ne refléter que la somme des conduites individuelles? Une certaine perception de la Charte canadienne des droits tend à confirmer une vision atomisée de la société où les droits individuels seraient coupés de leur contexte social et historique. Pourtant, malgré la mouvance des valeurs engendrées par le changement social accéléré de nos sociétés, il demeure possible d'identifier un certain nombre d'enjeux sociaux et nationaux pouvant favoriser non pas une unanimité factice à la manière d'autrefois, mais à tout le moins certaines tendances lourdes dans le but de renforcer le noyau de notre culture. Je n'ai pas la prétention de proposer une vue d'ensemble de ces valeurs susceptibles de susciter l'adhésion. Je me contenterai d'évoquer celles qui, à mes yeux, sont reliées à des enjeux importants dans notre société. D'autres opinions et réflexions s'avèrent du reste nécessaires pour mieux établir sur quelles bases éthiques repose la culture québécoise de cette fin de siècle.Classiques des sciences sociales.Tradition (Philosophy)Tradition (Philosophy)148Harvey Fernand945313NjHacINjHaclBOOK9910131581103321Des valeurs pour une société nouvelle2134090UNINA05387nam 22006495 450 991076756030332120251117073002.03-540-45008-410.1007/10722086(CKB)1000000000548797(SSID)ssj0000321538(PQKBManifestationID)11232826(PQKBTitleCode)TC0000321538(PQKBWorkID)10279782(PQKB)10467648(DE-He213)978-3-540-45008-5(MiAaPQ)EBC3087414(PPN)155196405(BIP)13627350(BIP)6530044(EXLCZ)99100000000054879720121227d2000 u| 0engurnn|008mamaatxtccrAutomated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings /edited by Roy Dyckhoff1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (X, 440 p.) Lecture Notes in Artificial Intelligence ;1847Bibliographic Level Mode of Issuance: Monograph3-540-67697-X Includes bibliographical references.Invited Lectures -- Tableau Algorithms for Description Logics -- Modality and Databases -- Local Symmetries in Propositional Logic -- Comparison -- Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison -- Consistency Testing: The RACE Experience -- Benchmark Analysis with FaCT -- MSPASS: Modal Reasoning by Translation and First-Order Resolution -- TANCS-2000 Results for DLP -- Evaluating *SAT on TANCS 2000 Benchmarks -- Research Papers -- A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations -- A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus -- An Analytic Calculus for Quantified Propositional Gödel Logic -- A Tableau Method for Inconsistency-Adaptive Logics -- A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning -- Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics -- Variants of First-Order Modal Logics -- Complexity of Simple Dependent Bimodal Logics -- Properties of Embeddings from Int to S4 -- Term-Modal Logics -- A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics -- Dual Intuitionistic Logic Revisited -- Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions -- Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints -- Matrix-Based Inductive Theorem Proving -- Monotonic Preorders for Free Variable Tableaux -- The Mosaic Method for Temporal Logics -- Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5 -- A Tableau Calculus for Equilibrium Entailment -- Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory -- Tableau Calculus for Only Knowing and Knowing At Most -- A Tableau-Like Representation Framework for Efficient Proof Reconstruction -- The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson’s Arithmetic Q -- System Descriptions -- Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO -- E-SETHEO: An Automated3 Theorem Prover.This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in July 2000.The 23 revised full papers and 2 system descriptions presented were carefully reviewed and selected from 42 submissions. Also included are 3 invited lectures and 6 nonclassical system comparisons. All current issues surrounding the mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation, systems development, and applications, as well as covering a broad variety of logical calculi.Lecture Notes in Artificial Intelligence ;1847Artificial intelligenceProgramming languages (Electronic computers)Logic, Symbolic and mathematicalArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial intelligence.Programming languages (Electronic computers)Logic, Symbolic and mathematical.Artificial Intelligence.Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.006.3/33Dyckhoff Royedthttp://id.loc.gov/vocabulary/relators/edtTABLEAUX 2000BOOK9910767560303321Automated Reasoning with Analytic Tableaux and Related Methods2556460UNINA