Monday, October 26, 2020

Perils and tribulations of fake Publishing

 


I really must be doing my real work, instead of worrying about the misdeeds in the publishing world.

But given that finding old things in the internet is so difficult and that remembering fraudster's names is so hard, here goes a quick post with a collection of links that hopefully won't disappear too quickly.

First my favourite fraud, from 2010

[PDF] Ike Antkare one of the great stars in the scientific firmament

to the new version in the book

Gaming the Metrics: Misconduct and Manipulation in Academic Research

https://escholarship.org/uc/item/6096m1sp

ISBN

9780262356565

Publication Date

2020-01-28

Then the Japanese health science scandal, which is more serious as the science our doctors practice comes from these faulty clinical trials and meta-studies.

Researcher at the center of an epic fraud remains an enigma to those who exposed him

A little note (from 2014) in the Atlantic:

More Computer-Generated Nonsense Papers Pulled From Science Journals



 

Tuesday, October 13, 2020

Ada Lovelace Day 2020: Andrea Loparic


This year I want to celebrate a female logician from Brazil that I admire a lot. There are many female logicians from Brazil that I admire and I am always worried that choosing any one of them to start from might cause difficulties with the others. This is a reasonable worry, methinks.

But I am taking a leaf from Tim Gowers' book.  Gowers was the person who initiated the boycotting of Elsevier in 2011. When people asked him why he was singling out Elsevier as a bad  player and boycotting them instead of, say, Springer, he replied that the boycott had to start somewhere and that Elsevier were really egregious in the behavior. Dualizing all these bad things, it seems clear that, if I am going to celebrate several female logicians from Brazil, I might as well start with Andrea Loparic, as she is definitely and clearly very good.

Phil Papers has only four of her papers, so far:

  1. Semantical Analysis of Arruda da Costap Systems and Adjacent Non-Replacement Relevant Systems.Richard Routley & Andréa Loparić - 1978 - Studia Logica 37 (4):301 - 320.

  2.  12
    Two Systems of Deontic Logic.Andréa Loparic & L. Puga - 1986 - Bulletin of the Section of Logic 15 (4):137-141.
      
  3.  17
    Valuation Semantics for Intuitionic Propositional Calculus and Some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.
    In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yields decision methods for these calculi. DOI:10.5007/1808-1711.2010v14n1p125.
     
  4.  15
    The Method of Valuations in Modal Logic.Andréa Loparic - 1978 - Bulletin of the Section of Logic 7 (2):91-91.

    (Google Scholar has more, but it's difficult to know which ones are hers)

    I really would like to do some logic work with her and we kind of started something. We were checking out the Kleene constructive propositional theorems. For me this was the basis of the project to benchmark linear logic, described in 

    Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis. The ILLTP Library for Intuitionistic Linear Logic. arXiv preprint arXiv:1904.06850, 01 February 2019. after Linearity 2018. [PDF
     
    She told me that she had taught these exercises in Kleene's book so many times that it would be easy to reproduce their proofs. I still want those proofs, but I'd prefer them in ND or sequent calculus, instead of axiomatic proofs. 

    I am told that Andrea will not like this celebration, as she apparently does not approve of feminist claims and demands and Ada Lovelace is about demanding that attention be paid to our  achievements. I hope this is not so, or that at least, she's amused, instead of irritated by the celebration!

Friday, October 9, 2020

Mathematistan for All

I do love this map from the Zoog video https://www.youtube.com/watch?v=XqpvBaiJRHo.

Yes, Proof Theory does not show up, neither do Recursion or Set Theory, but the Axiom of Choice is a bright lighthouse in the Ocean of Logic, which at least has a long coast (beach, anyone?) of Category Theory. 

But I hope we can get a nice map of Logic along similar principles and with a similar aesthetics, one of these days. Andres Villaveces tells me he and his students are building one. Meanwhile here's the announcement of my talk at his seminar. The video of me talking pure CT to Andres Villaveces students about Dialectica constructions seems to have disappeared, the link he sent me goes nowhere now. Sad.
 

Thursday, October 8, 2020

Everyone needs a YouTube channel

But mine is not working quite yet. 

Somehow simply copying videos doesn't seem to work. 

Everything that I have tried ends up missing audio or only recording a few seconds or some other disaster. 

 So here is a YouTube list: 

Benchmarking Linear Logic Theorems (Oct2020), talk at the Augusta Colloquium


 Natal and Modal Type Theory (2015)

At the MIT Seminar talking about

relevance logic (July 2020)

Talking at FGV about


semantic parsing in Portuguese.

Talking in the SuperGroup about Lambek Dialectica categories


Talk at Logicos em Quarentena (February 2020) on Structural and Distributional Representations




Talking at IMPA on the First Meeting of Brazilian Mathematics Women (2019)


  Sharing the


TUTORIA with Jaqueline

 


PARC Forum invited by Craig Eldershaw, 2009