A Logical Analysis of the Anselm’s Unum Argumentum (from <Emphasis Type="BoldItalic">Proslogion</Emphasis>)

Anselm of Cantorbery wrote Proslogion (1077–1078), where is formulated the famous ‘Unum argumentum’ about the existence of God. This argument was been disputed and criticized by numerous logicians from an extensional view point. The classical predicate logic is not able to give a formal frame to develop an adequate analysis of this argument. According to us, this argument is not an ontological proof; it analyses the meaning of the “quo nihil maius cogitari posit”, a characterization of God, and establish, by absurd, that “quod non posit cogitare non esse” by using the hypothesis: “to think in re” is taller than “to think in solo intelectu”. We discuss this relation and the difference between the meanings of the elementary predicates ‘to be in re’, ‘to be in intellectu’ and ‘to be in solo intellectu’. We propose a new logical approach of this ‘Unum argumentum’ of Anselm by using Curry’s Combinatory Logic (1958, 1973). Indeed, Combinatory Logic is an abstract applicative formalism of operators applied to operands; in this formalism, the predicates, viewed as specific operators, can be composed and can be transformed, by an intrinsic way, into more complex predicates, by means of abstract operators, called “combinators”, studied by Combinatory Logic. We show that this formalism is a logical frame where it becomes possible to discuss and to formulate cognitive representations of the meanings of predicates used inside of the ‘Unum argumentum’ and to explain how the argument runs.     

Synthesis and characterization of aryl substituted functionalized graphene sheets and their electrochemical behavior

Journal of Solid State Electrochemistry - We report the electrochemical behavior of free-standing functionalized graphene sheet electrode in a potential window corresponding to that of high-voltage...     

Novel silver(I)N-heterocyclic carbene complexes bearing 2-(4-hydroxyphenyl)ethyl group: Synthesis,characterization, and enzyme inhibition properties

Herein, novel silver-based N-heterocyclic carbene (NHC) complexes bearing 2-(4-hydroxyphenyl)ethyl group were synthesized. Novel Ag(I)NHC complexes were synthesized from the 2-(4-hydroxyphenyl)ethyl-substituted benzimidazolium salts and silver oxide via in situ deprotonation method. The successful formation of all Ag(I)NHC complexes was proved by using ¹H NMR, ¹³C NMR, FTIR spectroscopy, and elemental analysis techniques. In addition, their inhibitory effects have been investigated of these substances on acetylcholinesterase (AChE), α-glycosidase (α-Gly), human carbonic anhydrase I (hCA I), and human carbonic anhydrase II (hCA II) enzymes. It has been seen that all compounds have a better ability to inhibit compared with existing tried inhibitors. Among these, the best inhibitor against AChE enzyme is 1g (K_i : 9.54 ± 0.98 μM and IC₅₀ : 17.40), and against α-Gly, 1c showed the highest effect (K_i 3.09 ± 0.36 μM and IC₅₀ 7.91). The best inhibitor against hCA I and hCA II enzymes are 1c and 1g compounds. For hCA I and hCA II, IC₅₀ values were calculated as 17.85 and 9.06 μM and K_i values were measured as 5.45 ± 2.02 and 8.99 ± 2.02 μM, respectively.     

Enantioselective Total Synthesis of (+)-Nordasycarpidone, (+)-Dasycarpidone,and (+)-Uleine

The structure of uleine type alkaloids is characterized by the presence of a bridged tetracyclic hexahydro-1H-1,5-methanoazocino[4,3-b]indole ring system 1 . Various strategies have been developed to access this polycyclic structural motif. We report herein a one-step conversion of appropriately functionalized 1,3,4-trisubstituted cyclopent-1-ene to 1 by way of an integrated oxidation/reduction/cyclization (iORC) process. This domino sequence, initiated by oxidative cleavage of cyclopentene ring, generated subsequently a cyclohexenone, an indole and a 1,3-bridged piperidine ring through formation of one C−C and two C−N bonds. Compound 1 is subsequently converted to nordasycarpidone, dasycarpidone and uleine. The chirality of the molecule was introduced by enzymatic desymmetrization of commercially available meso cis-3,5-diacetoxy-1-cyclopentene.     

Analytical and statistical studies of Rodriguez–Velazquez indices

Journal of Mathematical Chemistry - In this work we perform analytical and statistical studies of the Rodríguez–Velázquez (RV) indices on graphs G. The topological RV(G) indices,...     

Smooth over-parameterized solvers for non-smooth structured optimization

Mathematical Programming - Non-smooth optimization is a core ingredient of many imaging or machine learning pipelines. Non-smoothness encodes structural constraints on the solutions, such as...     

A Robust Algorithm for Roots Selection and Saturation Pressure Calculation for Cubic Equations of State

Journal of Solution Chemistry - In this work, a robust and rigorous procedure for roots calculation and selection for a Cubic Equation of State is presented. Roundoff errors are detected and...     

Optical Emission Spectroscopy Study of Plasma-Precursor Interactions in TiO2 Suspension Plasma Spray

Plasma Chemistry and Plasma Processing - The influence of plasma power on liquid precursor decomposition in suspension plasma spray (SPS) is studied with optical emission spectroscopy (OES). The...     

Acetylene Derivatives of Cationic Diazaoxatriangulenes and Diaza [4]Helicenes - Access to Red Emitters and Planar Chiral Stereochemical Traits

Cationic triangulenes, and related helicenes, constitute a rich class of dyes and fluorophores, usually absorbing and emitting light at low energy, in the orange to red domains. Recently, to broaden the scope of applications, regioselective late-stage functionalizations on these core moieties have been developed. For instance, with the introduction of electron-donating groups (EDGs), important bathochromic shifts are observed pushing absorptions towards or in the near-infrared (NIR) spectral domain while emissive properties disappear essentially completely. Herein, to upset this drawback, acetylene derivatives of cationic diazaoxa triangulenes (DAOTA) and [4]helicenes are prepared (16 examples). Contrary to other EDG-functionalized derivatives, C≡C− functionalized products remain broadly fluorescent, with red-shifted absorptions (Δλ_abs up to 25 nm) and emissions (Δλ_em up to 73 nm, Φ_PL up to 51 %). Quite interestingly, a general dynamic stereoisomerism phenomenon is evidenced for the compounds derived from achiral DAOTA cores. At low temperature in ¹H NMR spectroscopy (218 K), N−CH₂ protons become diastereotopic with chemical shifts differences (Δδ) as high as +1.64 ppm. The signal coalescence occurs around 273 K with a barrier of ∼12 kcal mol⁻¹. This phenomenon is due to planar chiral conformations (S_p and R_p configurations), induced by the geometry of the alkyl (n-propyl) side-chains next to the acetylenic substituents. Ion pairing studies with Δ-TRISPHAT anion not only confirm the occurrence of the chiral conformations but evidence a moderate but definite asymmetric induction from the chiral anion onto the cations. Finally, DFT calculations offer a valuable insight on the geometries, the corresponding stereodynamics and also on the very large difference in NMR for some of the diastereotopic protons.