Literatura académica sobre el tema "Bots (logiciels)"

In a posthumous paper, Perelman discusses his decision to bring his theory of argumentation together with rhetoric rather than calling it an informal logic. This is due in part because of the centrality he gives to audience, and in part because of the negative attitude that informal logicians have to rhetoric. In this paper, I explore both of these concerns by way of considering what benefits Perelman’s work can have for informal logic, and what insights the work of informal logicians might bring to the project of Perelman and Olbrechts-Tyteca.

Frege's attempts to formulate a theory of properties to serve as a foundation for logic, mathematics and semantics all dissolved under the weight of the logicial paradoxes. The language of Frege's theory permitted the representation of the property which holds of everything which does not hold of itself. Minimal logic, plus Frege's principle of abstraction, leads immediately to a contradiction. The subsequent history of foundational studies was dominated by attempts to formulate theories of properties and sets which would not succumb to the Russell argument. Among such are Russell's simple theory of types and the development of various iterative conceptions of set. All of these theories ban, in one way or another, the self-reference responsible for the paradoxes; in this sense they are all “typed” theories. The semantical paradoxes, involving the concept of truth, induced similar nightmares among philosophers and logicians involved in semantic theory. The early work of Tarski demonstrated that no language that contained enough formal machinery to respresent the various versions of the Liar could contain a truth-predicate satisfying all the Tarski biconditionals. However, recent work in both disciplines has led to a re-evaluation of the limitations imposed by the paradoxes.In the foundations of set theory, the work of Gilmore [1974], Feferman [1975], [1979], [1984], and Aczel [1980] has clearly demonstrated that elegant and useful type-free theories of classes are feasible. Work on the semantic paradoxes was given new life by Kripke's contribution (Kripke [1975]). This inspired the recent work of Gupta [1982] and Herzberger [1982]. These papers demonstrate that much room is available for the development of theories of truth which meet almost all of Tarski's desiderata.

La sculpture sur bois est une activité artisanale qui se pratique dans certaines localités des départements de l’Atlantique et du Littoral au sud du Bénin. Son exercice, bien que pénible, continue de mobiliser quelques rares artisans passionnés. Malgré que cette activité soit progressivement délaissée, ses productions sont cependant d’un attrait pour les touristes. Pour la sauvegarde de cette activité, cette étude a visé à réaliser un état des lieux de sa pratique dans ces deux départements.L’approche méthodologique adoptée est axée sur la recherche documentaire, la collecte des données, leur traitement et l’analyse des résultats. La méthode de la boule de neige a permis d’enquêter 19 sculpteurs du bois de la zone d’étude. Les logiciels Excel, Sphinx Plus2 ont aidé au traitement des données.Les résultats obtenus de l’étude montrent que la sculpture sur bois continue à être pratiquée dans les départements de l’Atlantique et du Littoral. L’activité est favorisée par plusieurs facteurs. Il existe plusieurs espèces ligneuses permettant de disposer de bois variés. Ces départements disposent aussi d’une ressource humaine de qualité et d’expérience dans la sculpture du bois. Au plan technique et organisationnel, la mise en place par l’Etat du Fonds de Développement de l’Artisanat et l’institution du Certificat de Qualification aux Métiers (CQM) pour les artisans des différents corps de métiers en fin de formation au Bénin sont aussi d’un atout capital.

Depuis fin 2018, le fonctionnement de la revue Bois et Forêts des Tropiques a évolué. En remplacement de Jacques Tassin, Jean-François Trébuchon a pris la suite des opérations en tant que rédacteur en chef et coordinateur éditorial. Une équipe de rédaction a été constituée, incluant six rédacteurs scientifiques : Kévin Candelier, Antoine Galiana, Laurent Gazull, Valéry Gond, Jean Gérard et Jacques Tassin. Leur mission consiste à examiner le fond scientifique des manuscrits soumis, à piloter leur évaluation en double-aveugle avec l’aide de relecteurs internationaux du Nord et du Sud, et à accompagner les auteurs dans la rédaction finale lorsque l’article est retenu comme publiable. Le processus d’évaluation des manuscrits s’articule donc en trois temps : (i) avis du comité de rédaction sur la recevabilité du dossier de soumission vis-à-vis de la ligne éditoriale et de la note aux auteurs, (ii) pilotage de l’évaluation, de manière constructive et bienveillante, conduite en double-aveugle par les pairs, et (iii) vérification de la prise en compte des recommandations des pairs et accompagnement à la rédaction avant mise en édition et publication. Fin 2019, le Comité éditorial a été renouvelé. Il rassemble une trentaine de chercheurs internationaux, référents de renom, intervenant dans les zones tropicales et méditerranéennes, et affiliés à des universités ou des centres de recherche internationaux. Une nouvelle fois, ce comité associe des chercheurs du Nord et du Sud, jeunes ou confirmés, selon une parité du genre et un équilibre des continents. Leur engagement est de trois années et court de 2020 à 2022. Leur mission est (i) de veiller à la qualité du contenu de la revue, en lien avec les évolutions thématiques des recherches sur l’environnement de la forêt, de l’arbre et du bois, (ii) d’assurer ponctuellement le rôle de relecteur ou de suggérer d’autres relecteurs, et (iii) bien entendu de proposer des manuscrits, en tant que co-auteur ou simple « rabatteur ». Pour le respect des exigences éthiques et déontologiques inhérentes aux pratiques de recherche, la revue s’est dotée d’un logiciel de reconnaissance et d’analyse de plagiat et d’auto-plagiat. L’outil épaule l’équipe éditoriale pour émettre un premier avis sur le manuscrit. Afin de favoriser le libre accès aux publications, Bois et Forêts des Tropiques a substitué la licence CC-BY à la licence Creative Commons, offrant ainsi une grande liberté dans la réutilisation des manuscrits publiés. La préservation du droit d’auteur et du copyright, dans le respect des auteurs et de la revue, n’en est pas moins garantie. Pour faciliter l’accès et le repérage pour les auteurs et les lecteurs, Bois et Forêts des Tropiques a également fait évoluer le logiciel gérant le site web et la soumission d’articles en ligne, tout en maintenant son référencement dans les bases de données bibliographiques internationales. Enfin, notre revue reste gratuite, en accès libre et soutenue financièrement par le Cirad, conformément au mandat de partenariat porté par l’institution, au service de la publication de travaux de recherche assurés dans le domaine des sciences forestières, en soutien et en coopération avec la recherche au Sud. Publiée en français ou en anglais, elle demeure un tremplin pour les jeunes chercheurs et les chercheurs chevronnés œuvrant dans l’univers de la recherche appliquée.

Abstract This paper will discuss the nature of language. I find the present state of the subject, the Philosophy of Language, and the present state of Lin- guistics to be both, for different reasons, unsatisfactory. The problem with the Philosophy of Language is that its practitioners tend to lose sight of the psy- chological reality of language, i.e. of speaking and writing. Historically this is because the Philosophy of Language began with Frege’s logic and has continued to the present day to be heavily influenced by considerations of formal logic. Logicians need not be interested in the psychological reality of logical systems. Frege’s logical system is much more powerful than Aristotle’s, but for all I know Aristotle may be closer to the way people actually think. It does not matter to logicians.

AbstractThis article presents a case study of the influence of Muslim and Christian logicians on medieval Jewish law. The case in question is why it is a punishable offense for Jews to eat mammals that do not have either sign of purity—that is, neither have split hooves nor chew their cud—and the article examines the answers given by three medieval Jewish sages: Rashi, Maimonides, and Naḥmanides. The Written Law of the Torah explicitly allows the consumption of mammals, such as cattle, with both signs of purity. It also explicitly prohibits the eating of mammals, such as camels or pigs, with one sign but not the other. It does not, however, appear to explicitly prohibit the consumption of mammals, such as horses, with neither sign. Using a fortiori logic, Rashi derives a punishable prohibition against eating horses from the prohibition against eating camels and pigs. Maimonides ascribes this prohibition to the Oral Law of the Talmud. Naḥmanides, by contrast, attributes it directly to the Written Law without relying on either a fortiori logic or the Oral Law. This article argues that this solution was available to Naḥmanides because he adopted inclusive disjunction from Christian logicians, but it was not available to Maimonides because he adopted exclusive disjunction from Muslim logicians. The choice between inclusive and exclusive disjunction is shown to continue to be of importance in modern American law.

Dans le cadre d’un enseignement progressif de l’automatisme, nous verrons dans cet article qu’il est intéressant d’utiliser un jumeau numérique d’un système réel pour aller vers la programmation de systèmes complexes industriels. Nous utilisons pour cela trois logiciels Siemens communiquant ensemble à savoir NX MCD, pour le jumeau numérique, PLC SIM Advanced pour le simulateur d’automate et TIA Portal pour la partie programmation. Les TP utilisant le jumeau numérique pour réaliser la commande d’un poste de notre cellule flexible ayant été réalisés par deux profils d’élèves ingénieurs en apprentissage de niveau bac+4, un questionnaire leur a été soumis afin de récupérer leur retour et leur perception du jumeau numérique. Globalement les retours sont bons même s’il faut distinguer dans l‘analyse du questionnaire les profils automaticiens, des profils plus maintenance.

Connections between J.L. Vives and C.S. Peirce are shown. Not only is reflection on language and meaning central in both thinkers, but Peirce also knew Vives' thought especially through W. Hamilton and the Scottish common sense school. Peirce credited Vives with being a forerunner of the use of diagrams in logic, and both share a critical view of late medieval nominalistic logicians and a social and hierarchical conception of knowledge.

College students give true judgment routinely, logicians can infer modal inferences, i.e., inferences that concern three alethic modalities; necessary (⸧), possible (◊), and impossible (⟢) from the premises that are logically consistent and incompatible. To achieve the desired results, logicians have intermingled alethic modalities with logical consistency and incompatibility, i.e., necessary consistent, impossible incompatible, possible consistent, or possible incompatible, and write them in classical modal logic as ⸧C (necessary consistent), ◊C (possible consistent) or ◊I (possibly incompatible) and ⟢I (impossible incompatible). M paradigm [Modality, Mental logic theory (MLT), and Mental model theory (MMT)] have been built to enlighten this truth logic. The basic idea of this study is to examine the theory; how do students judge whether two or more different propositions are possible? and, whether their judgment is true. Truth logic is used to construct some principles that help to justify the above theory. First, inferences have either ◊C/ ◊I or ⸧C but assertions are consistent. Second, each ◊C/ ◊I inference and premise is evaluated for both single and double model assertions, and they have consistency (i.e., ⸧C/◊C) and incompatibility (i.e., ◊I or ⟢I). As logicians have predicted, students mostly endorse inferences as ◊C/ ◊I rather than ⸧C and the ⟢I rate is higher in multi-model assertions. Syllogistic logical reasoning with conditionals (if, then...), conjunctions (and), disjunctions (or), and quantifiers “all” and “some” have been used in the M paradigm to evaluate predictions. Moreover, a computational program and experimental studies have strongly supported the all given principles and predictions.

Chaque jour, une guerre invisible pour les données se déroule entre les sites de commerce électronique et les acteurs qui,en siphonnent les données, sont appelés "scrapers'' . Les sites de commerce électronique détiennent les données au cœur du conflit et souhaitent les fournir uniquement aux utilisateurs légitimes. Les scrapers veulent un accès illimité et continu aux données susmentionnées pour en tirer profit. Pour atteindre cet objectif, les scrapers envoient de grandes quantités de requêtes aux sites de commerce électronique, ce qui leur cause des problèmes financiers. Cela a conduit l'industrie de la sécurité à s'engager dans une course aux armements contre les scrapers afin de créer de meilleurs systèmes pour détecter et contrer leurs activités. À l'heure actuelle, la bataille se poursuit, mais les scrapers semblent avoir le dessus, notamment grâce à leur utilisation de Proxies IP Résidentiels (RESIPs). Dans cette thèse, nous visons à rééquilibrer la balance des forces en introduisant de nouvelles techniques de détection et d'atténuation qui surmontent les limitations des méthodes actuelles. Nous proposons une technique inspirée des "pots de miel'' qui piège les scrapers en leur faisant croire qu'ils ont obtenu les données visées tandis qu'ils reçoivent des informations modifiées. Nous présentons deux nouvelles techniques de détection basées sur des mesures de réseau qui identifient les requêtes émanant de scrapers cachés derrière les infrastructures RESIP. À travers un partenariat en cours avec Amadeus IT Group, nous validons nos résultats en utilisant des données opérationnelles réelles. Conscients que les scrapers ne cesseront pas de chercher de nouvelles façons d'éviter la détection et l'atténuation, nous offrons des contributions qui peuvent aider à élaborer les prochaines armes défensives pour lutter contre les scrapers. Nous proposons une caractérisation complète des RESIPs, la plus puissante arme actuellement à la disposition des scrapers. De plus, nous examinons la possibilité d'acquérir des renseignements sur les menaces liées aux scrapers en les géolocalisant lorsqu'ils envoient des demandes via un RESIP
Every day an invisible war for data takes place between e-commerce websites and web scrapers. E-commerce websites own the data at the heart of the conflict and would like to provide it only to genuine users. Web scrapers aim to have illimited and continuous access to the above-mentioned data to capitalize on it. To achieve this goal, scrapers send large amounts of requests to e-commerce websites, causing them financial problems. This led the security industry to engage in an arms race against scrapers to create better systems to detect and mitigate their requests. At present, the battle continues, but scrapers appear to have the upper hand, thanks to the usage of Residential IP Proxies (RESIPs). In this thesis, we aim to shift the balance by introducing novel detection and mitigation techniques that overcome the limitations of current state-of-the-art methods. We propose a deceptive mitigation technique that lures scrapers into believing they have obtained their target data while they receive modified information. We present two new detection techniques based on network measurements that identify scraping requests proxied through RESIPs. Thanks to an ongoing collaboration with Amadeus IT Group, we validate our results on real-world operational data. Being aware that scrapers will not stop looking for new ways to avoid detection and mitigation, this thesis provides additional contributions that can help in building the next defensive weapons for fighting scrapers. We propose a comprehensive characterization of RESIPs, the strongest weapon currently at the disposal of scrapers. Moreover, we investigate the possibility of acquiring threat intelligence on the scrapers by geolocating them when they send requests through a RESIP

De nos jours, une grande diversité d'appareils tels que des smartphones, des ordinateurs ou des télévisions connectées peuvent naviguer sur le web. Afin d'adapter leur expérience de navigation, les utilisateurs modifient également diverses options telles que l'affichage de la barre des favoris ou leurs langues préférées. Cette diversité d'appareils et de configurations sont à l'origine du suivi par empreintes de navigateurs. En effet, pour gérer cette diversité, les sites web peuvent accéder à des informations relatives à la configuration de l'appareil grâce aux interfaces du langage JavaScript, sans obtenir l'accord préalable de l'utilisateur. La combinaison de ces informations est appelée empreinte de navigateur, et est bien souvent unique, pouvant donc servir à des fins de suivi marketing.Néanmoins, le fait que les empreintes ne soient pas stockées sur la machine rend cette technique également intéressante pour des applications relatives à la sécurité sur le web.A travers cette thèse, je propose 3 contributions relatives aux domaines des empreintes de navigateurs :1. Je collecte 122,000 empreintes de 2,346 navigateurs et analysons leur stabilité pendant plus de 2 ans. Je montre qu'en dépit de changements fréquents dans leur empreinte, une part significative des navigateurs peut être suivie pendant de longues périodes;2. Je conçois une suite de tests afin d'évaluer la résistance des outils de protection contre le suivi par empreinte de navigateurs. Je l'applique à 7 outils de protection, et montre que tous peuvent être détectés, ce qui peut rendre leur utilisateurs plus facilement identifiables, et donc vulnérables au suivi;3. Enfin, j'explore l'utilisation des empreintes de navigateurs pour la détection de crawlers. Après avoir mesuré l'usage de cette technique sur le web, je présente les différents attributs et tests permettant la détection. Comme les empreintes de navigateurs sont collectées côté client, j'évalue également la résilience de cette forme de détection contre un adversaire développant des crawlers dont les empreintes ont été modifiées
Nowadays, a wide range of devices can browse the web, ranging from smartphones, desktop computers, to connected TVs. To increase their browsing experience, users also customize settings in their browser, such as displaying the bookmark bar or their preferred languages. Customization and the diversity of devices are at the root of browser fingerprinting. Indeed, to manage this diversity, websites can access attributes about the device using JavaScript APIs, without asking for user consent. The combination of such attributes is called a browser fingerprint and has been shown to be highly unique, making of fingerprinting a suitable tracking technique. Its stateless nature makes it also suitable for enhancing authentication or detecting bots. In this thesis, I report three contributions to the browser fingerprinting field:1. I collect 122K fingerprints from 2,346 browsers and study their stability over more than 2 years. I show that, despite frequent changes in the fingerprints, a significant fraction of browsers can be tracked over a long period of time;2. I design a test suite to evaluate fingerprinting countermeasures. I apply our test suite to 7 countermeasures, some of them claiming to generate consistent fingerprints, and show that all of them can be identified, which can make their users more identifiable;3. I explore the use of browser fingerprinting for crawler detection. I measure its use in the wild, as well as the main detection techniques. Since fingerprints are collected on the client-side, I also evaluate its resilience against an adversarial crawler developer that tries to modify its crawler fingerprints to bypass security checks

L’optimisation combinatoire concerne la résolution de problèmes pour lesquels les variables prennent des valeurs discrètes et sur lesquelles s’appliquent des contraintes. L’ensemble des variables et des contraintes définissent un modèle représentant le problème. Un très grand nombre de problèmes industriels peuvent être représentés sous cette forme. Un logiciel qui prend un modèle en entrée et produit une solution est appelé solveur. La programmation par contraintes (PPC) est l’une des techniques algorithmiques pouvant être utilisée par ces solveurs. Dans ce mémoire, nous développons un nouveau solveur. L’objectif premier est de compter sur un solveur facilement modifiable dans le but d’y ajouter de nouvelles approches de résolution développées par les chercheurs. De plus, dans le but de démontrer l’utilité du solveur, nous développons une approche exploitant ce solveur dans le but de générer des patrons de chargement alternatifs pour un séchoir à bois utilisé par l’industrie des produits forestiers. Finalement, nous présentons dans ce mémoire une nouvelle technique pour résoudre avec plus d’efficience certains problèmes de PPC. Les algorithmes de filtrage associés aux contraintes sont typiquement déclenchés en fonction d’événements qui se produisent lors de la résolution du problème. Nous proposons un nouvel événement qui permet d’effectuer du filtrage tardif des variables. Nous montrons que, pour un problème classique d’optimisation combinatoire (Balanced Incomplete Block Design), il donne une meilleure performance tout en maintenant le même niveau de filtrage par rapport à l’utilisation des événements classiques.
Combinatorial optimization concerns the solving of problems for which the variables take discrete values and on which constraints apply. The set of variables and constraints form the model of the problem. A lot of industrial problems can be represented in this form. A solver is a software that takes as input a model and produces a solution. Constraint programming (CP) is one of the algorithmic techniques that can be used within a solver. In this master’s thesis, we develop a new solver. The primary objective is to rely on an easily modifiable solver in order to add new resolution approaches developed by researchers. Moreover, in order to demonstrate the utility of the solver, we develop an approach using that solver in order to generate alternative loading patterns for a kiln in the forest industry. Finally, in this master’s thesis, we present a new technique for solving some CP problems. The filtering algorithms are triggered according to events that occur when solving the problem. We propose a new event that allows to perform a lazy filtering of the variables. We demonstrate, on a classical combinatorial optimization problem (Balanced Incomplete Block Design), that it gives a better performance while maintaining the same level of filtering when compared with classical events.

Les objectifs de ce travail sont donc, dans un premier temps, de mieux comprendre les effets de l’espacement initial sur les caractéristiques des arbres de pin gris et d’épinette blanche ainsi que sur les propriétés mécaniques de leur bois. Il sera également possible de développer un facteur de correction du volume des sciages obtenus en fonction des déformations naturelles présentes sur les tiges pour ces deux essences, et ce, dans le but d’estimer de manière plus précise le volume de sciage disponible à partir des données d’inventaires forestiers. Dans un deuxième temps, le travail consiste à modéliser la présence des nœuds et à percevoir leurs impacts sur le rendement en sciage à l’aide d’Optitek, un logiciel de simulation du procédé du sciage. Pour réaliser cette étape, un certain nombre de billes ont été traitées dans un CT Scanner et un nouveau logiciel a été mis au point afin d’extraire l’information désirée des images tomodensitométriques (CT) pour ensuite la rendre compatible au logiciel Optitek. Le but de cette étape est d’être en mesure d’effectuer des simulations du procédé de débitage en tenant compte de la dimension et de l’emplacement des nœuds de façon à maximiser la valeur de chaque bille. Les arbres proviennent d’une plantation d’épinette blanche (Picea glauca (Moench) Voss) et de pin gris (Pinus banksiana Lamb.) de type Nelder (1962). Ce type de plantation se caractérise par une forme circulaire qui fait en sorte que la densité de peuplement diminue graduellement du centre vers la périphérie du cercle. Ce site a permis l’étude de deux essences différentes ayant grandi dans des conditions de croissance similaires. Premièrement, les résultats démontrent que les caractéristiques des arbres sont fortement influencées par la densité de peuplement. En effet, le DHP, la hauteur totale, le défilement, la longueur et la largeur de la cime vivante, le diamètre des cinq plus grosses branches mortes et vivantes ont généralement augmenté avec l’accroissement de la distance entre les arbres, autant chez le pin gris que chez l’épinette blanche. L’optimisation du débitage primaire en fonction de l’emplacement spatial réel des nœuds internes dans les arbres a généré un volume de sciage significativement plus élevé et de plus grande valeur que les simulations du débitage uniquement basées sur la géométrie des tiges. En effet, la prise en compte de la distribution des nœuds lors des simulations du sciage a permis d’augmenter le nombre de pièces de qualité No.2 & meilleur produites de 15% pour l’épinette blanche et de 40% pour le pin gris. L’augmentation de la valeur des sciages associée à la connaissance de la distribution interne des nœuds a varié de 9,5% à 15,1% pour l’épinette blanche et de 15,2% à 23,0% pour le pin gris. Encore une fois, l’augmentation du rendement en valeur a été plus forte chez le pin gris que chez l’épinette blanche en raison de la présence de nœuds de plus fortes dimensions qui augmentent le potentiel d’optimisation.
The first objective of this work is to characterize the properties of jack pine and white spruce and develop a lumber volume correction factor due to stem shape for both species. The purpose of this section is to more precisely predict lumber volume from forest inventory data. The second objective is to model the presence of knots and evaluate their impact on lumber yield using Optitek, a sawing simulation software. To achieve this goal, a new software had to be developed in order to extract CT image information and make it compatible with the Optitek software. Hence, the second objective is simulate lumber sawing while taking into account the knot dimension and location. The trees come from a Nelder (1962) type plantation of white spruce (Picea glauca (Moench) Voss) and jack pine (Pinus banksiana Lamb.). This type of plantation is characterized by a circular shape which makes the stand density vary from the center to the periphery of the circle. This site makes possible the study of two different species growing in similar conditions. Several field data were analyzed such as diameter at breast height (DBH), curvature, taper, total tree length, live crown size. First, the results show that tree characteristics are strongly influenced by the stand density. Indeed, DBH, total height, taper, length and width of the live crown, diameter of the five largest branches dead and alive generally increased with greater distance between the trees, both for jack pine and white spruce. The results obtained with the simulation using the knot information gave a lumber sawing volume and value significantly higher. Both jack pine and white spruce have produced more No.2 & better pieces when knots have been considered in the sawing simulations (15% for white spruce and 40% for jack pine). As for lumber value, the increase varied from 9.5% to 15.1% for white spruce and 15.2% to 23.0% for jack pine. Again, the larger jack pine knot size could explain this greater potential for improvement.

Pour réduire l’impact environnemental d’un bâtiment, l’intégration de l’analyse du cycle de vie (ACV) en phase de conception peut s’effectuer selon deux approches : par l’utilisation d’un outil simplifié, tel qu’Athena, par les professionnels de la construction, ou par la collaboration d’un analyste en ACV en utilisant un outil plus complexe, tel que SimaPro. L'objectif du projet est d'évaluer les forces et les limites de ces outils pour l’analyse de bâtiments en bois innovants au Canada. Les résultats sont basés sur une étude de cas : un immeuble à bureaux de six étages avec une structure en bois lamellé-collé hors norme au moment de la construction. Pour Athena, plus de flexibilité est souhaitable, incluant un contrôle des cycles d’entretien des matériaux et l’ajout du degré d’incertitude des résultats. SimaPro offre plus de flexibilité et de transparence, mais une meilleure représentation des matériaux de construction dans le contexte canadien serait nécessaire.
To reduce the environmental impact of a building, integration of life cycle assessment (LCA) during design phase can follow two approaches: use of a simplified tool, such as Athena, by construction professionals, or use of a more complex tool, such as SimaPro, in collaboration with an LCA analyst. The objective of the project is to evaluate the strengths and limitations of these tools when analysing innovative timber buildings in Canada. The results are based on a case study: a six-storey office building with glulam structure that was outside prescriptive standard at time of construction. For Athena, possible improvements include more flexibility, including a better control over the maintenance cycles of materials, as well as more information regarding the uncertainty of the results. SimaPro offers more flexibility and transparency. However, more processes representing building materials in the Canadian context would be necessary.

La biologie de la conservation est un domaine de recherche en pleine expansion en raison de la perte accélérée de la biodiversité à l’échelle mondiale. Pour mieux comprendre les processus et les menaces au maintien des populations de petite taille et les effets des facteurs anthropiques sur la biodiversité, la génétique est fréquemment utilisée en conservation. Des analyses génétiques peuvent, par exemple, nous informer sur les tendances à long terme, la diversité des populations et les stratégies de reproduction d’une espèce. La tortue des bois (Glyptemys insculpta) est une espèce endémique à l’Amérique du Nord qui est en danger d’extinction selon l’Union internationale pour la conservation de la nature. Dans le cadre de ma thèse, j’avais comme objectif de caractériser la diversité génétique de cette espèce menacée au Canada. À cet effet, j’ai analysé la génétique des populations de tortues des bois à plusieurs échelles spatiales et temporelles, afin de mieux cerner les processus ayant un impact sur la diversité des populations. Dans un premier temps, les relations de parentalité ont été reconstruites au sein d’une population de tortues des bois pour estimer la fréquence de paternité multiple et de paternité répétée. Les résultats de mes travaux suggèrent que l’emmagasinement de sperme chez la femelle et la reproduction multiple avec les mêmes partenaires pour plus d’une saison de reproduction pourraient expliquer ces phénomènes. Ces stratégies de reproduction pourraient dans ce cas être induites par la faible densité de la population à l’étude, ou encore par la fidélité au site d’hibernation où la majorité des évènements de copulation ont lieu. Par la suite, je me suis intéressée à la diversité génétique des populations de tortues de bois. J’ai voulu comprendre les effets de la configuration spatiale des éléments du paysage et les évènements de dispersion géographique sur la diversité des populations. À l’aide d’une approche de génétique du paysage, mes analyses montrent que la division des populations par bassins versants explique une large fraction de la diversité génétique interpopulations. Ces résultats confirment également que les bassins versants représentent des unités de gestion propices à la protection des populations de tortues des bois. Finalement, des analyses de réseaux ont été utilisées pour mieux cerner la dynamique de flux génique entre les populations de la rive nord et de la rive sud du fleuve Saint-Laurent. Plus spécifiquement, la rive nord se caractérise par un réseau robuste de populations isolées, alors que les populations de la rive sud présentent plutôt une structure de métapopulation. En utilisant les réseaux construits à partir de données génétiques, des scénarios hypothétiques furent comparés pour explorer la sélection de populations à l’aide du logiciel BRIDES. Les résultats de ces analyses ont permis de cibler l’importance de certaines populations de tortues des bois pour la connectivité du réseau. L’importance de ces populations n’aurait pu être prédite par les résultats de la diversité et de la différenciation génétique, les indices de centralité et les analyses d’élimination de nœuds. Grâce à la génétique, cette thèse apporte de nouvelles connaissances sur la tortue des bois, les stratégies de reproduction des différents sexes, le flux génique, la connectivité et l’influence du réseau hydrographique sur la diversité des populations. Ces résultats nous permettent d’avoir une meilleure compréhension des processus affectant la diversité génétique de cette espèce afin de mieux la protéger. Toutes les analyses réalisées pour cette thèse sont directement applicables à l’ensemble des autres espèces longévives avec des générations chevauchantes.
Conservation biology is a rapidly expanding field of research due to the accelerating loss of global biodiversity. To better understand the processes and threats to the persistence of small populations and the effects of anthropogenic factors on biodiversity, genetic approaches are frequently used in conservation. Genetic analyzes can, for example, inform us about long-term trends, population diversity and reproductive strategies of a species. The wood turtle (Glyptemys insculpta) is a species endemic to North America that is endangered according to the International Union for the Conservation of Nature. As part of my thesis, my objective was to characterize the genetic diversity of this threatened species in Canada. In order to better understand the impact of reproductive strategy and landscape structure on population diversity, I analyzed the genetics of wood turtle populations at several spatial and temporal scales. First, parentage relationships were reconstructed in a population of wood turtles to estimate the frequency of multiple and repeated paternity. The results of my work suggest that sperm storage in females and multiple reproduction with the same partners for more than one breeding season could explain these phenomena. These reproduction strategies could in this case be induced by the low density of the study population, or by fidelity to the overwintering site where the majority of copulation events take place. Subsequently, I assessed the genetic diversity of wood turtle populations. I wanted to understand the effects of the landscape configuration and geographic dispersion events on the diversity of populations. Using a landscape genetics approach, my analyzes show that the division of populations by watershed explains a large fraction of the genetic diversity between populations. These results also confirm that watersheds represent management units conducive to the protection of wood turtle populations. Finally, network analysis was used to better understand the gene flow dynamics among populations located on the north and south shores of the St. Lawrence River. More specifically, the north shore is characterized by a robust network of isolated populations, whereas the populations on the south shore present more of a metapopulation structure. Using population graphs, hypothetical scenarios were compared to explore the node selection process using the BRIDES algorithm. The results of these analyzes made it possible to point out specific populations of wood turtles, considering their importance for network connectivity. This could have not been predicted by using genetic diversity and distinctiveness estimates, node-based metrics, and node removal analysis for these populations. Thanks to genetics, this thesis brings new knowledge on the wood turtle, the reproductive strategies of both sexes, the gene flow, the connectivity and the influence of the hydrographic network on population diversity. These results allow us to have a better understanding of the processes affecting the genetic diversity of this species in order to better protect it. All analyses performed for this thesis are directly applicable to other long-lived species with overlapping generations.

Pour les projets de développement des ressources naturelles ou tout autre projet ayant un impact sur l’environnement, l’acceptabilité sociale fait désormais partie du langage populaire et scientifique. Malgré les démarches de création de grilles d’analyse de critères qui se sont multipliées pour évaluer le développement durable d’un projet, celles-ci ne sont pas adaptées pour qualifier un projet qui vise à obtenir l’acceptabilité sociale. Grâce à l’analyse d’un cas réel dont nous nous inspirons, le projet de la mine d’apatite du lac à Paul de l’entreprise minière Arianne Phosphate, nous démontrons comment, avec la perspective éthique de la sollicitude de Paul Ricoeur, l’acceptabilité sociale niche dans les valeurs des intervenants concernés par un projet de développement. L’identification des valeurs se fait par l’analyse du rapport du Bureau d’audiences publiques en environnement (BAPE) déposé en août 2015 au ministre du Développement durable, de l’Environnement et de Lutte contre les changements climatiques du Québec sur le projet d’Arianne Phosphate. Ce qui est recherché consiste en la diversité et la multiplication des valeurs rencontrées lors des audiences. Celles-ci permettent de cibler les parties du projet nécessitant un investissement de temps pour que le projet se réalise dans la perspective de l’éthique dans le but d’atteindre l’acceptabilité sociale. À l’aide de l’approche par le « JE-TU-IL » de Paul Ricoeur, nous procédons à interpréter l’analyse des valeurs contenues dans les expressions décrivant les sentiments et l’état d’esprit des participants. Pour chaque partie du projet, grâce au rapport du BAPE, nous avons retracé les valeurs en confrontation à l’aide de tableaux référant aux critères du développement durable (environnementaux, économiques et sociaux) et ceux de l’acceptabilité sociale (transparence, écoute et intégrité), tel que proposé par le Conseil patronal de l’environnement. Les valeurs traduisent le sens que chacun cherche dans le projet et ce qu’il attend du promoteur. Il est donc possible, pour les participants en présence, de savoir sur quelle problématique il faut mettre l’emphase dans le but de l’inscrire dans une recherche d’une plus grande sollicitude, que nous appellerons « l’opérationnalisation » du « TU » de Paul Ricoeur. On constate que dans l’approche de la personne, le « TU » de Ricoeur exprime la sollicitude, attitude qui appelle l’écoute des valeurs. Par le fait même, on peut envisager que c’est dans cet espace précis que logerait l’acceptabilité sociale. Là où peu ou pas de valeurs sont énoncées, les conflits sont peu incommodants et l’acceptabilité sociale mieux rencontrée.

This book argues that a philosophical community emerged in sixteenth- and seventeenth-century India that crafted an intellectual life on the basis of intellectual and emotional responses to novelty in Sanskrit logic (nyāya-śāstra). As the book demonstrates, novelty was a primary concept used by Sanskrit logicians during this period to mark the boundaries of a philosophical community in both intellectual and emotional terms. This concept was expressed in their texts through the use of terms such as “old” and “new” when discussing certain philosophical opinions, signaling that periodization was a major component of their philosophy. By retaining space for emotion when studying intellectual thought, this book recovers not only what it means to “think” novelty but also what it means to “feel” novelty. Studying little-known essays by Sanskrit logicians in early modernity, the book explores the contours of what is termed “intellectual novelty” and “affective novelty” in Sanskrit logic—expressions of novelty in which is contained both cognitive and emotional content that, taken together, constitute intellectual life. As these expressions ultimately collapse into each other, the book argues that what emerges is an imaginative process that brings into being a new philosophical community.

This is a foundational work, written not just for philosophers of logic, but for logicians and foundationalists generally. Like Frege we seek to deal with the formal first-order language of mathematics. We revisit Gentzen’s proof theory in order to build relevance into proofs, while leaving intact all the logical power one is entitled to expect of a deductive logic for mathematics and for scientific method generally. Proof systems are constituted by particular choices of rules of inference. We raise the issue of the reflexive stability of any argument for a particular choice of logic as the ‘right’ logic. We examine the question of pluralism v. absolutism in choice of logic, and suggest that the informal notion of valid argument is stable and robust enough for us to be able to ‘get it right’ with our formal systems of proof for both constructive and non-constructive reasoning.

Pyrrhonian skepticism is defined by its commitment to inquiry. The Greek work skepsis means inquiry—not doubt, or whatever else later forms of skepticism took to be at the core of skeptical philosophy. The book proposes that Sextus Empiricus’s legacy in the history of epistemology is that he developed an epistemology of inquiry. The volume’s authors investigate epistemology after Sextus, both ways in which he has influenced the history of philosophy and ways in which he and the Pyrrhonian tradition he represents ought to contribute to contemporary debates. As a whole, the book aims to (re)instate Sextus as an important philosopher in these discussions in much the same way that Aristotle has been brought into discussions in contemporary ethics, action theory, and metaphysics. Sextus provides a fresh take on contemporary debates because he approaches issues of perception, disagreement, induction, and ignorance from the perspective of inquiry. The volume’s contributions address four core themes of Sextus’s skepticism: (1) appearances and perception, (2) the structure of justification and proof, (3) belief and ignorance, and (4) ethics and action. These themes are explored in some historical authors whose work relates to Sextus, including Peripatetic logicians, Locke, Hume, Nietzsche, and German idealists; and they are explored as they figure in today’s epistemology, philosophy of mind, philosophy of language, and ethics.

Abstract Eva Picardi has been one of the most influential Italian analytic philosophers of her generation. She taught for forty years at the University of Bologna, raising three generations of students. The present volume is a collection of Picardi’s papers on Frege’s philosophy of logic, language, and psychology. Together, these papers provide a close look at the milieu within which Frege operated and serve to highlight the relevance of his work for contemporary debates, particularly in the philosophy of language. One strand in her work on Frege concerns understanding and contextualizing Frege’s anti-psychologism. Picardi’s contention is that it is much more motivated by semantic considerations than by adherence to Kantian transcendentalism. Furthermore, her deep knowledge of German and the fact that she was a native speaker of Italian put her in a privileged position to reconstruct the intricacies of Frege’s relationship with other logicians of his time, both in Germany, such as Kerry and Sigwart, and in Italy, such as Peano and his school. Picardi’s work in this regard is all the more significant nowadays, as these two dimensions of philosophy—the historical and the theoretical—are typically perceived as separate, if not even in competition with one another, particularly within analytic philosophy itself. Reading Picardi’s work, in contrast, cannot but show that they complement and enrich one another. Such a methodological lesson is the most original and impactful element in Picardi’s legacy and something deeply dear to her heart and constitutive of her identity as a scholar.

We all think that objects can survive change, but the opposite can be argued. If a person changes their hairstyle, they are both the same person and a different person. ‘Identity and change: is anything ever the same?’ examines problems arising when things change and the identity of objects that change through time. Any change means that the old object no longer exists and is replaced by a different object. Logicians point to the difference between the object and its properties. Is this a language issue? In English, the verb ‘to be’ and its various grammatical forms can be used to express both the object and its properties.

Abstract This book is largely (45–432) an edition of a Sophistria text that represents logic teaching at the University of Prague around 1400 A.D. While the anonymous author shows few signs of intellectual distinction, both the topics chosen for discussion and the large number of direct references to other logicians make the work a valuable source for those interested in the undergraduate curriculum of the late middle ages. The editor, E.P. Bos, has done an excellent job of presenting the Latin text in as perspicuous a fashion as possible, and has provided the reader with an analysis (8–10) of the somewhat haphazard way in which the Prague master presented his sequences of arguments. However, in order to understand the text, or to glean from it anything about university teaching, one needs a good deal more than that.

We are strongly intuitive about the validity of various inferences. This may or may not be hard-wired into us. Intuition gets us into trouble sometimes. ‘Truth functions—or not?’ plays around with the idea of invalid and valid inferences and, using phrases such as ‘or’ or ‘it is not the case that’, shows that chaining valid inferences together doesn’t necessarily result in an invalid inference. People’s intuition can be misleading. Sentences can be true or false. Gottlob Frege called these truth values. If we assume that every sentence is either true or false, but not both, we can predict the conditions in what logicians call a truth table.

Besides the birth of new revolutionary concepts and methods, and of new areas of research, mathematicians, logicians, and philosophers have put into question the foundations of the discipline itself and the whole meaning of “mathematical truth.” Before then, at the end of the eighteenth century, mathematics was mainly concerned with explaining the “real world” and its laws. At the beginning of the “modern era” things started to change, sometimes slowly, other times abruptly. Abstract mathematics was no longer intimately related to the real world and its description. This abstract approach, both on research and on mathematical education, generated critical reactions in the mathematical community, and some “modern” ideas were rejected or neglected after several decades of experimentation.

Chapter 5 recovers the contours of the manuscript economy in early modern India for texts in Sanskrit logic. It identifies the “reading community” as the primary unit of this economy. Then, it studies how these reading communities forge values and consumption priorities within themselves and across space; and stresses that the category of the court or polity is not useful in thinking through these issues. Instead, it argues that this space functioned and was sustained not by the court but on the basis of both intellectual and emotional relations between Sanskrit logicians and “the text” as these scholars responded to novelty in philosophical arguments. The arguments in this chapter are based on a survey of approximate 4,800 manuscripts listed in a number of manuscript surveys and catalogs.

Abstract This paper offers a new reading of the final chapters of Sextus Empiricus’ Against the Logicians (M 8.463–81), arguing against two orthodoxies: (i) that here we have an instance of the sceptic deploying his classic method of equipollence (opposing equally compelling arguments against one another and suspending judgement in light of them); and (ii) that the final argumentative manoeuvre of the sceptic’s is to accept that his arguments against proof eliminate themselves. The paper argues against both: the standard method of equipollence is not in play during the course of the argument and what the sceptic welcomes is not the self-elimination of his argument against proof, but the self-elimination of a higher-order argument—an argument that is about his argument against proof. It suggests that this alternative construal makes better sense of, as well as improves, the arguments of both the sceptic and his dogmatic opponent.

This introductory chapter discusses recent logical inquiries and their psychological bearings. These logical inquiries refer to two decidedly distinct classes of researches, both of which are receiving much attention today. The first of these two classes include researches directly bearing upon the psychology of the thinking process, and upon the natural history of logical phenomena in general. Such inquiries may be called “logical,” since they are sometimes undertaken by logicians for the sake of their own science, and in any case are suggested by the problems of logic. However, studies of this class are also contributions to psychology. Meanwhile, the second class of recent logical inquiries consists of studies in the comparative logic of the various sciences and of examinations of the first principles of certain special sciences.

Buddhist philosophers have investigated the techniques and methodologies of debate and argumentation which are important aspects of Buddhist intellectual life. This was particularly the case in India, where Buddhism and Buddhist philosophy originated (see Buddhist philosophy, Indian §4; Epistemology, Indian schools of §1; Knowledge, Indian views of; and Inference, Indian theories of). But these investigations have also engaged philosophers in China, Japan, Korea, and Tibet, and many other parts of the world that have been influenced by Buddhism and Buddhist philosophy (see Buddhist philosophy, Chinese; Buddhist philosophy, Japanese; Buddhist philosophy, Korean; and Tibetan philosophy). Several elements of the Buddhist tradition of philosophy are thought to be part of this investigation. There are interesting reasoning patterns discernible in the writings of Buddhist philosophers. For instance, the Mādhyamika philosopher Nāgārjuna presents arguments for the emptiness of all things in terms of catuṣkoṭi (four ‘corners’: roughly speaking, truth, false, both, neither). There is also the Indian vāda (debate) literature and the Tibetan bsdus grwa (collected topics), both of which list techniques of debates. The main interest here is the tradition of Buddhist philosophy, sometimes referred to as Pramāṇavāda, whose central figures are Dignāga (approx. 480–540 CE) and Dharmakīrti (sixth–seventh| century CE) (see Dignāga and Dharmakīrti). This philosophy is understood to be the Buddhist school of logic-epistemology. ‘Pramāṇavāda’ is not a doxographical term traditionally used to refer to a recognised school of Buddhist philosophy. It is a conventional term that is sometimes used in modern literature. Nevertheless, in what follows, we think of it as a tradition within Buddhist philosophy, and ‘Buddhist logic’ refers to what is developed in this tradition. Buddhist logicians have systematically analysed the kind of reasoning involved in acquiring knowledge. They hold that there are valid ways to reason that are productive of knowledge. In what follows, some of the main elements of their analyses will be described. Note, however, that, while exegetical studies of Buddhist texts are important, we must step back from them and consider what is involved in taking a Buddhist approach to logic in light of modern formal logic. This analysis will be done against the backdrop of the contemporary literature on logic and related subjects in contemporary philosophy to make sense of the logical studies by Buddhist logicians.

Abstract In a sequence of recent publications ([3],[4],[5],[6],[2]), Hartry Field has developed a new and sophisticated account of how to approach the problem of semantic paradoxes. The core of his theory is a theory of truth for languages that contain their own truth predicate, but Field has also shown how analogous type-free theories for satisfaction ([2]), property instantiation ([5]), and definability ([2]) can be introduced. Moreover, the theory can perhaps also be used to give consistent syntactic treatments of modalities in terms of modal predicates of sentences (cf. section 9 on designatedness in [2]). Field’s theory (together with related ones such as Yablo[12]) is now one of the main contenders in this area of philosophical logic and deserves critical attention from both philosophers and logicians who — like Field — are prepared to give up classical logic in view of the benefits from accepting Tarski’s T-scheme unrestrictedly, as well as from those who are willing to abandon the full strength of the T-scheme while not constraining the laws or rules of classical reasoning (I count myself among the latter).

By the end of the first half of the twentieth century, logic had become a mature philosophical and mathematical discipline. As happens in mature disciplines, in the second half of the twentieth century logicians developed subspecialties and narrow research programmes and, as a result, extended both in depth and in subtlety the analyses of logic that began in the first half of the century (see Logic in the early twentieth century). Topics that were of central importance during the first half of the twentieth century, including first-versus higher-order logic, the foundations of set theory, and Gödelian-style incompleteness results, continued to play an important role in the latter decades of the century (see Second and higher-order logics; Second-order logic, Philosophical issues in; Set theory; Gödel’s theorems). But important new strands of research emerged as well. One such new approach was inspired by broadening the sorts of questions raised by the classic independence results proven by Gödel and others in the early twentieth century. While those results showed that certain principles were insufficient to prove this-or-that proposition, the new Reverse Mathematics focused on determining what principles are necessary in order to prove particular propositions. Another topic of increasing importance was also inspired by Kurt Gödel’s diagonalisation lemma and the centuries-old Liar paradox. As a result, a resurgence of work on the Liar paradox emerged in the second half of the twentieth century (see Semantic paradoxes and theories of truth). This work included both theories of truth that retained classical logic, such as Alfred Tarski’s hierarchy (Tarski 1944) (see Tarski’s definition of truth), and theories of truth that eschewed classical logic in favour of non-classical systems, such as Saul Kripke’s fixed point approach (Kripke 1975). Another area that was ripe for exploration during the later decades of the century involved various ways to extend these formal systems with new resources. The most important such extension was modal logic, which involved supplementing standard logical systems with additional operators for ‘necessarily’ (□) and ‘possibly’ (◇) (see Modal logic; Modal logic, Philosophical issues in). With Kripke’s work on truth demonstrating the potential for applying non-classical logic to puzzles regarding truth, a great deal of attention was also paid to potential applications of non-classical formalisms to other philosophical problems. Notable amongst these are the exploration of non-classical logics that lie between classical logic and intuitionistic logic (the intermediate logics), the use of various non-classical logics to formalise reasoning with vague notions (e.g. ‘is bald’), and the exploration of the idea that the meanings of logical operators might be given in terms of formal proof rules governing their use (which might not lead to a set of rules that recaptures traditional classical logic) (see Vagueness). Finally, near the end of the twentieth century (and continuing into the twenty-first century), these examinations led to a predictable result: logicians have increasingly (though by no means universally) begun to embrace pluralism. This pluralism comes in a variety of forms – see Cook (2010) and Russell (2019) for useful taxonomies – but their central motivation is this: there are a lot of different things that seem to lay equal claim to the title ‘logic’. Mightn’t there be a framework that allows them to all do so?