Completeness theory for propositional logics [[electronic resource] /] / Witold A. Pogorzelski, Piotr Wojtylak

• Record Nr.: UNINA9910777457203321
• Autore: Pogorzelski Witold <1944->
• Pubbl/distr/stampa: Basel ; ; Boston, : Birkhäuser, c2008
• ISBN: 1-281-37863-1; 9786611378639; 3-7643-8518-9
• Edizione: [1st ed. 2008.]
• Descrizione fisica: 1 online resource (186 p.)
• Collana: Studies in universal logic
• Altri autori (Persone): WojtylakPiotr
• Disciplina: 511.3
• Soggetti: Completeness theorem
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references (p. [165]-174) and indexes.
• Nota di contenuto: Introduction -- 1. Basic notions: Propositional languages -- Abstract algebras -- Preliminary lattice-theoretical notions -- Propositional logics -- Brief exposition of the most important propositional logics -- 2. Semantic methods in propositional logic: Preordered sets -- Preordered algebras -- Logical matrices -- Adequacy -- Propositional logic and lattice theory -- 3. Completeness of propositional logic: Generalized completeness -- Post-completeness -- The problem of uniqueness of Lindenbaum extensions -- Some related concepts -- 4. Characterization of propositional connectives: Cn-definitions -- The system (D) -- Variants -- The system (I) -- Classical logic -- Appendix: The fundamental metatheorem for the classical propositional logic -- A proof system for the classical logic.
• Sommario/riassunto: Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede?ned in propositional logic. Completeness means the possibility of getting all correct and reliable sc- mata of inference by use of logical methods. The word ‘all’, seemingly neutral, is here a crucial point of distinction. Assuming the de?nition as given by E. Post we get, say, a global notion of completeness in which the reliability refers only to syntactic means of logic and outside the correct schemata of inference there are only inconsistent ones. It is impossible, ; however, to leave aside local aspects of the notion when we want to make it relative to some given or invented notion of truth. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics. Such completeness was e?ectively used by J. ?ukasiewicz and investigated in general terms by A. Tarski and A. Lindenbaum, which gave strong foundations for research in logic and, in particular, for the notion of consequence operation determined by a logical system. The choice of logical means, by use of which we intend to represent logical inferences, is also important. Most of the de?nitions and results in completeness theory were originally developed in terms of propositional logic. Propositional formal systems ?nd many applications in logic and theoretical computer science.

La démographie québécoise : Enjeux du XXIe siècle / / Céline Le Bourdais, Victor Piché

• Record Nr.: UNINA9910338229103321
• Autore: Le Bourdais Céline
• Pubbl/distr/stampa: Montréal, : Presses de l’Université de Montréal, 2003
• ISBN: 9791036535789; 9782760629592; 2760629597
• Edizione: [1st ed.]
• Descrizione fisica: 1 online resource (321 p.)
• Collana: Paramètres
• Altri autori (Persone): PichéVictor
• Disciplina: 320.3
• Soggetti: Institutions politiques comparées; Science politique; Idées politiques; Relations internationales; Comparative government; Political science; International relations
• Lingua di pubblicazione: Francese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Comprend des réf. bibliogr.
• Nota di contenuto: Fécondité et descendance finale -- Descendance et taux de reproduction -- Le nombre d'enfants mis au monde -- La rupture du caractère inexorable de la forte fécondité -- Avoir des enfants après 1980: aspirations et réalisations -- La maîtrise de la fécondité -- Réduction de la fécondité: essai d'interprétation -- Fécondité et déterminants proches -- Fécondité et rationalité économique -- Fécondité et changement social -- Innovation et diffusion du changement -- Fécondité et changements culturels -- Bibliographie -- 3. Du mariage obligatoire au mariage facultatif -- Le temps du mariage obligatoire (1900-1968) -- Saisons, guerres et crises -- Du mariage retardé au mariage précoce -- Quelques aspects de la conjugalité -- Vers le mariage facultatif (1969-1999) -- Le déclin de la nuptialité -- La montée de la divortialité -- L'adoption de l'union libre -- Les enjeux -- Le mariage et la famille -- Le nouveau mariage -- Le scénario de la fin? -- Notes -- Bibliographie -- 4. Ètre père au XXIe siècle: vers une redéfinition du rôle des hommes auprès des enfants -- L'apogée du pater familias (1945-1970) -- La transformation des rôles masculins et féminins (1970 à 2000) -- La maîtrise de la fécondité -- Du travail des mères aux mères au travail -- L'accès à l'éducation supérieure: pour les deux sexes -- Vivre à deux: remise en question -- La paternité redéfinie -- La paternité à l'ère de l'adn -- Le temps paternel en famille intacte -- La paternité à distance -- La paternité en série -- La paternité démissionnaire? -- La paternité exclue -- Vers une redéfinition de la parentalité -- Bibliographie -- 5. Un siècle de vieillissement démographique -- Transition démographique et émergence du vieillissement -- Futurs enjeux démographiques et socioéconomiques -- Perspectives -- Bibliographie -- 6. La population active au xxe siècle: caractéristiques et perspectives.; Définitions et considérations générales -- L'évolution de la taille et de la composition de la population employée -- Caractéristiques de la population employée -- Problèmes et perspectives -- Bibliographie -- Annexe: les sources de données et leurs problèmes -- 7. Un siècle d'immigration au québec: de la peur à l'ouverture -- De la logique impériale à la logique du développement économique -- Le Québec et le Canada du XXe siècle: des itinéraires similaires -- Deux grands régimes d'immigration -- 1900-1950: régime d'immigration raciste et assimilationniste -- 1950-2000: régime d'immigration sélectif et pluraliste -- Immigration, diversité et rapports ethniques au Québec -- La démographie de la diversité -- Discours de la majorité sur le «nous» québécois ou «Qui est québécois?» -- Notes -- Bibliographie -- 8. La dynamique démolinguistique du québec et de ses régions -- Analyse conceptuelle et méthodologique -- Évolution de la composition linguistique -- Comportement démolinguistique de la population -- Comportement démographique des anglophones -- Comportement démographique des francophones -- Comportement démographique des allophones -- Comportement linguistique des groupes linguistiques -- Perspectives -- Notes -- Bibliographie -- Conclusion: la démographie québécoise au XXIe siècle: d'autres révolutions à venir? -- Les contours de la révolution démographique -- Les enjeux démographiques du XXIe siècle -- Notes -- Bibliographie -- Notices bibliographiques -- Table des matières.
• Sommario/riassunto: Cet ouvrage constitue une véritable synthèse des transformations majeures que le Québec a connues au cours du xxe siècle. On emploie volontiers le terme de révolution démographique pour désigner les nombreuses modifications de comportements à la base de la reproduction démographique et sociale. À l'instar de la majorité des sociétés occidentales, le Québec a clairement complété une série de transitions ; d'abord avec la baisse de la mortalité puis celle de la ; fécondité, ensuite avec la transformation des modes de constitution des familles et le renversement de la pyramide des âges. Les générations du baby-boom qui ont d'abord contribué à rajeunir la population québécoise contribuent désormais à son vieillissement accéléré. L'accroissement de la participation des femmes au monde du travail et la tertiarisation de l'économie posent l'épineuse question des rapports des individus au travail et à la famille. Au tournant du xxie siècle, le Québec, marqué par une immigration accrue et de plus en plus diversifiée, devra choisir son modèle d'intégration.